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

LevPolyBounded.hs:10: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:11:15: error:
    • Expected a type, but ‘a’ has kind ‘TYPE r’
    • In the type signature: LevPolyBounded.maxBound :: a
      In the class declaration for ‘XBounded’