testsuite/tests/typecheck/should_fail/tcfail200.stderr


1
2
3
4
5
6
7
8
9
10
11


tcfail200.hs:5:15: error:
    Couldn't match kind ‘*’ with ‘#’
    When matching types
      t1 :: *
      Int# :: #
    In the expression: 1#
    In the expression: (1#, 'c')
    In an equation for ‘x’: x = (1#, 'c')
    Relevant bindings include
      x :: (t1, Char) (bound at tcfail200.hs:5:9)