blob: 03127652cfbee433257e4e53fb8f464bf5731f7c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
Line 7, characters 19-21:
7 | Foo: [> `Bla ] as 'b ) * 'b -> foo;;
^^
Error: Syntax error
Line 2, characters 35-49:
2 | Foo: 'b * 'b -> foo constraint 'b = [> `Bla ];;
^^^^^^^^^^^^^^
Warning 62 [constraint-on-gadt]: Type constraints do not apply to GADT cases of variant types.
type foo = Foo : 'b * 'b -> foo
|