blob: e2a692df340cb7558fe6f81c8138840aa4c812a7 (
plain)
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.
|}]
|