Add kind equalities to GHC.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail123.stderr
1
2 tcfail123.hs:11:9: error:
3     Couldn't match a lifted type with an unlifted type
4     When matching the kind of ‘Int#’
5     In the first argument of ‘f’, namely ‘3#’
6     In the expression: f 3#
7     In an equation for ‘h’: h v = f 3#