test: renaming a functor value included from its parameter

Author: voodoos

tests/test-dirs/occurrences/project-wide/for-renaming/r-with-functors.t/dune

@@ -0,0 +1,2 @@
+(executable
+ (name main))

tests/test-dirs/occurrences/project-wide/for-renaming/r-with-functors.t/dune-project

@@ -0,0 +1 @@
+(lang dune 3.17)

tests/test-dirs/occurrences/project-wide/for-renaming/r-with-functors.t/func.ml

@@ -0,0 +1,5 @@
+module type P = sig val txt : string end
+
+module Make (Params : sig val txt : string end) = struct
+  include Params
+end

tests/test-dirs/occurrences/project-wide/for-renaming/r-with-functors.t/func.mli

@@ -0,0 +1,5 @@
+module type P = sig val txt : string end
+
+module Make (_ : P) : sig
+  include P
+end

tests/test-dirs/occurrences/project-wide/for-renaming/r-with-functors.t/main.ml

@@ -0,0 +1,4 @@
+module P = struct let txt = "Hello world!" end;;
+module M = Func.Make(P);;
+
+print_endline M.txt

tests/test-dirs/occurrences/project-wide/for-renaming/r-with-functors.t/run.t

@@ -0,0 +1,34 @@
+
+  $ $DUNE build @ocaml-index
+
+  $ $DUNE exec ./main.exe
+  Hello world!
+
+We expect 2 occurrences in func.ml, 1 in func.mli and 2 in main.ml
+  $ $MERLIN single occurrences -scope renaming -identifier-at 4:18 \
+  > -filename main.ml <main.ml | jq '.value[] | .file,.start'
+  "$TESTCASE_ROOT/main.ml"
+  {
+    "line": 1,
+    "col": 22
+  }
+  "$TESTCASE_ROOT/func.ml"
+  {
+    "line": 1,
+    "col": 24
+  }
+  "$TESTCASE_ROOT/func.ml"
+  {
+    "line": 3,
+    "col": 30
+  }
+  "$TESTCASE_ROOT/func.mli"
+  {
+    "line": 1,
+    "col": 24
+  }
+  "$TESTCASE_ROOT/main.ml"
+  {
+    "line": 4,
+    "col": 16
+  }