blob: 80e486628b5207e2f758ef72d3feb07c5af77dce (
plain)
1
2
3
4
5
6
7
8
9
10
|
drvfail011.hs:8:1:
No instance for (Eq a)
arising from a use of `=='
In the expression: ((a1 == b1))
In an equation for `==': == (T1 a1) (T1 b1) = ((a1 == b1))
When typechecking the code for `=='
in a standalone derived instance for `Eq (T a)':
To see the code I am typechecking, use -ddump-deriv
In the instance declaration for `Eq (T a)'
|