Commit ea5bdfd5 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Improved error message

parent 26eee8d9
gadtSyntaxFail001.hs:8:5:
Data constructor ‛C2’ has existential type variables, a context, or a specialised result type
C2 :: forall a. a -> Char -> Foo a Int
(Use -XExistentialQuantification or -XGADTs to allow this)
In the definition of data constructor ‛C2’
In the data declaration for ‛Foo’
gadtSyntaxFail002.hs:8:5:
Data constructor ‛C2’ has existential type variables, a context, or a specialised result type
C2 :: forall a. a -> Char -> Foo a a
(Use -XExistentialQuantification or -XGADTs to allow this)
In the definition of data constructor ‛C2’
In the data declaration for ‛Foo’
gadtSyntaxFail003.hs:7:5:
Data constructor ‛C1’ has existential type variables, a context, or a specialised result type
C1 :: forall b a c. a -> Int -> c -> Foo b a
(Use -XExistentialQuantification or -XGADTs to allow this)
In the definition of data constructor ‛C1’
In the data declaration for ‛Foo’
......@@ -6,12 +6,14 @@
ghci057.hs:3:3:
Data constructor ‛C’ has existential type variables, a context, or a specialised result type
C :: T Int
(Use -XExistentialQuantification or -XGADTs to allow this)
In the definition of data constructor ‛C’
In the data declaration for ‛T’
ghci057.hs:3:3:
Data constructor ‛C’ has existential type variables, a context, or a specialised result type
C :: T Int
(Use -XExistentialQuantification or -XGADTs to allow this)
In the definition of data constructor ‛C’
In the data declaration for ‛T’
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment