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