blob: 6024165c254bbb877f474e2cc8072cf1f78410ef (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T4846.hs:29:1:
Could not coerce from ‘Expr Bool’ to ‘Expr BOOL’
because the first type argument of ‘Expr’ has role Nominal,
but the arguments ‘Bool’ and ‘BOOL’ differ
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 standalone derived instance for ‘B BOOL’:
To see the code I am typechecking, use -ddump-deriv
In the instance declaration for ‘B BOOL’
|
