Merge branch 'master' of https://github.com/ghc/testsuite
[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'