From e79cce62d8a379ab55ada1d4b723c6b306551ea1 Mon Sep 17 00:00:00 2001 From: xvw Date: Thu, 24 Oct 2024 14:26:02 +0200 Subject: [PATCH] Clarify documentation of polarity search --- CHANGES.md | 2 +- src/commands/new_commands.ml | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 5e20e10b31..52009fddc1 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -6,7 +6,7 @@ unreleased files (#1854) - Fix occurrences bug in which relative paths in index files are resolved against the PWD rather than the SOURCE_ROOT (#1855) - - Fix exception in polarity search (#???? fixes #1113) + - Fix exception in polarity search (#1858 fixes #1113) merlin 5.2.1 ============ diff --git a/src/commands/new_commands.ml b/src/commands/new_commands.ml index 836c3334f6..67a11911e1 100644 --- a/src/commands/new_commands.ml +++ b/src/commands/new_commands.ml @@ -569,7 +569,11 @@ let all_commands = ~spec: [ arg "-position" " Position to complete" (marg_position (fun pos (query, _pos) -> (query, pos))); - arg "-query" " Query of the form TODO" + arg "-query" + " Query of the form every input parameters prefixed by `-` \ + and output parameters prefixed by `+`. In example: -string \ + +option will fetch function that takes string and returns an \ + option. (You can't parametrize types in polarity queries)" (Marg.param "string" (fun query (_prefix, pos) -> (query, pos))) ] ~default:("", `None)