testsuite/tests/typecheck/should_fail/tcfail123.stderr


1
2
3
4
5
6
7
8


tcfail123.hs:11:9:
    Kind incompatibility when matching types:
      t0 :: *
      GHC.Prim.Int# :: #
    In the first argument of ‘f’, namely ‘3#’
    In the expression: f 3#
    In an equation for ‘h’: h v = f 3#