diff options
Diffstat (limited to 'testsuite/tests/typing-polyvariants-bugs-2/pr3918c.ml')
-rw-r--r-- | testsuite/tests/typing-polyvariants-bugs-2/pr3918c.ml | 44 |
1 files changed, 31 insertions, 13 deletions
diff --git a/testsuite/tests/typing-polyvariants-bugs-2/pr3918c.ml b/testsuite/tests/typing-polyvariants-bugs-2/pr3918c.ml index 7eabcd700b..5475dfe11e 100644 --- a/testsuite/tests/typing-polyvariants-bugs-2/pr3918c.ml +++ b/testsuite/tests/typing-polyvariants-bugs-2/pr3918c.ml @@ -1,16 +1,16 @@ -(* TEST -readonly_files = "pr3918a.mli pr3918b.mli" -* setup-ocamlc.byte-build-env -** ocamlc.byte -module = "pr3918a.mli" -*** ocamlc.byte -module = "pr3918b.mli" -**** script -script = "rm -f pr3918a.cmi" -***** ocamlc.byte -module = "pr3918c.ml" -ocamlc_byte_exit_status = "2" -***** check-ocamlc.byte-output +(* TEST_BELOW +(* Blank lines added here to preserve locations. *) + + + + + + + + + + + *) (* @@ -23,3 +23,21 @@ open Pr3918b let f x = (x : 'a vlist :> 'b vlist) let f (x : 'a vlist) = (x : 'b vlist) + +(* TEST + readonly_files = "pr3918a.mli pr3918b.mli"; + setup-ocamlc.byte-build-env; + module = "pr3918a.mli"; + ocamlc.byte; + module = "pr3918b.mli"; + ocamlc.byte; + script = "rm -f pr3918a.cmi"; + script; + { + module = "pr3918c.ml"; + ocamlc_byte_exit_status = "2"; + ocamlc.byte; + }{ + check-ocamlc.byte-output; + } +*) |