1 files changed, 43 insertions, 0 deletions
diff --git a/testsuite/tests/basic-modules/anonymous.ml b/testsuite/tests/basic-modules/anonymous.ml
new file mode 100644
index 0000000000..dd8546c32f
--- /dev/null
+++ b/testsuite/tests/basic-modules/anonymous.ml
@@ -0,0 +1,43 @@
+(* TEST
+flags = "-c -nostdlib -nopervasives -dlambda -dno-unique-ids"
+* setup-ocamlc.byte-build-env
+** ocamlc.byte
+*** check-ocamlc.byte-output
+compiler_reference = "${test_source_directory}/anonymous.ocamlc.reference"
+
+* setup-ocamlopt.byte-build-env
+** ocamlopt.byte
+*** no-flambda
+**** check-ocamlopt.byte-output
+compiler_reference = "${test_source_directory}/anonymous.ocamlopt.reference"
+*** flambda
+**** check-ocamlc.byte-output
+compiler_reference =
+   "${test_source_directory}/anonymous.ocamlopt.flambda.reference"
+*)
+
+module _ = struct
+  let x = 13, 37
+end
+
+module rec A : sig
+  type t = B.t
+end = A
+and _ : sig
+  type t = A.t
+  val x : int * int
+end = struct
+  type t = B.t
+  let x = 4, 2
+end
+and B : sig
+  type t
+end = struct
+  type t
+
+  let x = "foo", "bar"
+end
+
+module type S
+
+let f (module _ : S) = ()