diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-10-24 13:56:29 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-10-25 15:45:34 -0400 |
| commit | bf83435b5c62776072977b9b1fc5aba2bffa97b4 (patch) | |
| tree | ef9b3be38521fb4f9e972e1389d6ec9f199304ac /testsuite/tests/gadt | |
| parent | 61f1b46e2a56fcb1e95dd1c4e87fb31940b3412d (diff) | |
| download | haskell-bf83435b5c62776072977b9b1fc5aba2bffa97b4.tar.gz | |
typecheck: Clarify errors mentioned in #14385
Diffstat (limited to 'testsuite/tests/gadt')
| -rw-r--r-- | testsuite/tests/gadt/gadtSyntaxFail001.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/gadt/gadtSyntaxFail002.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/gadt/gadtSyntaxFail003.stderr | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/gadt/gadtSyntaxFail001.stderr b/testsuite/tests/gadt/gadtSyntaxFail001.stderr index 248bc98044..9e3c0d4ffc 100644 --- a/testsuite/tests/gadt/gadtSyntaxFail001.stderr +++ b/testsuite/tests/gadt/gadtSyntaxFail001.stderr @@ -2,6 +2,6 @@ gadtSyntaxFail001.hs:8:5: error: • Data constructor ‘C2’ has existential type variables, a context, or a specialised result type C2 :: forall a. a -> Char -> Foo a Int - (Use ExistentialQuantification or GADTs to allow this) + (Enable ExistentialQuantification or GADTs to allow this) • In the definition of data constructor ‘C2’ In the data type declaration for ‘Foo’ diff --git a/testsuite/tests/gadt/gadtSyntaxFail002.stderr b/testsuite/tests/gadt/gadtSyntaxFail002.stderr index 7c30b794f9..7b0251c7e1 100644 --- a/testsuite/tests/gadt/gadtSyntaxFail002.stderr +++ b/testsuite/tests/gadt/gadtSyntaxFail002.stderr @@ -2,6 +2,6 @@ gadtSyntaxFail002.hs:8:5: error: • Data constructor ‘C2’ has existential type variables, a context, or a specialised result type C2 :: forall a. a -> Char -> Foo a a - (Use ExistentialQuantification or GADTs to allow this) + (Enable ExistentialQuantification or GADTs to allow this) • In the definition of data constructor ‘C2’ In the data type declaration for ‘Foo’ diff --git a/testsuite/tests/gadt/gadtSyntaxFail003.stderr b/testsuite/tests/gadt/gadtSyntaxFail003.stderr index a66d135c3a..903624499a 100644 --- a/testsuite/tests/gadt/gadtSyntaxFail003.stderr +++ b/testsuite/tests/gadt/gadtSyntaxFail003.stderr @@ -2,6 +2,6 @@ gadtSyntaxFail003.hs:7:5: error: • Data constructor ‘C1’ has existential type variables, a context, or a specialised result type C1 :: forall a c b. a -> Int -> c -> Foo b a - (Use ExistentialQuantification or GADTs to allow this) + (Enable ExistentialQuantification or GADTs to allow this) • In the definition of data constructor ‘C1’ In the data type declaration for ‘Foo’ |