summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-objects-bugs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typing-objects-bugs')
-rw-r--r--testsuite/tests/typing-objects-bugs/pr3968_bad.ml20
-rw-r--r--testsuite/tests/typing-objects-bugs/pr4018_bad.ml20
-rw-r--r--testsuite/tests/typing-objects-bugs/pr4435_bad.ml20
-rw-r--r--testsuite/tests/typing-objects-bugs/pr4766_ok.ml8
-rw-r--r--testsuite/tests/typing-objects-bugs/pr4824_ok.ml8
-rw-r--r--testsuite/tests/typing-objects-bugs/pr4824a_bad.ml20
-rw-r--r--testsuite/tests/typing-objects-bugs/pr5156_ok.ml8
-rw-r--r--testsuite/tests/typing-objects-bugs/pr7284_bad.ml20
-rw-r--r--testsuite/tests/typing-objects-bugs/pr7293_ok.ml8
-rw-r--r--testsuite/tests/typing-objects-bugs/woodyatt_ok.ml8
-rw-r--r--testsuite/tests/typing-objects-bugs/yamagata021012_ok.ml8
11 files changed, 94 insertions, 54 deletions
diff --git a/testsuite/tests/typing-objects-bugs/pr3968_bad.ml b/testsuite/tests/typing-objects-bugs/pr3968_bad.ml
index e60b35044f..02094f0a6e 100644
--- a/testsuite/tests/typing-objects-bugs/pr3968_bad.ml
+++ b/testsuite/tests/typing-objects-bugs/pr3968_bad.ml
@@ -1,9 +1,9 @@
-(* TEST
-flags = " -w -a "
-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 expr =
@@ -27,3 +27,11 @@ object
body
| _ -> `App(l,r);
end
+
+(* TEST
+ flags = " -w -a ";
+ ocamlc_byte_exit_status = "2";
+ setup-ocamlc.byte-build-env;
+ ocamlc.byte;
+ check-ocamlc.byte-output;
+*)
diff --git a/testsuite/tests/typing-objects-bugs/pr4018_bad.ml b/testsuite/tests/typing-objects-bugs/pr4018_bad.ml
index a2a7235fef..6142ea8a82 100644
--- a/testsuite/tests/typing-objects-bugs/pr4018_bad.ml
+++ b/testsuite/tests/typing-objects-bugs/pr4018_bad.ml
@@ -1,9 +1,9 @@
-(* TEST
-flags = " -w -a "
-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. *)
+
+
+
+
*)
class virtual ['subject, 'event] observer =
@@ -51,3 +51,11 @@ class world =
end
*)
+
+(* TEST
+ flags = " -w -a ";
+ ocamlc_byte_exit_status = "2";
+ setup-ocamlc.byte-build-env;
+ ocamlc.byte;
+ check-ocamlc.byte-output;
+*)
diff --git a/testsuite/tests/typing-objects-bugs/pr4435_bad.ml b/testsuite/tests/typing-objects-bugs/pr4435_bad.ml
index 9cbd777ee4..fb2e486895 100644
--- a/testsuite/tests/typing-objects-bugs/pr4435_bad.ml
+++ b/testsuite/tests/typing-objects-bugs/pr4435_bad.ml
@@ -1,9 +1,9 @@
-(* TEST
-flags = " -w -a "
-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. *)
+
+
+
+
*)
(* Two v's in the same class *)
@@ -17,3 +17,11 @@ class c (v : int) =
inherit ((fun v -> object method v : string = v end) "42")
end;;
(new c 42)#v0;;
+
+(* TEST
+ flags = " -w -a ";
+ ocamlc_byte_exit_status = "2";
+ setup-ocamlc.byte-build-env;
+ ocamlc.byte;
+ check-ocamlc.byte-output;
+*)
diff --git a/testsuite/tests/typing-objects-bugs/pr4766_ok.ml b/testsuite/tests/typing-objects-bugs/pr4766_ok.ml
index 565275a499..fd240ee226 100644
--- a/testsuite/tests/typing-objects-bugs/pr4766_ok.ml
+++ b/testsuite/tests/typing-objects-bugs/pr4766_ok.ml
@@ -1,8 +1,8 @@
(* TEST
-flags = " -w -a "
-* setup-ocamlc.byte-build-env
-** ocamlc.byte
-*** check-ocamlc.byte-output
+ flags = " -w -a ";
+ setup-ocamlc.byte-build-env;
+ ocamlc.byte;
+ check-ocamlc.byte-output;
*)
class virtual ['a] c =
diff --git a/testsuite/tests/typing-objects-bugs/pr4824_ok.ml b/testsuite/tests/typing-objects-bugs/pr4824_ok.ml
index 114a5a7534..09748aef1d 100644
--- a/testsuite/tests/typing-objects-bugs/pr4824_ok.ml
+++ b/testsuite/tests/typing-objects-bugs/pr4824_ok.ml
@@ -1,8 +1,8 @@
(* TEST
-flags = " -w -a "
-* setup-ocamlc.byte-build-env
-** ocamlc.byte
-*** check-ocamlc.byte-output
+ flags = " -w -a ";
+ setup-ocamlc.byte-build-env;
+ ocamlc.byte;
+ check-ocamlc.byte-output;
*)
module M :
diff --git a/testsuite/tests/typing-objects-bugs/pr4824a_bad.ml b/testsuite/tests/typing-objects-bugs/pr4824a_bad.ml
index 566cd0c771..cdd6486087 100644
--- a/testsuite/tests/typing-objects-bugs/pr4824a_bad.ml
+++ b/testsuite/tests/typing-objects-bugs/pr4824a_bad.ml
@@ -1,9 +1,9 @@
-(* TEST
-flags = " -w -a "
-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 class c : 'a -> object val x : 'b end end =
@@ -12,3 +12,11 @@ module M : sig class c : 'a -> object val x : 'b end end =
class c (x : int) = object inherit M.c x method x : bool = x end
let r = (new c 2)#x;;
+
+(* TEST
+ flags = " -w -a ";
+ ocamlc_byte_exit_status = "2";
+ setup-ocamlc.byte-build-env;
+ ocamlc.byte;
+ check-ocamlc.byte-output;
+*)
diff --git a/testsuite/tests/typing-objects-bugs/pr5156_ok.ml b/testsuite/tests/typing-objects-bugs/pr5156_ok.ml
index e17bf711d2..d3e85071a5 100644
--- a/testsuite/tests/typing-objects-bugs/pr5156_ok.ml
+++ b/testsuite/tests/typing-objects-bugs/pr5156_ok.ml
@@ -1,8 +1,8 @@
(* TEST
-flags = " -w -a "
-* setup-ocamlc.byte-build-env
-** ocamlc.byte
-*** check-ocamlc.byte-output
+ flags = " -w -a ";
+ setup-ocamlc.byte-build-env;
+ ocamlc.byte;
+ check-ocamlc.byte-output;
*)
class type t = object end;;
diff --git a/testsuite/tests/typing-objects-bugs/pr7284_bad.ml b/testsuite/tests/typing-objects-bugs/pr7284_bad.ml
index ab7bc55d82..a868d5bc00 100644
--- a/testsuite/tests/typing-objects-bugs/pr7284_bad.ml
+++ b/testsuite/tests/typing-objects-bugs/pr7284_bad.ml
@@ -1,9 +1,9 @@
-(* TEST
-flags = " -w -a "
-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 S = sig
@@ -39,3 +39,11 @@ module type S = sig
module N = F(M)
let () = N.f (N.V2 0)
+
+(* TEST
+ flags = " -w -a ";
+ ocamlc_byte_exit_status = "2";
+ setup-ocamlc.byte-build-env;
+ ocamlc.byte;
+ check-ocamlc.byte-output;
+*)
diff --git a/testsuite/tests/typing-objects-bugs/pr7293_ok.ml b/testsuite/tests/typing-objects-bugs/pr7293_ok.ml
index 40ba424e05..ae796dc03a 100644
--- a/testsuite/tests/typing-objects-bugs/pr7293_ok.ml
+++ b/testsuite/tests/typing-objects-bugs/pr7293_ok.ml
@@ -1,8 +1,8 @@
(* TEST
-flags = " -w -a "
-* setup-ocamlc.byte-build-env
-** ocamlc.byte
-*** check-ocamlc.byte-output
+ flags = " -w -a ";
+ setup-ocamlc.byte-build-env;
+ ocamlc.byte;
+ check-ocamlc.byte-output;
*)
type t = T : t
diff --git a/testsuite/tests/typing-objects-bugs/woodyatt_ok.ml b/testsuite/tests/typing-objects-bugs/woodyatt_ok.ml
index a109ed052c..b56953cdbd 100644
--- a/testsuite/tests/typing-objects-bugs/woodyatt_ok.ml
+++ b/testsuite/tests/typing-objects-bugs/woodyatt_ok.ml
@@ -1,8 +1,8 @@
(* TEST
-flags = " -w -a "
-* setup-ocamlc.byte-build-env
-** ocamlc.byte
-*** check-ocamlc.byte-output
+ flags = " -w -a ";
+ setup-ocamlc.byte-build-env;
+ ocamlc.byte;
+ check-ocamlc.byte-output;
*)
(* test.ml *)
diff --git a/testsuite/tests/typing-objects-bugs/yamagata021012_ok.ml b/testsuite/tests/typing-objects-bugs/yamagata021012_ok.ml
index eb7ed2a72a..fa4579ce24 100644
--- a/testsuite/tests/typing-objects-bugs/yamagata021012_ok.ml
+++ b/testsuite/tests/typing-objects-bugs/yamagata021012_ok.ml
@@ -1,8 +1,8 @@
(* TEST
-flags = " -w -a "
-* setup-ocamlc.byte-build-env
-** ocamlc.byte
-*** check-ocamlc.byte-output
+ flags = " -w -a ";
+ setup-ocamlc.byte-build-env;
+ ocamlc.byte;
+ check-ocamlc.byte-output;
*)
(* The module begins *)