blob: c9ff10c30f7ae9d2e0b5f04c93f912173377965d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T4846.hs:29:1: error:
• Couldn't match type ‘Bool’ with ‘BOOL’
arising from a use of ‘GHC.Prim.coerce’
• In the expression:
GHC.Prim.coerce @(Expr Bool) @(Expr BOOL) (mkExpr @Bool)
In an equation for ‘mkExpr’:
mkExpr = GHC.Prim.coerce @(Expr Bool) @(Expr BOOL) (mkExpr @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’
|
