3 files changed, 42 insertions, 18 deletions
diff --git a/testsuite/tests/typing-rectypes-bugs/pr5343_bad.ml b/testsuite/tests/typing-rectypes-bugs/pr5343_bad.ml
index 518dafe019..e576d93197 100644
--- a/testsuite/tests/typing-rectypes-bugs/pr5343_bad.ml
+++ b/testsuite/tests/typing-rectypes-bugs/pr5343_bad.ml
@@ -1,9 +1,9 @@
-(* TEST
-flags = " -w -a -rectypes "
-ocamlc_byte_exit_status = "2"
-* setup-ocamlc.byte-build-env
-** ocamlc.byte
-*** check-ocamlc.byte-output
+(* TEST_BELOW
+(* Blank lines added here to preserve locations. *)
+
+
+
+
 *)
 
 module M : sig
@@ -19,3 +19,11 @@ end = struct
 end;;
 
 let h (x : int) : bool = M.g (M.f x);;
+
+(* TEST
+ flags = " -w -a -rectypes ";
+ ocamlc_byte_exit_status = "2";
+ setup-ocamlc.byte-build-env;
+ ocamlc.byte;
+ check-ocamlc.byte-output;
+*)
diff --git a/testsuite/tests/typing-rectypes-bugs/pr6174_bad.ml b/testsuite/tests/typing-rectypes-bugs/pr6174_bad.ml
index d5c704416c..e0f92db7d9 100644
--- a/testsuite/tests/typing-rectypes-bugs/pr6174_bad.ml
+++ b/testsuite/tests/typing-rectypes-bugs/pr6174_bad.ml
@@ -1,11 +1,19 @@
-(* TEST
-flags = " -w -a -rectypes "
-ocamlc_byte_exit_status = "2"
-* setup-ocamlc.byte-build-env
-** ocamlc.byte
-*** check-ocamlc.byte-output
+(* TEST_BELOW
+(* Blank lines added here to preserve locations. *)
+
+
+
+
 *)
 
 type _ t = C : ((('a -> 'o) -> 'o) -> ('b -> 'o) -> 'o) t
 let f : type a o. ((a -> o) -> o) t -> (a -> o) -> o =
  fun C k -> k (fun x -> x);;
+
+(* TEST
+ flags = " -w -a -rectypes ";
+ ocamlc_byte_exit_status = "2";
+ setup-ocamlc.byte-build-env;
+ ocamlc.byte;
+ check-ocamlc.byte-output;
+*)
diff --git a/testsuite/tests/typing-rectypes-bugs/pr6870_bad.ml b/testsuite/tests/typing-rectypes-bugs/pr6870_bad.ml
index 186e07088b..a04e08eae7 100644
--- a/testsuite/tests/typing-rectypes-bugs/pr6870_bad.ml
+++ b/testsuite/tests/typing-rectypes-bugs/pr6870_bad.ml
@@ -1,10 +1,18 @@
-(* TEST
-flags = " -w -a -rectypes "
-ocamlc_byte_exit_status = "2"
-* setup-ocamlc.byte-build-env
-** ocamlc.byte
-*** check-ocamlc.byte-output
+(* TEST_BELOW
+(* Blank lines added here to preserve locations. *)
+
+
+
+
 *)
 
 module type T = sig type 'a t end
 module Fix (T : T) = struct type r = ('r T.t as 'r) end
+
+(* TEST
+ flags = " -w -a -rectypes ";
+ ocamlc_byte_exit_status = "2";
+ setup-ocamlc.byte-build-env;
+ ocamlc.byte;
+ check-ocamlc.byte-output;
+*)