Refactor treatment of wildcards
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail160.stderr
1 \r
2 tcfail160.hs:7:8: error:\r
3     The first argument of ‘T’ should have kind ‘* -> *’,\r
4       but ‘Int’ has kind ‘*’\r
5     In the type signature: g :: T Int\r