File tree 2 files changed +50
-45
lines changed
2 files changed +50
-45
lines changed Original file line number Diff line number Diff line change
1
+ $ cat > dune-project << EOF
2
+ > (lang dune 2.0 )
3
+ > EOF
4
+
5
+ $ cat > mySet. mli << EOF
6
+ > module Make : functor (Arg : sig type t end ) -> sig
7
+ > type t
8
+ > end
9
+ > EOF
10
+
11
+ $ cat > mySet. ml << EOF
12
+ > module Make (Arg : sig type t end ) = struct
13
+ > type t = Arg. t
14
+ > end
15
+ > EOF
16
+
17
+ $ cat > s. ml << EOF
18
+ > module Foo = MySet. Make(struct
19
+ > type t
20
+ > end )
21
+ > type t = Foo. t
22
+ > EOF
23
+
24
+ $ cat > dune << EOF
25
+ > (executable (name s))
26
+ > EOF
27
+
28
+ $ dune build @ check
29
+
30
+ Should jump to mySet. ml:
31
+ $ $ MERLIN single locate -look-for ml -position 4 : 13 \
32
+ > -filename . /s. ml < . /s. ml | jq ' .value'
33
+ {
34
+ " file" : " $ TESTCASE_ROOT /mySet.ml" ,
35
+ " pos" : {
36
+ " line" : 2 ,
37
+ " col" : 2
38
+ }
39
+ }
40
+
41
+ Should jump to mySet. mli:
42
+ $ $ MERLIN single locate -look-for mli -position 4 : 13 \
43
+ > -filename . /s. ml < . /s. ml | jq ' .value'
44
+ {
45
+ " file" : " $ TESTCASE_ROOT /mySet.mli" ,
46
+ " pos" : {
47
+ " line" : 2 ,
48
+ " col" : 2
49
+ }
50
+ }
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments