From 218a4cad9ecb9cdeefd8876ff6b0d0278b34caed Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Hinderer?= Date: Fri, 8 Dec 2017 16:28:51 +0100 Subject: Migrate typing-gadts tests to ocamltest --- testsuite/tests/typing-gadts/Makefile | 18 --------- testsuite/tests/typing-gadts/didier.ml | 4 ++ testsuite/tests/typing-gadts/dynamic_frisch.ml | 4 ++ testsuite/tests/typing-gadts/nested_equations.ml | 4 ++ testsuite/tests/typing-gadts/ocamltests | 46 ++++++++++++++++++++++ testsuite/tests/typing-gadts/omega07.ml | 4 ++ testsuite/tests/typing-gadts/pr5332.ml | 4 ++ testsuite/tests/typing-gadts/pr5689.ml | 4 ++ testsuite/tests/typing-gadts/pr5785.ml | 4 ++ testsuite/tests/typing-gadts/pr5848.ml | 4 ++ testsuite/tests/typing-gadts/pr5906.ml | 4 ++ testsuite/tests/typing-gadts/pr5948.ml | 4 ++ testsuite/tests/typing-gadts/pr5981.ml | 4 ++ testsuite/tests/typing-gadts/pr5985.ml | 4 ++ testsuite/tests/typing-gadts/pr5989.ml | 4 ++ testsuite/tests/typing-gadts/pr5997.ml | 4 ++ testsuite/tests/typing-gadts/pr6158.ml | 4 ++ testsuite/tests/typing-gadts/pr6163.ml | 4 ++ testsuite/tests/typing-gadts/pr6174.ml | 4 ++ testsuite/tests/typing-gadts/pr6241.ml | 4 ++ testsuite/tests/typing-gadts/pr6690.ml | 4 ++ testsuite/tests/typing-gadts/pr6817.ml | 4 ++ testsuite/tests/typing-gadts/pr6934.ml | 4 ++ testsuite/tests/typing-gadts/pr6980.ml | 4 ++ testsuite/tests/typing-gadts/pr6993_bad.ml | 4 ++ testsuite/tests/typing-gadts/pr7016.ml | 4 ++ testsuite/tests/typing-gadts/pr7160.ml | 4 ++ testsuite/tests/typing-gadts/pr7214.ml | 4 ++ testsuite/tests/typing-gadts/pr7222.ml | 4 ++ testsuite/tests/typing-gadts/pr7230.ml | 4 ++ testsuite/tests/typing-gadts/pr7234.ml | 4 ++ testsuite/tests/typing-gadts/pr7260.ml | 4 ++ testsuite/tests/typing-gadts/pr7269.ml | 4 ++ testsuite/tests/typing-gadts/pr7298.ml | 4 ++ testsuite/tests/typing-gadts/pr7374.ml | 4 ++ testsuite/tests/typing-gadts/pr7378.ml | 4 ++ testsuite/tests/typing-gadts/pr7381.ml | 4 ++ testsuite/tests/typing-gadts/pr7390.ml | 4 ++ testsuite/tests/typing-gadts/pr7391.ml | 4 ++ testsuite/tests/typing-gadts/pr7397.ml | 4 ++ testsuite/tests/typing-gadts/pr7421.ml | 4 ++ testsuite/tests/typing-gadts/pr7432.ml | 4 ++ testsuite/tests/typing-gadts/pr7518.ml | 4 ++ testsuite/tests/typing-gadts/term-conv.ml | 4 ++ testsuite/tests/typing-gadts/test.ml | 4 ++ testsuite/tests/typing-gadts/unify_mb.ml | 4 ++ testsuite/tests/typing-gadts/variables_in_mcomp.ml | 4 ++ testsuite/tests/typing-gadts/yallop_bugs.ml | 4 ++ 48 files changed, 230 insertions(+), 18 deletions(-) delete mode 100644 testsuite/tests/typing-gadts/Makefile create mode 100644 testsuite/tests/typing-gadts/ocamltests (limited to 'testsuite') 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 -- cgit v1.2.1