blob: 5a7339bf21e85881492903903d661ef1e1895d59 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
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’
|