Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail200.stderr
1
2 tcfail200.hs:5:15: error:
3     • Couldn't match a lifted type with an unlifted type
4       When matching types
5         a1 :: *
6         GHC.Prim.Int# :: TYPE 'GHC.Types.IntRep
7     • In the expression: 1#
8       In the expression: (1#, 'c')
9       In an equation for ‘x’: x = (1#, 'c')
10     • Relevant bindings include
11         x :: (a1, Char) (bound at tcfail200.hs:5:9)