testsuite/tests/typing-gadts/pr6934.ml


1
2
3
4
5
6
7
8
9
10
11

(* TEST
 expect;
*)

type nonrec t = A : t;;
[%%expect{|
Line 1, characters 16-21:
1 | type nonrec t = A : t;;
                    ^^^^^
Error: GADT case syntax cannot be used in a 'nonrec' block.
|}]