diff --git a/testsuite/tests/typing-modules/Makefile b/testsuite/tests/typing-modules/Makefile
new file mode 100644
index 000000000000..9add15574f08
--- /dev/null
+++ b/testsuite/tests/typing-modules/Makefile
@@ -0,0 +1,3 @@
+include ../../makefiles/Makefile.toplevel
+include ../../makefiles/Makefile.common
+
diff --git a/testsuite/tests/typing-modules/Test.ml b/testsuite/tests/typing-modules/Test.ml
new file mode 100644
index 000000000000..82ea468f9ce3
--- /dev/null
+++ b/testsuite/tests/typing-modules/Test.ml
@@ -0,0 +1,5 @@
+module type S = sig type t and s = t end;;
+module type S' = S with type t := int;;
+
+module type S = sig module rec M : sig end and N : sig end end;;
+module type S' = S with module M := String;;
diff --git a/testsuite/tests/typing-modules/Test.ml.reference b/testsuite/tests/typing-modules/Test.ml.reference
new file mode 100644
index 000000000000..823cc1a84062
--- /dev/null
+++ b/testsuite/tests/typing-modules/Test.ml.reference
@@ -0,0 +1,6 @@
+
+# module type S = sig type t and s = t end
+# module type S' = sig type s = int end
+#   module type S = sig module rec M : sig  end and N : sig  end end
+# module type S' = sig module rec N : sig  end end
+# 
diff --git a/testsuite/tests/typing-modules/Test.ml.result b/testsuite/tests/typing-modules/Test.ml.result
new file mode 100644
index 000000000000..823cc1a84062
--- /dev/null
+++ b/testsuite/tests/typing-modules/Test.ml.result
@@ -0,0 +1,6 @@
+
+# module type S = sig type t and s = t end
+# module type S' = sig type s = int end
+#   module type S = sig module rec M : sig  end and N : sig  end end
+# module type S' = sig module rec N : sig  end end
+#