Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail159.stderr
1
2 tcfail159.hs:9:11: error:
3     • Expecting a lifted type, but got an unlifted
4     • In the pattern: ~(# p, q #)
5       In a case alternative: ~(# p, q #) -> p
6       In the expression: case h x of { ~(# p, q #) -> p }