@@ -46,7 +46,7 @@ since we want to overwrite it later).
4646
4747 $ cp p_original. mli p. mli -- no-preserve= mode
4848
49- Start by compiling P and a module that uses it:
49+ Start by compiling [P] and a module that uses it:
5050
5151 $ $ OCAMLC -bin-annot-cms -c p. mli -as-parameter
5252
@@ -58,7 +58,7 @@ Start by compiling P and a module that uses it:
5858 $ query_errors ./ basic. ml -parameter P
5959 []
6060
61- The following test is broken. It asks about P itself:
61+ The following test is broken. It asks about [P] itself:
6262
6363 $ multi_query ./ basic. mli 10 : 11 -parameter P
6464 " sig
@@ -70,7 +70,7 @@ The following test is broken. It asks about P itself:
7070 " \" P\" is a builtin, no documentation is available"
7171 " \" <internal>\" is a builtin, and it is therefore impossible to jump to its definition"
7272
73- But this one works. It asks for P. t:
73+ But this one works. It asks for [ P. t] :
7474
7575 $ multi_query ./ basic. mli 10 : 13 -parameter P
7676 " type t"
@@ -83,7 +83,7 @@ But this one works. It asks for P.t:
8383 }
8484 }
8585
86- Now check the implementation. This is P. create:
86+ Now check the implementation. This is [ P. create] :
8787
8888 $ multi_query_impl ./ basic. ml 3 : 21 -parameter P
8989 " unit -> P.t"
@@ -103,7 +103,7 @@ Now check the implementation. This is P.create:
103103 }
104104 }
105105
106- And P. to_string:
106+ And [ P. to_string] :
107107
108108 $ multi_query_impl ./ basic. ml 6 : 32 -parameter P
109109 " P.t -> string"
@@ -180,7 +180,7 @@ Test that we can add a parameter this way and things don't break:
180180
181181 $ rm . merlin
182182
183- Now let 's try with a file that uses P indirectly via Basic:
183+ Now let 's try with a file that uses [P] indirectly via [ Basic] :
184184
185185 $ $ OCAMLC -bin-annot-cms -c fancy. mli fancy. ml -parameter P
186186
@@ -190,7 +190,7 @@ Now let's try with a file that uses P indirectly via Basic:
190190 $ query_errors ./ fancy. ml -parameter P
191191 []
192192
193- This is Basic itself:
193+ This is [ Basic] itself:
194194
195195 $ multi_query fancy. mli 4 : 13 -parameter P
196196 " sig
@@ -209,7 +209,7 @@ This is Basic itself:
209209 }
210210 }
211211
212- And Basic. t:
212+ And [ Basic. t] :
213213
214214 $ multi_query fancy. mli 4 : 19 -parameter P
215215 " type t"
@@ -222,7 +222,7 @@ And Basic.t:
222222 }
223223 }
224224
225- Also check the implementation. This is Basic. to_string:
225+ Also check the implementation. This is [ Basic. to_string] :
226226
227227 $ multi_query_impl fancy. ml 5 : 37 -parameter P
228228 " Basic.t -> string"
@@ -242,7 +242,7 @@ Also check the implementation. This is Basic.to_string:
242242 }
243243 }
244244
245- And Basic. wrap , whose type involves the parameter P :
245+ And [ Basic. wrap ] , whose type involves the parameter [P] :
246246
247247 $ multi_query_impl fancy. ml 4 : 21 -parameter P
248248 " P.t -> Basic.t"
@@ -266,7 +266,7 @@ Now let's see what happens with aliases and includes:
266266
267267 $ $ OCAMLC -bin-annot-cms -c reexport. mli reexport. ml -parameter P
268268
269- First check this file without -parameter P to make sure it breaks. This means
269+ First check this file without [ -parameter P] to make sure it breaks. This means
270270we're correctly tracking parameters separately per file, even in server mode.
271271
272272 $ query_errors reexport. mli
@@ -360,7 +360,7 @@ Compile a file that uses things from an instance of [Basic]:
360360
361361 $ query_errors use_basic_int. ml $ instance_warnings
362362 []
363-
363+
364364Check that we understand everything about [Basic[P: P_int]. create]:
365365
366366 $ multi_query_impl use_basic_int. ml 3 : 28
@@ -390,7 +390,7 @@ Do the same with [Fancy]:
390390
391391The type of [Fancy_p_int. create] is something that isn't currently valid OCaml
392392syntax, so this output isn't ideal:
393-
393+
394394 $ multi_query_impl use_fancy_int. ml 5 : 28
395395 " Basic[P:P_int].t -> Fancy_int.t"
396396 " Make something fancy out of something basic."
0 commit comments