blob: 75e4829cdb9e07973a73f10754c0a07be2e6247b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T13324_fail2.hs:7:1: error:
• No instance for (Eq (f (f a)))
arising from a 'deriving' declaration
Possible fix: fill in the wildcard constraint yourself
• When deriving the instance for (Eq (Foo f a))
T13324_fail2.hs:11:1: error:
• Can't make a derived instance of ‘Eq (T a)’:
Constructor ‘MkT’ is a GADT
Possible fix: fill in the wildcard constraint yourself
• In the stand-alone deriving instance for ‘_ => Eq (T a)’
|
