diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-03-18 14:07:00 +0100 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-03-18 22:24:46 +0100 |
commit | 8caa2c8e10aa811cfbfd03b80f97955a35d17936 (patch) | |
tree | 729a3fb205dc0d7c42281e428401bb707c4ab950 /testsuite/tests/typing-modules-bugs/pr5663_ok.ml | |
parent | b752835ffc2be92197c746d03cd586d7b1c576cf (diff) | |
download | ocaml-8caa2c8e10aa811cfbfd03b80f97955a35d17936.tar.gz |
Migrate the typing-modules-bugs tests to ocamltest
Diffstat (limited to 'testsuite/tests/typing-modules-bugs/pr5663_ok.ml')
-rw-r--r-- | testsuite/tests/typing-modules-bugs/pr5663_ok.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/typing-modules-bugs/pr5663_ok.ml b/testsuite/tests/typing-modules-bugs/pr5663_ok.ml index ce791f9075..813c7de09e 100644 --- a/testsuite/tests/typing-modules-bugs/pr5663_ok.ml +++ b/testsuite/tests/typing-modules-bugs/pr5663_ok.ml @@ -1,3 +1,10 @@ +(* TEST +flags = " -w a " +* setup-ocamlc.byte-build-env +** ocamlc.byte +*** check-ocamlc.byte-output +*) + module F (M : sig type 'a t type 'a u = string |