Instantiate GND bindings with an explicit type signature
[ghc.git] / testsuite / tests / deriving / should_fail / T4846.stderr
1
2 T4846.hs:29:1: error:
3     • Couldn't match type ‘Bool’ with ‘BOOL’
4         arising from a use of ‘GHC.Prim.coerce’
5     • In the expression:
6           GHC.Prim.coerce @(Expr Bool) @(Expr BOOL) mkExpr :: Expr BOOL
7       In an equation for ‘mkExpr’:
8           mkExpr
9             = GHC.Prim.coerce @(Expr Bool) @(Expr BOOL) mkExpr :: Expr BOOL
10       When typechecking the code for ‘mkExpr’
11         in a derived instance for ‘B BOOL’:
12         To see the code I am typechecking, use -ddump-deriv
13       In the instance declaration for ‘B BOOL’