Move tests from tests/ghc-regress/* to just tests/*
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail132.stderr
1
2 tcfail132.hs:17:37:
3     Kind mis-match
4     The first argument of `T' should have kind `k0 -> k1 -> k2 -> *',
5     but `Object f' f t' has kind `k0 -> k1 -> *'
6     In the type `T (Object f' f t) (DUnit t)'
7     In the type synonym declaration for `LiftObject'