blob: 9062ae38cfe253d1b87be1087e61692a8f8055e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
T18127b.hs:7:40: error:
• Can't make a derived instance of ‘Eq T1’:
Constructor ‘MkT1’ has a higher-rank type
• In the data declaration for ‘T1’
Suggested fix: Use a standalone deriving declaration instead
T18127b.hs:7:44: error:
• Can't make a derived instance of ‘Generic T1’:
MkT1 must not have exotic unlifted or polymorphic arguments
• In the data declaration for ‘T1’
T18127b.hs:8:42: error:
• Can't make a derived instance of ‘Eq (T2 a)’:
Constructor ‘MkT2’ has a higher-rank type
• In the data declaration for ‘T2’
Suggested fix: Use a standalone deriving declaration instead
T18127b.hs:8:46: error:
• Can't make a derived instance of ‘Generic (T2 a)’:
MkT2 must not have exotic unlifted or polymorphic arguments
• In the data declaration for ‘T2’
|
