blob: 33b125f2bc727e18d84aa803b98dc61228a859eb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
T4846.hs:29:1:
Couldn't match type ‘Bool’ with ‘BOOL’
arising from trying to show that the representations of
‘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 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’
|
