blob: b09281f2710fda7e8300582cd46ad51524a30e8e (
plain)
1
2
3
4
5
6
7
8
9
10
|
drvfail011.hs:8:1: error:
• No instance for ‘Eq a’ arising from a use of ‘==’
Possible fix: add (Eq a) to the context of the instance declaration
• In the expression: a1 == b1
In a case alternative: (T1 b1) -> ((a1 == b1))
In the expression: case b of (T1 b1) -> ((a1 == b1))
When typechecking the code for ‘==’
in a derived instance for ‘Eq (T a)’:
To see the code I am typechecking, use -ddump-deriv
|
