Merge branch 'master' of http://darcs.haskell.org/testsuite
[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 `* -> * -> * -> *',
5     but `Object f' f t' has kind `* -> * -> *'
6     In the type `T (Object f' f t) (DUnit t)'
7     In the type synonym declaration for `LiftObject'