add tests for PR#5124

git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bmeurer · Aug 21, 2010 · f754f23 · f754f23
1 parent 1f509b9
commit f754f23
Show file tree

Hide file tree

Showing 4 changed files with 20 additions and 0 deletions.
diff --git a/testsuite/tests/typing-modules/Makefile 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
@@ -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
@@ -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
@@ -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
+#