testsuite/tests/typecheck/should_fail/tcfail132.stderr


1
2
3
4
5
6
7


tcfail132.hs:17:37:
    Kind mis-match
    The first argument of `T' should have kind `* -> * -> * -> *',
    but `Object f' f t' has kind `* -> * -> *'
    In the type `T (Object f' f t) (DUnit t)'
    In the type declaration for `LiftObject'