summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/LevPolyBounded.stderr
blob: 114d3e962d214f20a5646be39b09edafd3384278 (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: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:27
    • In the type signature: LevPolyBounded.maxBound :: a
      In the class declaration for ‘XBounded’