testsuite/tests/typing-warnings/pr7261.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14

(* TEST_BELOW
(* Blank lines added here to preserve locations. *)

*)

type foo =
    Foo: [> `Bla ] as 'b ) * 'b -> foo;;
type foo =
    Foo: 'b * 'b -> foo constraint 'b = [> `Bla ];;

(* TEST
 flags = " -w +A -strict-sequence ";
 toplevel;
*)