3f8f226468b4a4ff2df875122af14ca034da1035
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail132.stderr
1
2 tcfail132.hs:17:37: error:
3     • Expecting one fewer arguments to ‘Object f' f t’
4       Expected kind ‘* -> * -> * -> *’,
5         but ‘Object f' f t’ has kind ‘* -> * -> *’
6     • In the first argument of ‘T’, namely ‘(Object f' f t)’
7       In the type ‘T (Object f' f t) (DUnit t)’
8       In the type declaration for ‘LiftObject’
9
10 tcfail132.hs:17:53: error:
11     • Expected kind ‘* -> * -> * -> *’,
12         but ‘DUnit t’ has kind ‘* -> * -> *’
13     • In the second argument of ‘T’, namely ‘(DUnit t)’
14       In the type ‘T (Object f' f t) (DUnit t)’
15       In the type declaration for ‘LiftObject’