PR#8908: used as a base for other PRs.pr8908

2 files changed, 40 insertions, 0 deletions

diff --git a/testsuite/tests/typing-modules/anonymous.ml b/testsuite/tests/typing-modules/anonymous.ml
new file mode 100644
index 0000000000..c250e922f1
--- /dev/null
+++ b/testsuite/tests/typing-modules/anonymous.ml
@@ -0,0 +1,39 @@
+(* TEST
+   * expect
+*)
+
+module _ = struct end;;
+[%%expect{|
+|}];;
+
+module rec A : sig
+  type t = B.t
+end = A
+and _ : sig type t = A.t end = struct type t = A.t end
+and B : sig type t end = B
+;;
+[%%expect{|
+module rec A : sig type t = B.t end
+and B : sig type t end
+|}]
+
+module type S = sig
+  module _ : sig end
+
+  module rec A : sig
+    type t = B.t
+  end
+  and _ : sig type t = A.t end
+  and B : sig type t end
+end
+;;
+[%%expect{|
+module type S =
+  sig module rec A : sig type t = B/2.t end and B : sig type t end end
+|}]
+
+let f (module _ : S) = ()
+;;
+[%%expect{|
+val f : (module S) -> unit = <fun>
+|}]
diff --git a/testsuite/tests/typing-modules/ocamltests b/testsuite/tests/typing-modules/ocamltests
index 23413d7c5a..72d6aa5f01 100644
--- a/testsuite/tests/typing-modules/ocamltests
+++ b/testsuite/tests/typing-modules/ocamltests
@@ -1,4 +1,5 @@
 aliases.ml
+anonymous.ml
 applicative_functor_type.ml
 firstclass.ml
 generative.ml