blob: 3cd4611cd38a9ebbb6a0b370f34ade121948ba44 (
plain)
1
2
3
4
5
6
|
gadtSyntaxFail003.hs:7:5:
Data constructor `C1' has existential type variables, a context, or a specialised result type
(Use -XExistentialQuantification or -XGADTs to allow this)
In the definition of data constructor `C1'
In the data declaration for `Foo'
|
