blob: 69e24ad5f8dcd728d4ef86713a025536db15d624 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
LevPolyBounded.hs:11:15: error: [GHC-25897]
• Couldn't match kind ‘r’ with ‘LiftedRep’
Expected kind ‘*’, but ‘a’ has kind ‘TYPE r’
‘r’ is a rigid type variable bound by
the class declaration for ‘XBounded’
at LevPolyBounded.hs:10:17-27
• In the type signature: LevPolyBounded.minBound :: a
In the class declaration for ‘XBounded’
LevPolyBounded.hs:12:15: error: [GHC-25897]
• Couldn't match kind ‘r’ with ‘LiftedRep’
Expected kind ‘*’, but ‘a’ has kind ‘TYPE r’
‘r’ is a rigid type variable bound by
the class declaration for ‘XBounded’
at LevPolyBounded.hs:10:17-27
• In the type signature: LevPolyBounded.maxBound :: a
In the class declaration for ‘XBounded’
|
