diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-05-21 12:31:23 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-05-21 12:32:05 +0100 |
| commit | ea5bdfd5fd7836331bd79c2a013c6c1e37553727 (patch) | |
| tree | a1eab41ff9c7134593838e4fe471c907d4240770 /testsuite/tests/gadt/gadtSyntaxFail003.stderr | |
| parent | 26eee8d9852f5927011841ce6e16a25766e1ed59 (diff) | |
| download | haskell-ea5bdfd5fd7836331bd79c2a013c6c1e37553727.tar.gz | |
Improved error message
Diffstat (limited to 'testsuite/tests/gadt/gadtSyntaxFail003.stderr')
| -rw-r--r-- | testsuite/tests/gadt/gadtSyntaxFail003.stderr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/gadtSyntaxFail003.stderr b/testsuite/tests/gadt/gadtSyntaxFail003.stderr index eb2e370a66..aeed6f7d9a 100644 --- a/testsuite/tests/gadt/gadtSyntaxFail003.stderr +++ b/testsuite/tests/gadt/gadtSyntaxFail003.stderr @@ -1,6 +1,7 @@ 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’ |