diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T4846.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T4846.stderr | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/testsuite/tests/deriving/should_fail/T4846.stderr b/testsuite/tests/deriving/should_fail/T4846.stderr index 9fe54c6aca..c9ff10c30f 100644 --- a/testsuite/tests/deriving/should_fail/T4846.stderr +++ b/testsuite/tests/deriving/should_fail/T4846.stderr @@ -3,12 +3,9 @@ T4846.hs:29:1: error: • Couldn't match type ‘Bool’ with ‘BOOL’ arising from a use of ‘GHC.Prim.coerce’ • In the expression: - GHC.Prim.coerce @(Expr Bool) @(Expr BOOL) (mkExpr @Bool) :: - Expr BOOL + GHC.Prim.coerce @(Expr Bool) @(Expr BOOL) (mkExpr @Bool) In an equation for ‘mkExpr’: - mkExpr - = GHC.Prim.coerce @(Expr Bool) @(Expr BOOL) (mkExpr @Bool) :: - Expr BOOL + mkExpr = GHC.Prim.coerce @(Expr Bool) @(Expr BOOL) (mkExpr @Bool) When typechecking the code for ‘mkExpr’ in a derived instance for ‘B BOOL’: To see the code I am typechecking, use -ddump-deriv |