diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2010-08-21 02:27:53 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2010-08-21 02:27:53 +0000 |
commit | f754f23e141544de831ef56cede84ecc45465991 (patch) | |
tree | 8e216584dd0556cdd05393b28302ced7874bd1d9 | |
parent | 1f509b9a29fb5d03682d4d5a018b1738268e600f (diff) | |
download | ocaml-f754f23e141544de831ef56cede84ecc45465991.tar.gz |
add tests for PR#5124
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.12@10651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | testsuite/tests/typing-modules/Makefile | 3 | ||||
-rw-r--r-- | testsuite/tests/typing-modules/Test.ml | 5 | ||||
-rw-r--r-- | testsuite/tests/typing-modules/Test.ml.reference | 6 | ||||
-rw-r--r-- | testsuite/tests/typing-modules/Test.ml.result | 6 |
4 files changed, 20 insertions, 0 deletions
diff --git a/testsuite/tests/typing-modules/Makefile b/testsuite/tests/typing-modules/Makefile new file mode 100644 index 0000000000..9add15574f --- /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 0000000000..82ea468f9c --- /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 0000000000..823cc1a840 --- /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 0000000000..823cc1a840 --- /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 +# |