diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail132.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail132.stderr | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail132.stderr b/testsuite/tests/typecheck/should_fail/tcfail132.stderr index bfe7fc3ab7..91228b86b5 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail132.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail132.stderr @@ -1,7 +1,6 @@ -
-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'
+ +tcfail132.hs:17:37: + 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' |