summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/LevPolyBounded.stderr
blob: 2f428804ac1d1fbdabf4d16d14893106ed7a2699 (plain)
1
2
3
4
5
6
7
8
9
10

LevPolyBounded.hs:12:15: error:
    • Expected a type, but ‘a’ has kind ‘TYPE r’
    • In the type signature: LevPolyBounded.minBound :: a
      In the class declaration for ‘XBounded’

LevPolyBounded.hs:13:15: error:
    • Expected a type, but ‘a’ has kind ‘TYPE r’
    • In the type signature: LevPolyBounded.maxBound :: a
      In the class declaration for ‘XBounded’