Make reconstruct identifier more robust

It's always correct to have a space after the parenthesis and it is sometimes
necessary, for infix operators that start with `*` for example.

Author: voodoos

src/frontend/query_commands.ml

@@ -221,7 +221,7 @@ let reconstruct_identifier pipeline pos = function
          (dot.[0] >= 'a' && dot.[0] <= 'z') ||
          (dot.[0] >= 'A' && dot.[0] <= 'Z')
       then dot
-      else "(" ^ dot ^ ")"
+      else "( " ^ dot ^ ")"
     in
     begin match path with
       | [] -> []
@@ -507,9 +507,9 @@ let dispatch pipeline (type a) : a Query_protocol.t -> a =
     let typer = Mpipeline.typer_result pipeline in
     let pos = Mpipeline.get_lexing_pos pipeline pos in
     let node = Mtyper.node_at typer pos in
-    let res = Syntax_doc.get_syntax_doc pos node in 
+    let res = Syntax_doc.get_syntax_doc pos node in
     (match res with
-    | Some res -> `Found res 
+    | Some res -> `Found res
     | None -> `No_documentation)
 
   | Locate (patho, ml_or_mli, pos) ->

tests/test-dirs/type-enclosing/need-parens.t

@@ -42,7 +42,7 @@ FIXME: locate on `M.( |* )` should work:
   > module M = struct let ( * ) a b = a + b end
   > let _ = M.( * )
   > EOF
-  "Comment not terminated"
+  "Not in environment 'M.*'"
 
 And need spaces:
 FIXME: locate on `M.( *| )` should work:
@@ -51,4 +51,4 @@ FIXME: locate on `M.( *| )` should work:
   > module M = struct let ( * ) a b = a + b end
   > let _ = M.( * )
   > EOF
-  "Comment not terminated"
+  "Not in environment 'M.*'"