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/gadtSyntaxFail002.stderr | |
| parent | 26eee8d9852f5927011841ce6e16a25766e1ed59 (diff) | |
| download | haskell-ea5bdfd5fd7836331bd79c2a013c6c1e37553727.tar.gz | |
Improved error message
Diffstat (limited to 'testsuite/tests/gadt/gadtSyntaxFail002.stderr')
| -rw-r--r-- | testsuite/tests/gadt/gadtSyntaxFail002.stderr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/gadtSyntaxFail002.stderr b/testsuite/tests/gadt/gadtSyntaxFail002.stderr index ca1060d8ee..ebfd62d7bc 100644 --- a/testsuite/tests/gadt/gadtSyntaxFail002.stderr +++ b/testsuite/tests/gadt/gadtSyntaxFail002.stderr @@ -1,6 +1,7 @@ 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’ |