Migrate typing-gadts tests to ocamltest

48 files changed, 230 insertions, 18 deletions

diff --git a/testsuite/tests/typing-gadts/Makefile b/testsuite/tests/typing-gadts/Makefile
deleted file mode 100644
index 0b15e777de..0000000000
--- a/testsuite/tests/typing-gadts/Makefile
+++ /dev/null
@@ -1,18 +0,0 @@
-#**************************************************************************
-#*                                                                        *
-#*                                OCaml                                   *
-#*                                                                        *
-#*                 Xavier Clerc, SED, INRIA Rocquencourt                  *
-#*                                                                        *
-#*   Copyright 2010 Institut National de Recherche en Informatique et     *
-#*     en Automatique.                                                    *
-#*                                                                        *
-#*   All rights reserved.  This file is distributed under the terms of    *
-#*   the GNU Lesser General Public License version 2.1, with the          *
-#*   special exception on linking described in the file LICENSE.          *
-#*                                                                        *
-#**************************************************************************
-
-BASEDIR=../..
-include $(BASEDIR)/makefiles/Makefile.expect
-include $(BASEDIR)/makefiles/Makefile.common
diff --git a/testsuite/tests/typing-gadts/didier.ml b/testsuite/tests/typing-gadts/didier.ml
index cab57d2ba2..d23e919264 100644
--- a/testsuite/tests/typing-gadts/didier.ml
+++ b/testsuite/tests/typing-gadts/didier.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type 'a ty =
   | Int : int ty
   | Bool : bool ty
diff --git a/testsuite/tests/typing-gadts/dynamic_frisch.ml b/testsuite/tests/typing-gadts/dynamic_frisch.ml
index 112c161b6b..a97dcef607 100644
--- a/testsuite/tests/typing-gadts/dynamic_frisch.ml
+++ b/testsuite/tests/typing-gadts/dynamic_frisch.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 (* Encoding generics using GADTs *)
 (* (c) Alain Frisch / Lexifi *)
 (* cf. http://www.lexifi.com/blog/dynamic-types *)
diff --git a/testsuite/tests/typing-gadts/nested_equations.ml b/testsuite/tests/typing-gadts/nested_equations.ml
index 4039e358b5..2b0ef127d4 100644
--- a/testsuite/tests/typing-gadts/nested_equations.ml
+++ b/testsuite/tests/typing-gadts/nested_equations.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 (* Tests for nested equations (bind abstract types from other modules) *)
 
 type _ t = Int : int t;;
diff --git a/testsuite/tests/typing-gadts/ocamltests b/testsuite/tests/typing-gadts/ocamltests
new file mode 100644
index 0000000000..214167dda9
--- /dev/null
+++ b/testsuite/tests/typing-gadts/ocamltests
@@ -0,0 +1,46 @@
+didier.ml
+dynamic_frisch.ml
+nested_equations.ml
+omega07.ml
+pr5332.ml
+pr5689.ml
+pr5785.ml
+pr5848.ml
+pr5906.ml
+pr5948.ml
+pr5981.ml
+pr5985.ml
+pr5989.ml
+pr5997.ml
+pr6158.ml
+pr6163.ml
+pr6174.ml
+pr6241.ml
+pr6690.ml
+pr6817.ml
+pr6934.ml
+pr6980.ml
+pr6993_bad.ml
+pr7016.ml
+pr7160.ml
+pr7214.ml
+pr7222.ml
+pr7230.ml
+pr7234.ml
+pr7260.ml
+pr7269.ml
+pr7298.ml
+pr7374.ml
+pr7378.ml
+pr7381.ml
+pr7390.ml
+pr7391.ml
+pr7397.ml
+pr7421.ml
+pr7432.ml
+pr7518.ml
+term-conv.ml
+test.ml
+unify_mb.ml
+variables_in_mcomp.ml
+yallop_bugs.ml
diff --git a/testsuite/tests/typing-gadts/omega07.ml b/testsuite/tests/typing-gadts/omega07.ml
index 5fd175c3e4..a8a78b17f1 100644
--- a/testsuite/tests/typing-gadts/omega07.ml
+++ b/testsuite/tests/typing-gadts/omega07.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 (*
    An attempt at encoding omega examples from the 2nd Central European
    Functional Programming School:
diff --git a/testsuite/tests/typing-gadts/pr5332.ml b/testsuite/tests/typing-gadts/pr5332.ml
index e0c77acdea..f88a7b6c1a 100644
--- a/testsuite/tests/typing-gadts/pr5332.ml
+++ b/testsuite/tests/typing-gadts/pr5332.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type ('env, 'a) var =
  | Zero : ('a * 'env, 'a) var
  | Succ : ('env, 'a) var -> ('b * 'env, 'a) var
diff --git a/testsuite/tests/typing-gadts/pr5689.ml b/testsuite/tests/typing-gadts/pr5689.ml
index 748212d47e..67ff08fc88 100644
--- a/testsuite/tests/typing-gadts/pr5689.ml
+++ b/testsuite/tests/typing-gadts/pr5689.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type inkind = [ `Link | `Nonlink ]
 
 type _ inline_t =
diff --git a/testsuite/tests/typing-gadts/pr5785.ml b/testsuite/tests/typing-gadts/pr5785.ml
index 9624adcdcb..08103f5340 100644
--- a/testsuite/tests/typing-gadts/pr5785.ml
+++ b/testsuite/tests/typing-gadts/pr5785.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 module Add (T : sig type two end) =
 struct
   type _ t =
diff --git a/testsuite/tests/typing-gadts/pr5848.ml b/testsuite/tests/typing-gadts/pr5848.ml
index d1ebbdf587..bbf8603c09 100644
--- a/testsuite/tests/typing-gadts/pr5848.ml
+++ b/testsuite/tests/typing-gadts/pr5848.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 module B : sig
  type (_, _) t = Eq: ('a, 'a) t
  val f: 'a -> 'b -> ('a, 'b) t
diff --git a/testsuite/tests/typing-gadts/pr5906.ml b/testsuite/tests/typing-gadts/pr5906.ml
index a9541265b0..3ae126c5ac 100644
--- a/testsuite/tests/typing-gadts/pr5906.ml
+++ b/testsuite/tests/typing-gadts/pr5906.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type _ constant =
   | Int: int -> int constant
   | Bool: bool -> bool constant
diff --git a/testsuite/tests/typing-gadts/pr5948.ml b/testsuite/tests/typing-gadts/pr5948.ml
index 52477628a6..48ce2e55a6 100644
--- a/testsuite/tests/typing-gadts/pr5948.ml
+++ b/testsuite/tests/typing-gadts/pr5948.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type tag = [`TagA | `TagB | `TagC];;
 
 type 'a poly =
diff --git a/testsuite/tests/typing-gadts/pr5981.ml b/testsuite/tests/typing-gadts/pr5981.ml
index bda9a883f8..8dfdaa3b7e 100644
--- a/testsuite/tests/typing-gadts/pr5981.ml
+++ b/testsuite/tests/typing-gadts/pr5981.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 module F(S : sig type 'a t end) = struct
   type _ ab =
       A : int S.t ab
diff --git a/testsuite/tests/typing-gadts/pr5985.ml b/testsuite/tests/typing-gadts/pr5985.ml
index 0243887f0a..5c8dadf745 100644
--- a/testsuite/tests/typing-gadts/pr5985.ml
+++ b/testsuite/tests/typing-gadts/pr5985.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 (* Report from Jeremy Yallop *)
 module F (S : sig type 'a s end) = struct
   include S
diff --git a/testsuite/tests/typing-gadts/pr5989.ml b/testsuite/tests/typing-gadts/pr5989.ml
index 0abf7cb3d6..5712430907 100644
--- a/testsuite/tests/typing-gadts/pr5989.ml
+++ b/testsuite/tests/typing-gadts/pr5989.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type (_, _) t =
     Any : ('a, 'b) t
   | Eq : ('a, 'a) t
diff --git a/testsuite/tests/typing-gadts/pr5997.ml b/testsuite/tests/typing-gadts/pr5997.ml
index 1e293ef01c..82c8c387cb 100644
--- a/testsuite/tests/typing-gadts/pr5997.ml
+++ b/testsuite/tests/typing-gadts/pr5997.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type (_, _) comp =
   | Eq : ('a, 'a) comp
   | Diff : ('a, 'b) comp
diff --git a/testsuite/tests/typing-gadts/pr6158.ml b/testsuite/tests/typing-gadts/pr6158.ml
index 5a115b7ba6..1074a66f00 100644
--- a/testsuite/tests/typing-gadts/pr6158.ml
+++ b/testsuite/tests/typing-gadts/pr6158.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type 'a t = T of 'a
 type 'a s = S of 'a
 
diff --git a/testsuite/tests/typing-gadts/pr6163.ml b/testsuite/tests/typing-gadts/pr6163.ml
index bfb644ad19..4411401f8b 100644
--- a/testsuite/tests/typing-gadts/pr6163.ml
+++ b/testsuite/tests/typing-gadts/pr6163.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type _ nat =
     Zero : [`Zero] nat
   | Succ : 'a nat -> [`Succ of 'a] nat;;
diff --git a/testsuite/tests/typing-gadts/pr6174.ml b/testsuite/tests/typing-gadts/pr6174.ml
index fcf5c633a2..20d807a5ff 100644
--- a/testsuite/tests/typing-gadts/pr6174.ml
+++ b/testsuite/tests/typing-gadts/pr6174.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 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);;
diff --git a/testsuite/tests/typing-gadts/pr6241.ml b/testsuite/tests/typing-gadts/pr6241.ml
index ebda191c16..1aa569bed8 100644
--- a/testsuite/tests/typing-gadts/pr6241.ml
+++ b/testsuite/tests/typing-gadts/pr6241.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type (_, _) t =
  A : ('a, 'a) t
 | B : string -> ('a, 'b) t
diff --git a/testsuite/tests/typing-gadts/pr6690.ml b/testsuite/tests/typing-gadts/pr6690.ml
index b9466f68d6..29202c3676 100644
--- a/testsuite/tests/typing-gadts/pr6690.ml
+++ b/testsuite/tests/typing-gadts/pr6690.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type 'a visit_action
 
 type insert
diff --git a/testsuite/tests/typing-gadts/pr6817.ml b/testsuite/tests/typing-gadts/pr6817.ml
index c31f975b6b..6462143637 100644
--- a/testsuite/tests/typing-gadts/pr6817.ml
+++ b/testsuite/tests/typing-gadts/pr6817.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 module A = struct
     type nil = Cstr
   end
diff --git a/testsuite/tests/typing-gadts/pr6934.ml b/testsuite/tests/typing-gadts/pr6934.ml
index 37170d2c47..b871fcb12e 100644
--- a/testsuite/tests/typing-gadts/pr6934.ml
+++ b/testsuite/tests/typing-gadts/pr6934.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type nonrec t = A : t;;
 [%%expect{|
 Line _, characters 16-21:
diff --git a/testsuite/tests/typing-gadts/pr6980.ml b/testsuite/tests/typing-gadts/pr6980.ml
index 85b35d8fb6..3f20051b80 100644
--- a/testsuite/tests/typing-gadts/pr6980.ml
+++ b/testsuite/tests/typing-gadts/pr6980.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type 'a t = [< `Foo | `Bar] as 'a;;
 type 'a s = [< `Foo | `Bar | `Baz > `Bar] as 'a;;
 
diff --git a/testsuite/tests/typing-gadts/pr6993_bad.ml b/testsuite/tests/typing-gadts/pr6993_bad.ml
index 65a312badc..63fa095e93 100644
--- a/testsuite/tests/typing-gadts/pr6993_bad.ml
+++ b/testsuite/tests/typing-gadts/pr6993_bad.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type (_, _) eqp = Y : ('a, 'a) eqp | N : string -> ('a, 'b) eqp
 let f : ('a list, 'a) eqp -> unit = function N s -> print_string s;;
 
diff --git a/testsuite/tests/typing-gadts/pr7016.ml b/testsuite/tests/typing-gadts/pr7016.ml
index 2dff639e4b..9cacf27f60 100644
--- a/testsuite/tests/typing-gadts/pr7016.ml
+++ b/testsuite/tests/typing-gadts/pr7016.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type (_, _) t =
   | Nil : ('tl, 'tl) t
   | Cons : 'a * ('b, 'tl) t -> ('a * 'b, 'tl) t;;
diff --git a/testsuite/tests/typing-gadts/pr7160.ml b/testsuite/tests/typing-gadts/pr7160.ml
index 3825489268..5efaf9a3fb 100644
--- a/testsuite/tests/typing-gadts/pr7160.ml
+++ b/testsuite/tests/typing-gadts/pr7160.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type _ t =
   Int : int -> int t | String : string -> string t | Same : 'l t -> 'l t;;
 let rec f = function Int x -> x | Same s -> f s;;
diff --git a/testsuite/tests/typing-gadts/pr7214.ml b/testsuite/tests/typing-gadts/pr7214.ml
index 736b353e46..884381c98e 100644
--- a/testsuite/tests/typing-gadts/pr7214.ml
+++ b/testsuite/tests/typing-gadts/pr7214.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type _ t = I : int t;;
 
 let f (type a) (x : a t) =
diff --git a/testsuite/tests/typing-gadts/pr7222.ml b/testsuite/tests/typing-gadts/pr7222.ml
index d26539de16..a2258eaea4 100644
--- a/testsuite/tests/typing-gadts/pr7222.ml
+++ b/testsuite/tests/typing-gadts/pr7222.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type +'a n = private int
 type nil = private Nil_type
 type (_,_) elt =
diff --git a/testsuite/tests/typing-gadts/pr7230.ml b/testsuite/tests/typing-gadts/pr7230.ml
index 16f652ce99..1c29f5e4aa 100644
--- a/testsuite/tests/typing-gadts/pr7230.ml
+++ b/testsuite/tests/typing-gadts/pr7230.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type _ t = T : int t;;
 
 (* Should raise Not_found *)
diff --git a/testsuite/tests/typing-gadts/pr7234.ml b/testsuite/tests/typing-gadts/pr7234.ml
index 622aef9066..81f6b6424d 100644
--- a/testsuite/tests/typing-gadts/pr7234.ml
+++ b/testsuite/tests/typing-gadts/pr7234.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type (_, _) eq = Eq : ('a, 'a) eq | Neq : int -> ('a, 'b) eq;;
 type 'a t;;
 let f (type a) (Neq n : (a, a t) eq) = n;;   (* warn! *)
diff --git a/testsuite/tests/typing-gadts/pr7260.ml b/testsuite/tests/typing-gadts/pr7260.ml
index 77daa1f2be..1b48789035 100644
--- a/testsuite/tests/typing-gadts/pr7260.ml
+++ b/testsuite/tests/typing-gadts/pr7260.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type bar = < bar: unit >
 
 type _ ty = Int : int ty
diff --git a/testsuite/tests/typing-gadts/pr7269.ml b/testsuite/tests/typing-gadts/pr7269.ml
index 051b4dc5f7..da2456e4a6 100644
--- a/testsuite/tests/typing-gadts/pr7269.ml
+++ b/testsuite/tests/typing-gadts/pr7269.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type s = [`A | `B] and sub = [`B];;
 type +'a t = T : [< `Conj of 'a & sub | `Other of string] -> 'a t;; (* ok *)
 
diff --git a/testsuite/tests/typing-gadts/pr7298.ml b/testsuite/tests/typing-gadts/pr7298.ml
index 695fc3c451..931d96129b 100644
--- a/testsuite/tests/typing-gadts/pr7298.ml
+++ b/testsuite/tests/typing-gadts/pr7298.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type t = T : t;;
 
 module M : sig
diff --git a/testsuite/tests/typing-gadts/pr7374.ml b/testsuite/tests/typing-gadts/pr7374.ml
index b7243fb308..1987cae3c7 100644
--- a/testsuite/tests/typing-gadts/pr7374.ml
+++ b/testsuite/tests/typing-gadts/pr7374.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type ('a, 'b) eq = Refl : ('a, 'a) eq
 
 module type S = sig
diff --git a/testsuite/tests/typing-gadts/pr7378.ml b/testsuite/tests/typing-gadts/pr7378.ml
index 3d8a29244f..d84b6cff62 100644
--- a/testsuite/tests/typing-gadts/pr7378.ml
+++ b/testsuite/tests/typing-gadts/pr7378.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 module X = struct
   type t =
     | A : 'a * 'b * ('a -> unit) -> t
diff --git a/testsuite/tests/typing-gadts/pr7381.ml b/testsuite/tests/typing-gadts/pr7381.ml
index 79cc245c7f..7609cce77d 100644
--- a/testsuite/tests/typing-gadts/pr7381.ml
+++ b/testsuite/tests/typing-gadts/pr7381.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type (_,_) eql = Refl : ('a, 'a) eql;;
 [%%expect{|
 type (_, _) eql = Refl : ('a, 'a) eql
diff --git a/testsuite/tests/typing-gadts/pr7390.ml b/testsuite/tests/typing-gadts/pr7390.ml
index b421ec57ea..4814c44804 100644
--- a/testsuite/tests/typing-gadts/pr7390.ml
+++ b/testsuite/tests/typing-gadts/pr7390.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type empty = Empty and filled = Filled
 type ('a,'fout,'fin) opt =
   | N : ('a, 'f, 'f) opt
diff --git a/testsuite/tests/typing-gadts/pr7391.ml b/testsuite/tests/typing-gadts/pr7391.ml
index ace84b5d94..ce756459ef 100644
--- a/testsuite/tests/typing-gadts/pr7391.ml
+++ b/testsuite/tests/typing-gadts/pr7391.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 class virtual child1 parent =
   object
     method private parent = parent
diff --git a/testsuite/tests/typing-gadts/pr7397.ml b/testsuite/tests/typing-gadts/pr7397.ml
index 3960514b04..8a85eaff8c 100644
--- a/testsuite/tests/typing-gadts/pr7397.ml
+++ b/testsuite/tests/typing-gadts/pr7397.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type +'a t
 
 class type a = object
diff --git a/testsuite/tests/typing-gadts/pr7421.ml b/testsuite/tests/typing-gadts/pr7421.ml
index 5bee9bc111..c73358e6a1 100644
--- a/testsuite/tests/typing-gadts/pr7421.ml
+++ b/testsuite/tests/typing-gadts/pr7421.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type (_, _) eq = Refl : ('a, 'a) eq;;
 type empty = (int, unit) eq;;
 [%%expect{|
diff --git a/testsuite/tests/typing-gadts/pr7432.ml b/testsuite/tests/typing-gadts/pr7432.ml
index 6b83f48e09..4881402957 100644
--- a/testsuite/tests/typing-gadts/pr7432.ml
+++ b/testsuite/tests/typing-gadts/pr7432.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 #labels false;;
 type (_,_) eql = Refl : ('a, 'a) eql
 type s = x:int -> y:float -> unit
diff --git a/testsuite/tests/typing-gadts/pr7518.ml b/testsuite/tests/typing-gadts/pr7518.ml
index 7adaaa4ca1..793a456e98 100644
--- a/testsuite/tests/typing-gadts/pr7518.ml
+++ b/testsuite/tests/typing-gadts/pr7518.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 type _ t = I : int t;;
 let f (type a) (x : a t) (y : int) =
   match x, y with
diff --git a/testsuite/tests/typing-gadts/term-conv.ml b/testsuite/tests/typing-gadts/term-conv.ml
index 4994bdfd28..993b460e0a 100644
--- a/testsuite/tests/typing-gadts/term-conv.ml
+++ b/testsuite/tests/typing-gadts/term-conv.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 (* HOAS to de Bruijn, by chak *)
 (* http://www.cse.unsw.edu.au/~chak/haskell/term-conv/ *)
 
diff --git a/testsuite/tests/typing-gadts/test.ml b/testsuite/tests/typing-gadts/test.ml
index 06a27a4de1..806329ac0a 100644
--- a/testsuite/tests/typing-gadts/test.ml
+++ b/testsuite/tests/typing-gadts/test.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 module Exp =
   struct
 
diff --git a/testsuite/tests/typing-gadts/unify_mb.ml b/testsuite/tests/typing-gadts/unify_mb.ml
index 567046a02d..cea21717f9 100644
--- a/testsuite/tests/typing-gadts/unify_mb.ml
+++ b/testsuite/tests/typing-gadts/unify_mb.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 (* First-Order Unification by Structural Recursion *)
 (* Conor McBride, JFP 13(6) *)
 (* http://strictlypositive.org/publications.html *)
diff --git a/testsuite/tests/typing-gadts/variables_in_mcomp.ml b/testsuite/tests/typing-gadts/variables_in_mcomp.ml
index 0906b93c54..0a37045499 100644
--- a/testsuite/tests/typing-gadts/variables_in_mcomp.ml
+++ b/testsuite/tests/typing-gadts/variables_in_mcomp.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 module M = struct
   type 'a s = 'a
   type t = T : 'a s -> t
diff --git a/testsuite/tests/typing-gadts/yallop_bugs.ml b/testsuite/tests/typing-gadts/yallop_bugs.ml
index b4e60e8c80..b9158cb3b8 100644
--- a/testsuite/tests/typing-gadts/yallop_bugs.ml
+++ b/testsuite/tests/typing-gadts/yallop_bugs.ml
@@ -1,3 +1,7 @@
+(* TEST
+   * expect
+*)
+
 (* Injectivity *)
 
 type (_, _) eq = Refl : ('a, 'a) eq