diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-06-22 14:10:53 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-06-22 22:21:14 +0100 |
| commit | cc92a446d6932cf06364529e71c866289088c59a (patch) | |
| tree | 7392a73760d7264ac9a2a12031683b97a0146501 /testsuite/tests | |
| parent | 7e7aeab21c1afa7251e0879c78bbc42040a1936a (diff) | |
| download | haskell-cc92a446d6932cf06364529e71c866289088c59a.tar.gz | |
Improve error message in deriving( Functor )
Fixes Trac #12163. Pretty simple.
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/generics/GenCannotDoRep0_0.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/generics/GenCannotDoRep1_0.stderr | 10 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail086.stderr | 10 |
3 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/generics/GenCannotDoRep0_0.stderr b/testsuite/tests/generics/GenCannotDoRep0_0.stderr index be649e0d46..02300d4140 100644 --- a/testsuite/tests/generics/GenCannotDoRep0_0.stderr +++ b/testsuite/tests/generics/GenCannotDoRep0_0.stderr @@ -4,7 +4,7 @@ GenCannotDoRep0_0.hs:6:14: warning: GenCannotDoRep0_0.hs:13:45: error: • Can't make a derived instance of ‘Generic Dynamic’: - Constructor ‘Dynamic’ has existentials or constraints in its type + Constructor ‘Dynamic’ has existential type variables in its type Possible fix: use a standalone deriving declaration instead • In the data declaration for ‘Dynamic’ diff --git a/testsuite/tests/generics/GenCannotDoRep1_0.stderr b/testsuite/tests/generics/GenCannotDoRep1_0.stderr index 7764f24662..1a576e6cb1 100644 --- a/testsuite/tests/generics/GenCannotDoRep1_0.stderr +++ b/testsuite/tests/generics/GenCannotDoRep1_0.stderr @@ -1,6 +1,6 @@ -GenCannotDoRep1_0.hs:9:49: - Can't make a derived instance of ‘Generic1 Dynamic’: - Constructor ‘Dynamic’ has existentials or constraints in its type - Possible fix: use a standalone deriving declaration instead - In the data declaration for ‘Dynamic’ +GenCannotDoRep1_0.hs:9:49: error: + • Can't make a derived instance of ‘Generic1 Dynamic’: + Constructor ‘Dynamic’ has existential type variables in its type + Possible fix: use a standalone deriving declaration instead + • In the data declaration for ‘Dynamic’ diff --git a/testsuite/tests/typecheck/should_fail/tcfail086.stderr b/testsuite/tests/typecheck/should_fail/tcfail086.stderr index f88fde164b..0ea0b71c41 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail086.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail086.stderr @@ -1,6 +1,6 @@ -tcfail086.hs:6:38: - Can't make a derived instance of ‘Eq Ex’: - Constructor ‘Ex’ has existentials or constraints in its type - Possible fix: use a standalone deriving declaration instead - In the data declaration for ‘Ex’ +tcfail086.hs:6:38: error: + • Can't make a derived instance of ‘Eq Ex’: + Constructor ‘Ex’ has existential type variables in its type + Possible fix: use a standalone deriving declaration instead + • In the data declaration for ‘Ex’ |