summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-polyvariants-bugs-2/pr3918c.ml
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typing-polyvariants-bugs-2/pr3918c.ml')
-rw-r--r--testsuite/tests/typing-polyvariants-bugs-2/pr3918c.ml44
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;
+ }
+*)