diff options
Diffstat (limited to 'testsuite/tests/deriving/should_fail/T4846.stderr')
| -rw-r--r-- | testsuite/tests/deriving/should_fail/T4846.stderr | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/testsuite/tests/deriving/should_fail/T4846.stderr b/testsuite/tests/deriving/should_fail/T4846.stderr index 33b125f2bc..b0ebb9edfb 100644 --- a/testsuite/tests/deriving/should_fail/T4846.stderr +++ b/testsuite/tests/deriving/should_fail/T4846.stderr @@ -5,10 +5,9 @@ T4846.hs:29:1: ‘Expr Bool’ and ‘Expr BOOL’ are the same Relevant role signatures: type role Expr nominal - In the expression: - GHC.Prim.coerce (mkExpr :: Expr Bool) :: Expr BOOL + In the expression: coerce (mkExpr :: Expr Bool) :: Expr BOOL In an equation for ‘mkExpr’: - mkExpr = GHC.Prim.coerce (mkExpr :: Expr Bool) :: Expr BOOL + 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 |