blob: c4c8d83a774de02442e1521c4fc1b92edcb2bc95 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
LevPolyBounded.hs:10:15: error:
• Expected a type, but ‘a’ has kind ‘TYPE r’
‘r’ is a rigid type variable bound by
the class declaration for ‘XBounded’
at LevPolyBounded.hs:9:17-27
• In the type signature: LevPolyBounded.minBound :: a
In the class declaration for ‘XBounded’
LevPolyBounded.hs:11:15: error:
• Expected a type, but ‘a’ has kind ‘TYPE r’
‘r’ is a rigid type variable bound by
the class declaration for ‘XBounded’
at LevPolyBounded.hs:9:17-27
• In the type signature: LevPolyBounded.maxBound :: a
In the class declaration for ‘XBounded’
|