Fold testsuite.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail132.stderr
1
2 tcfail132.hs:17:37:
3     The first argument of ‛T’ should have kind ‛* -> * -> * -> *’,
4       but ‛Object f' f t’ has kind ‛* -> * -> *’
5     In the type ‛T (Object f' f t) (DUnit t)’
6     In the type declaration for ‛LiftObject’