Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / LevPolyBounded.stderr
1
2 LevPolyBounded.hs:10:15: error:
3     • Expected a type, but ‘a’ has kind ‘TYPE r’
4     • In the type signature: LevPolyBounded.minBound :: a
5       In the class declaration for ‘XBounded’