blob: 57b417300484720ca490f3e7dbfa0efdcbc8a51e (
plain)
1
2
3
4
5
6
7
8
9
10
|
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
|
