blob: d5c20ed70faaf4a7a6553c6dda1cc6337ded15d5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
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:10:17-27
• In the type signature: LevPolyBounded.minBound :: a
In the class declaration for ‘XBounded’
LevPolyBounded.hs:12: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:10:17-27
• In the type signature: LevPolyBounded.maxBound :: a
In the class declaration for ‘XBounded’
|