blob: 5179f53c0310dc06c211a153a0b0f36e48e60d52 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
deriving-via-fail.hs:9:34: error:
• Couldn't match representation of type ‘a’ with that of ‘b’
arising from the coercion of the method ‘showsPrec’
from type ‘Int -> Identity b -> ShowS’
to type ‘Int -> Foo1 a -> ShowS’
‘a’ is a rigid type variable bound by
the deriving clause for ‘Show (Foo1 a)’
at deriving-via-fail.hs:9:34-37
‘b’ is a rigid type variable bound by
the deriving clause for ‘Show (Foo1 a)’
at deriving-via-fail.hs:9:34-37
• When deriving the instance for (Show (Foo1 a))
deriving-via-fail.hs:12:12: error:
• Cannot derive instance via ‘fooo’
Class ‘Category’ expects an argument of kind ‘* -> * -> *’,
but ‘fooo’ has kind ‘*’
• In the newtype declaration for ‘Foo2’
deriving-via-fail.hs:15:20: error:
• Couldn't match representation of type ‘a’ with that of ‘Foo3’
arising from the coercion of the method ‘==’
from type ‘a -> a -> Bool’ to type ‘Foo3 -> Foo3 -> Bool’
‘a’ is a rigid type variable bound by
the deriving clause for ‘Eq Foo3’
at deriving-via-fail.hs:15:20-21
• When deriving the instance for (Eq Foo3)
|
