diff options
Diffstat (limited to 'testsuite/tests/typing-gadts')
67 files changed, 71 insertions, 70 deletions
diff --git a/testsuite/tests/typing-gadts/ambiguity.ml b/testsuite/tests/typing-gadts/ambiguity.ml index 36b651f13b..d6e9f86d75 100644 --- a/testsuite/tests/typing-gadts/ambiguity.ml +++ b/testsuite/tests/typing-gadts/ambiguity.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) [@@@warning "-8-11-12"] (* reduce the noise. *) diff --git a/testsuite/tests/typing-gadts/ambivalent_apply.ml b/testsuite/tests/typing-gadts/ambivalent_apply.ml index 5e44d26de5..2dc0cf72bd 100644 --- a/testsuite/tests/typing-gadts/ambivalent_apply.ml +++ b/testsuite/tests/typing-gadts/ambivalent_apply.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type (_,_) eq = Refl : ('a,'a) eq;; diff --git a/testsuite/tests/typing-gadts/didier.ml b/testsuite/tests/typing-gadts/didier.ml index 0e120e8503..75062f7608 100644 --- a/testsuite/tests/typing-gadts/didier.ml +++ b/testsuite/tests/typing-gadts/didier.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type 'a ty = diff --git a/testsuite/tests/typing-gadts/dynamic_frisch.ml b/testsuite/tests/typing-gadts/dynamic_frisch.ml index 8bef407420..56ad6d0576 100644 --- a/testsuite/tests/typing-gadts/dynamic_frisch.ml +++ b/testsuite/tests/typing-gadts/dynamic_frisch.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) (* Encoding generics using GADTs *) diff --git a/testsuite/tests/typing-gadts/gadthead.ml b/testsuite/tests/typing-gadts/gadthead.ml index 57a0f04d82..5e4cbfd5b0 100644 --- a/testsuite/tests/typing-gadts/gadthead.ml +++ b/testsuite/tests/typing-gadts/gadthead.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) module M : sig diff --git a/testsuite/tests/typing-gadts/name_existentials.ml b/testsuite/tests/typing-gadts/name_existentials.ml index 91b2f5bb1d..71bc112d8d 100644 --- a/testsuite/tests/typing-gadts/name_existentials.ml +++ b/testsuite/tests/typing-gadts/name_existentials.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type _ ty = Int : int ty diff --git a/testsuite/tests/typing-gadts/nested_equations.ml b/testsuite/tests/typing-gadts/nested_equations.ml index b1719bfbd0..4a9173c039 100644 --- a/testsuite/tests/typing-gadts/nested_equations.ml +++ b/testsuite/tests/typing-gadts/nested_equations.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) (* Tests for nested equations (bind abstract types from other modules) *) diff --git a/testsuite/tests/typing-gadts/omega07.ml b/testsuite/tests/typing-gadts/omega07.ml index a8e6388035..01600502df 100644 --- a/testsuite/tests/typing-gadts/omega07.ml +++ b/testsuite/tests/typing-gadts/omega07.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) (* diff --git a/testsuite/tests/typing-gadts/or_patterns.ml b/testsuite/tests/typing-gadts/or_patterns.ml index e6606fb27f..623cd612b8 100644 --- a/testsuite/tests/typing-gadts/or_patterns.ml +++ b/testsuite/tests/typing-gadts/or_patterns.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type _ t = diff --git a/testsuite/tests/typing-gadts/packed-module-recasting.ml b/testsuite/tests/typing-gadts/packed-module-recasting.ml index 9cb8821673..73ac738c96 100644 --- a/testsuite/tests/typing-gadts/packed-module-recasting.ml +++ b/testsuite/tests/typing-gadts/packed-module-recasting.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type (_, _) eq = Refl : ('a, 'a) eq;; diff --git a/testsuite/tests/typing-gadts/pr10189.ml b/testsuite/tests/typing-gadts/pr10189.ml index 5df054fd10..65cb8183a3 100644 --- a/testsuite/tests/typing-gadts/pr10189.ml +++ b/testsuite/tests/typing-gadts/pr10189.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type i = <m : 'c. 'c -> 'c > diff --git a/testsuite/tests/typing-gadts/pr10271.ml b/testsuite/tests/typing-gadts/pr10271.ml index 37b6bdbc62..061e5568dc 100644 --- a/testsuite/tests/typing-gadts/pr10271.ml +++ b/testsuite/tests/typing-gadts/pr10271.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) module M = struct diff --git a/testsuite/tests/typing-gadts/pr10348.ml b/testsuite/tests/typing-gadts/pr10348.ml index ba3e860770..23437dca3a 100644 --- a/testsuite/tests/typing-gadts/pr10348.ml +++ b/testsuite/tests/typing-gadts/pr10348.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) diff --git a/testsuite/tests/typing-gadts/pr10735.ml b/testsuite/tests/typing-gadts/pr10735.ml index 5405670b11..6202c3629e 100644 --- a/testsuite/tests/typing-gadts/pr10735.ml +++ b/testsuite/tests/typing-gadts/pr10735.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) module X : sig diff --git a/testsuite/tests/typing-gadts/pr10907.ml b/testsuite/tests/typing-gadts/pr10907.ml index abd431f265..e0b9d4d557 100644 --- a/testsuite/tests/typing-gadts/pr10907.ml +++ b/testsuite/tests/typing-gadts/pr10907.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) (* from @dyzsr *) diff --git a/testsuite/tests/typing-gadts/pr11888.ml b/testsuite/tests/typing-gadts/pr11888.ml index b0ff6fcea0..b4d72ce91e 100644 --- a/testsuite/tests/typing-gadts/pr11888.ml +++ b/testsuite/tests/typing-gadts/pr11888.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type z diff --git a/testsuite/tests/typing-gadts/pr5332.ml b/testsuite/tests/typing-gadts/pr5332.ml index f81fff4955..851864a2f0 100644 --- a/testsuite/tests/typing-gadts/pr5332.ml +++ b/testsuite/tests/typing-gadts/pr5332.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type ('env, 'a) var = diff --git a/testsuite/tests/typing-gadts/pr5689.ml b/testsuite/tests/typing-gadts/pr5689.ml index f61d80af8e..87b2bef9e8 100644 --- a/testsuite/tests/typing-gadts/pr5689.ml +++ b/testsuite/tests/typing-gadts/pr5689.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type inkind = [ `Link | `Nonlink ] diff --git a/testsuite/tests/typing-gadts/pr5785.ml b/testsuite/tests/typing-gadts/pr5785.ml index 7817cb0422..102ba05f4b 100644 --- a/testsuite/tests/typing-gadts/pr5785.ml +++ b/testsuite/tests/typing-gadts/pr5785.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) module Add (T : sig type two end) = diff --git a/testsuite/tests/typing-gadts/pr5848.ml b/testsuite/tests/typing-gadts/pr5848.ml index 1c908d781d..d76ecff296 100644 --- a/testsuite/tests/typing-gadts/pr5848.ml +++ b/testsuite/tests/typing-gadts/pr5848.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) module B : sig diff --git a/testsuite/tests/typing-gadts/pr5906.ml b/testsuite/tests/typing-gadts/pr5906.ml index 86ebfd0e36..30d372733c 100644 --- a/testsuite/tests/typing-gadts/pr5906.ml +++ b/testsuite/tests/typing-gadts/pr5906.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type _ constant = diff --git a/testsuite/tests/typing-gadts/pr5948.ml b/testsuite/tests/typing-gadts/pr5948.ml index 9581adc3c6..9edbf430bd 100644 --- a/testsuite/tests/typing-gadts/pr5948.ml +++ b/testsuite/tests/typing-gadts/pr5948.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type tag = [`TagA | `TagB | `TagC];; diff --git a/testsuite/tests/typing-gadts/pr5981.ml b/testsuite/tests/typing-gadts/pr5981.ml index 3d01d36c9d..83502759c8 100644 --- a/testsuite/tests/typing-gadts/pr5981.ml +++ b/testsuite/tests/typing-gadts/pr5981.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) module F(S : sig type 'a t end) = struct diff --git a/testsuite/tests/typing-gadts/pr5985.ml b/testsuite/tests/typing-gadts/pr5985.ml index d38d9eecca..d38e7e789d 100644 --- a/testsuite/tests/typing-gadts/pr5985.ml +++ b/testsuite/tests/typing-gadts/pr5985.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) (* Report from Jeremy Yallop *) diff --git a/testsuite/tests/typing-gadts/pr5989.ml b/testsuite/tests/typing-gadts/pr5989.ml index 27d086d3f0..a23ade0926 100644 --- a/testsuite/tests/typing-gadts/pr5989.ml +++ b/testsuite/tests/typing-gadts/pr5989.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type (_, _) t = diff --git a/testsuite/tests/typing-gadts/pr5997.ml b/testsuite/tests/typing-gadts/pr5997.ml index 0f9f85b469..907a394426 100644 --- a/testsuite/tests/typing-gadts/pr5997.ml +++ b/testsuite/tests/typing-gadts/pr5997.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type (_, _) comp = diff --git a/testsuite/tests/typing-gadts/pr6158.ml b/testsuite/tests/typing-gadts/pr6158.ml index 711304bb37..388cfbc4be 100644 --- a/testsuite/tests/typing-gadts/pr6158.ml +++ b/testsuite/tests/typing-gadts/pr6158.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type 'a t = T of 'a diff --git a/testsuite/tests/typing-gadts/pr6163.ml b/testsuite/tests/typing-gadts/pr6163.ml index cf06eaf58f..4ceecfe098 100644 --- a/testsuite/tests/typing-gadts/pr6163.ml +++ b/testsuite/tests/typing-gadts/pr6163.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type _ nat = diff --git a/testsuite/tests/typing-gadts/pr6174.ml b/testsuite/tests/typing-gadts/pr6174.ml index bf710891f8..d689f656c8 100644 --- a/testsuite/tests/typing-gadts/pr6174.ml +++ b/testsuite/tests/typing-gadts/pr6174.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type _ t = C : ((('a -> 'o) -> 'o) -> ('b -> 'o) -> 'o) t diff --git a/testsuite/tests/typing-gadts/pr6241.ml b/testsuite/tests/typing-gadts/pr6241.ml index bf1108aeac..c7975600df 100644 --- a/testsuite/tests/typing-gadts/pr6241.ml +++ b/testsuite/tests/typing-gadts/pr6241.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type (_, _) t = diff --git a/testsuite/tests/typing-gadts/pr6690.ml b/testsuite/tests/typing-gadts/pr6690.ml index ebf308d095..9e952be9fd 100644 --- a/testsuite/tests/typing-gadts/pr6690.ml +++ b/testsuite/tests/typing-gadts/pr6690.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type 'a visit_action diff --git a/testsuite/tests/typing-gadts/pr6817.ml b/testsuite/tests/typing-gadts/pr6817.ml index 6462143637..bc48ca8e29 100644 --- a/testsuite/tests/typing-gadts/pr6817.ml +++ b/testsuite/tests/typing-gadts/pr6817.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) module A = struct diff --git a/testsuite/tests/typing-gadts/pr6934.ml b/testsuite/tests/typing-gadts/pr6934.ml index 76cb0563da..e2a692df34 100644 --- a/testsuite/tests/typing-gadts/pr6934.ml +++ b/testsuite/tests/typing-gadts/pr6934.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type nonrec t = A : t;; diff --git a/testsuite/tests/typing-gadts/pr6980.ml b/testsuite/tests/typing-gadts/pr6980.ml index 191443240e..d265467962 100644 --- a/testsuite/tests/typing-gadts/pr6980.ml +++ b/testsuite/tests/typing-gadts/pr6980.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type 'a t = [< `Foo | `Bar] as 'a;; diff --git a/testsuite/tests/typing-gadts/pr6993_bad.ml b/testsuite/tests/typing-gadts/pr6993_bad.ml index d3a74ce497..adfe73b74f 100644 --- a/testsuite/tests/typing-gadts/pr6993_bad.ml +++ b/testsuite/tests/typing-gadts/pr6993_bad.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type (_, _) eqp = Y : ('a, 'a) eqp | N : string -> ('a, 'b) eqp diff --git a/testsuite/tests/typing-gadts/pr7016.ml b/testsuite/tests/typing-gadts/pr7016.ml index 3da34245b8..8cc75878d4 100644 --- a/testsuite/tests/typing-gadts/pr7016.ml +++ b/testsuite/tests/typing-gadts/pr7016.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type (_, _) t = diff --git a/testsuite/tests/typing-gadts/pr7160.ml b/testsuite/tests/typing-gadts/pr7160.ml index 5a613052b8..b5584cefdb 100644 --- a/testsuite/tests/typing-gadts/pr7160.ml +++ b/testsuite/tests/typing-gadts/pr7160.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type _ t = diff --git a/testsuite/tests/typing-gadts/pr7214.ml b/testsuite/tests/typing-gadts/pr7214.ml index a14616d766..9923678685 100644 --- a/testsuite/tests/typing-gadts/pr7214.ml +++ b/testsuite/tests/typing-gadts/pr7214.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type _ t = I : int t;; diff --git a/testsuite/tests/typing-gadts/pr7222.ml b/testsuite/tests/typing-gadts/pr7222.ml index d0177e23c7..834d043e16 100644 --- a/testsuite/tests/typing-gadts/pr7222.ml +++ b/testsuite/tests/typing-gadts/pr7222.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type +'a n = private int diff --git a/testsuite/tests/typing-gadts/pr7230.ml b/testsuite/tests/typing-gadts/pr7230.ml index 1c29f5e4aa..40be65fb3b 100644 --- a/testsuite/tests/typing-gadts/pr7230.ml +++ b/testsuite/tests/typing-gadts/pr7230.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type _ t = T : int t;; diff --git a/testsuite/tests/typing-gadts/pr7234.ml b/testsuite/tests/typing-gadts/pr7234.ml index 614f0adce1..90d70026e7 100644 --- a/testsuite/tests/typing-gadts/pr7234.ml +++ b/testsuite/tests/typing-gadts/pr7234.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type (_, _) eq = Eq : ('a, 'a) eq | Neq : int -> ('a, 'b) eq;; diff --git a/testsuite/tests/typing-gadts/pr7260.ml b/testsuite/tests/typing-gadts/pr7260.ml index 2685e3b23b..d0a830d806 100644 --- a/testsuite/tests/typing-gadts/pr7260.ml +++ b/testsuite/tests/typing-gadts/pr7260.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type bar = < bar: unit > diff --git a/testsuite/tests/typing-gadts/pr7269.ml b/testsuite/tests/typing-gadts/pr7269.ml index 58da0d5ef5..def15bc141 100644 --- a/testsuite/tests/typing-gadts/pr7269.ml +++ b/testsuite/tests/typing-gadts/pr7269.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type s = [`A | `B] and sub = [`B];; diff --git a/testsuite/tests/typing-gadts/pr7298.ml b/testsuite/tests/typing-gadts/pr7298.ml index 931d96129b..06118652bb 100644 --- a/testsuite/tests/typing-gadts/pr7298.ml +++ b/testsuite/tests/typing-gadts/pr7298.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type t = T : t;; diff --git a/testsuite/tests/typing-gadts/pr7374.ml b/testsuite/tests/typing-gadts/pr7374.ml index 6e2d5e42ba..7aa139d9ce 100644 --- a/testsuite/tests/typing-gadts/pr7374.ml +++ b/testsuite/tests/typing-gadts/pr7374.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type ('a, 'b) eq = Refl : ('a, 'a) eq diff --git a/testsuite/tests/typing-gadts/pr7378.ml b/testsuite/tests/typing-gadts/pr7378.ml index fe771d8d0a..1499ac5960 100644 --- a/testsuite/tests/typing-gadts/pr7378.ml +++ b/testsuite/tests/typing-gadts/pr7378.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) module X = struct diff --git a/testsuite/tests/typing-gadts/pr7381.ml b/testsuite/tests/typing-gadts/pr7381.ml index 7609cce77d..cdc9c88de5 100644 --- a/testsuite/tests/typing-gadts/pr7381.ml +++ b/testsuite/tests/typing-gadts/pr7381.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type (_,_) eql = Refl : ('a, 'a) eql;; diff --git a/testsuite/tests/typing-gadts/pr7390.ml b/testsuite/tests/typing-gadts/pr7390.ml index 7522209a38..5601519582 100644 --- a/testsuite/tests/typing-gadts/pr7390.ml +++ b/testsuite/tests/typing-gadts/pr7390.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type empty = Empty and filled = Filled diff --git a/testsuite/tests/typing-gadts/pr7391.ml b/testsuite/tests/typing-gadts/pr7391.ml index f16654c5a0..a4160b0b9c 100644 --- a/testsuite/tests/typing-gadts/pr7391.ml +++ b/testsuite/tests/typing-gadts/pr7391.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) class virtual child1 parent = diff --git a/testsuite/tests/typing-gadts/pr7397.ml b/testsuite/tests/typing-gadts/pr7397.ml index 8a85eaff8c..328f5a88c7 100644 --- a/testsuite/tests/typing-gadts/pr7397.ml +++ b/testsuite/tests/typing-gadts/pr7397.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type +'a t diff --git a/testsuite/tests/typing-gadts/pr7421.ml b/testsuite/tests/typing-gadts/pr7421.ml index 79acaceb7d..8bf4025a90 100644 --- a/testsuite/tests/typing-gadts/pr7421.ml +++ b/testsuite/tests/typing-gadts/pr7421.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type (_, _) eq = Refl : ('a, 'a) eq;; diff --git a/testsuite/tests/typing-gadts/pr7432.ml b/testsuite/tests/typing-gadts/pr7432.ml index abb2167be1..9e2903311a 100644 --- a/testsuite/tests/typing-gadts/pr7432.ml +++ b/testsuite/tests/typing-gadts/pr7432.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) #labels false;; diff --git a/testsuite/tests/typing-gadts/pr7520.ml b/testsuite/tests/typing-gadts/pr7520.ml index b4bfe2f4a8..1ee5446390 100644 --- a/testsuite/tests/typing-gadts/pr7520.ml +++ b/testsuite/tests/typing-gadts/pr7520.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type ('a, 'b) eq = Refl : ('a, 'a) eq diff --git a/testsuite/tests/typing-gadts/pr7618.ml b/testsuite/tests/typing-gadts/pr7618.ml index afff67b5e2..8fa12ef353 100644 --- a/testsuite/tests/typing-gadts/pr7618.ml +++ b/testsuite/tests/typing-gadts/pr7618.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type _ t = I : int t;; diff --git a/testsuite/tests/typing-gadts/pr7747.ml b/testsuite/tests/typing-gadts/pr7747.ml index 97b89061d0..ca5eeaa719 100644 --- a/testsuite/tests/typing-gadts/pr7747.ml +++ b/testsuite/tests/typing-gadts/pr7747.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type (_,_) eq = Refl : ('a,'a) eq diff --git a/testsuite/tests/typing-gadts/pr7902.ml b/testsuite/tests/typing-gadts/pr7902.ml index b88fc23e49..cee0ad0df3 100644 --- a/testsuite/tests/typing-gadts/pr7902.ml +++ b/testsuite/tests/typing-gadts/pr7902.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type ('a, 'b) segment = diff --git a/testsuite/tests/typing-gadts/pr9019.ml b/testsuite/tests/typing-gadts/pr9019.ml index 4f65c94398..47e408a2c6 100644 --- a/testsuite/tests/typing-gadts/pr9019.ml +++ b/testsuite/tests/typing-gadts/pr9019.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) (* #9012 by Thomas Refis *) diff --git a/testsuite/tests/typing-gadts/pr9759.ml b/testsuite/tests/typing-gadts/pr9759.ml index cf68cebbc5..7cdd9abd1b 100644 --- a/testsuite/tests/typing-gadts/pr9759.ml +++ b/testsuite/tests/typing-gadts/pr9759.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) (* #9759 by Thomas Refis *) diff --git a/testsuite/tests/typing-gadts/pr9799.ml b/testsuite/tests/typing-gadts/pr9799.ml index 5d083684bb..de7e598700 100644 --- a/testsuite/tests/typing-gadts/pr9799.ml +++ b/testsuite/tests/typing-gadts/pr9799.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type 'a t = diff --git a/testsuite/tests/typing-gadts/principality-and-gadts.ml b/testsuite/tests/typing-gadts/principality-and-gadts.ml index 4a1bbb52bc..83b8b2c8c7 100644 --- a/testsuite/tests/typing-gadts/principality-and-gadts.ml +++ b/testsuite/tests/typing-gadts/principality-and-gadts.ml @@ -1,5 +1,6 @@ (* TEST - * expect *) + expect; +*) module M = struct type t = A | B end;; [%%expect{| diff --git a/testsuite/tests/typing-gadts/return_type.ml b/testsuite/tests/typing-gadts/return_type.ml index ebd5340a69..7c2a16b7ab 100644 --- a/testsuite/tests/typing-gadts/return_type.ml +++ b/testsuite/tests/typing-gadts/return_type.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) type i = int diff --git a/testsuite/tests/typing-gadts/term-conv.ml b/testsuite/tests/typing-gadts/term-conv.ml index 436100bac8..3c7f008055 100644 --- a/testsuite/tests/typing-gadts/term-conv.ml +++ b/testsuite/tests/typing-gadts/term-conv.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) (* HOAS to de Bruijn, by chak *) diff --git a/testsuite/tests/typing-gadts/test.ml b/testsuite/tests/typing-gadts/test.ml index 178b9c9590..b107d4e97c 100644 --- a/testsuite/tests/typing-gadts/test.ml +++ b/testsuite/tests/typing-gadts/test.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) module Exp = @@ -682,9 +682,9 @@ let f : type a b. (a,b) eq -> (<m : a; ..> as 'c) -> (<m : b; ..> as 'c) = ;; (* fail *) [%%expect{| type (_, _) eq = Eq : ('a, 'a) eq -Lines 3-4, characters 4-15: -3 | ....f : type a b. (a,b) eq -> (<m : a; ..> as 'c) -> (<m : b; ..> as 'c) = -4 | fun Eq o -> o +Line 3, characters 18-72: +3 | let f : type a b. (a,b) eq -> (<m : a; ..> as 'c) -> (<m : b; ..> as 'c) = + ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Error: The universal type variable 'b cannot be generalized: it is already bound to another variable. |}];; diff --git a/testsuite/tests/typing-gadts/unexpected_existentials.ml b/testsuite/tests/typing-gadts/unexpected_existentials.ml index 5216dc5032..db79e922bb 100644 --- a/testsuite/tests/typing-gadts/unexpected_existentials.ml +++ b/testsuite/tests/typing-gadts/unexpected_existentials.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) (** Test the error message for existential types apparearing in unexpected position *) diff --git a/testsuite/tests/typing-gadts/unify_mb.ml b/testsuite/tests/typing-gadts/unify_mb.ml index cea21717f9..7b0fafc0f0 100644 --- a/testsuite/tests/typing-gadts/unify_mb.ml +++ b/testsuite/tests/typing-gadts/unify_mb.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) (* First-Order Unification by Structural Recursion *) diff --git a/testsuite/tests/typing-gadts/variables_in_mcomp.ml b/testsuite/tests/typing-gadts/variables_in_mcomp.ml index 0a37045499..8e8985af4d 100644 --- a/testsuite/tests/typing-gadts/variables_in_mcomp.ml +++ b/testsuite/tests/typing-gadts/variables_in_mcomp.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) module M = struct diff --git a/testsuite/tests/typing-gadts/yallop_bugs.ml b/testsuite/tests/typing-gadts/yallop_bugs.ml index 24181efc3b..bdd2a55d7c 100644 --- a/testsuite/tests/typing-gadts/yallop_bugs.ml +++ b/testsuite/tests/typing-gadts/yallop_bugs.ml @@ -1,5 +1,5 @@ (* TEST - * expect + expect; *) (* Injectivity *) |