diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-09-24 11:22:52 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-09-26 10:56:46 +0100 |
| commit | 74ae59896e4222a8115f5548845f13495f5bb76e (patch) | |
| tree | 89ea05c141ff4bd1ba5d43732b8d58e03c1e1c78 /testsuite/tests/deriving/should_fail | |
| parent | c23beffd65fd0eb50e7fe3a53a89220252aadd74 (diff) | |
| download | haskell-74ae59896e4222a8115f5548845f13495f5bb76e.tar.gz | |
Defer errors in derived instances
Fixes Trac #9576. Turned out to be pretty easy.
Diffstat (limited to 'testsuite/tests/deriving/should_fail')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T4846.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/deriving/should_fail/drvfail011.stderr | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/deriving/should_fail/T4846.stderr b/testsuite/tests/deriving/should_fail/T4846.stderr index 6024165c25..8d6198ea8e 100644 --- a/testsuite/tests/deriving/should_fail/T4846.stderr +++ b/testsuite/tests/deriving/should_fail/T4846.stderr @@ -9,6 +9,6 @@ T4846.hs:29:1: In an equation for ‘mkExpr’: mkExpr = GHC.Prim.coerce (mkExpr :: Expr Bool) :: Expr BOOL When typechecking the code for ‘mkExpr’ - in a standalone derived instance for ‘B BOOL’: + in a derived instance for ‘B BOOL’: To see the code I am typechecking, use -ddump-deriv In the instance declaration for ‘B BOOL’ diff --git a/testsuite/tests/deriving/should_fail/drvfail011.stderr b/testsuite/tests/deriving/should_fail/drvfail011.stderr index 99e62fc48e..6ea42e1b08 100644 --- a/testsuite/tests/deriving/should_fail/drvfail011.stderr +++ b/testsuite/tests/deriving/should_fail/drvfail011.stderr @@ -5,6 +5,6 @@ drvfail011.hs:8:1: In the expression: ((a1 == b1)) In an equation for ‘==’: (==) (T1 a1) (T1 b1) = ((a1 == b1)) When typechecking the code for ‘==’ - in a standalone derived instance for ‘Eq (T a)’: + in a derived instance for ‘Eq (T a)’: To see the code I am typechecking, use -ddump-deriv In the instance declaration for ‘Eq (T a)’ |