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 | |
| parent | 26eee8d9852f5927011841ce6e16a25766e1ed59 (diff) | |
| download | haskell-ea5bdfd5fd7836331bd79c2a013c6c1e37553727.tar.gz | |
Improved error message
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/gadt/gadtSyntaxFail001.stderr | 1 | ||||
| -rw-r--r-- | testsuite/tests/gadt/gadtSyntaxFail002.stderr | 1 | ||||
| -rw-r--r-- | testsuite/tests/gadt/gadtSyntaxFail003.stderr | 1 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/ghci057.stderr | 2 |
4 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/gadt/gadtSyntaxFail001.stderr b/testsuite/tests/gadt/gadtSyntaxFail001.stderr index 53b198a14d..0250c5e663 100644 --- a/testsuite/tests/gadt/gadtSyntaxFail001.stderr +++ b/testsuite/tests/gadt/gadtSyntaxFail001.stderr @@ -1,6 +1,7 @@ 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’ 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’ 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’ diff --git a/testsuite/tests/ghci/scripts/ghci057.stderr b/testsuite/tests/ghci/scripts/ghci057.stderr index 22d0514578..03065845f1 100644 --- a/testsuite/tests/ghci/scripts/ghci057.stderr +++ b/testsuite/tests/ghci/scripts/ghci057.stderr @@ -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’ |