testsuite/tests/typecheck/should_fail/tcfail200.stderr


1
2
3
4
5
6
7
8
9
10


tcfail200.hs:5:15:
    Kind incompatibility when matching types:
      t1 :: *
      GHC.Prim.Int# :: #
    Relevant bindings include
      x :: (t1, Char) (bound at tcfail200.hs:5:9)
    In the expression: 1#
    In the expression: (1#, 'c')
    In an equation for ‘x’: x = (1#, 'c')