diff options
author | Jose Pedro Magalhaes <jpm@cs.uu.nl> | 2011-11-25 15:55:17 +0000 |
---|---|---|
committer | Jose Pedro Magalhaes <jpm@cs.uu.nl> | 2011-11-25 16:53:02 +0000 |
commit | d4f962ff6583e6dcb75120b9b64a81d33bdc6634 (patch) | |
tree | 2b86522957d104d79cd3a6417569148fdb8657cd /testsuite/tests/typecheck/should_fail/tcfail212.stderr | |
parent | 8b9a506affa9f681b1d9164ffe45ebf35711cf5b (diff) | |
download | haskell-d4f962ff6583e6dcb75120b9b64a81d33bdc6634.tar.gz |
Update outputs
We now print less kind information in error messages
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail212.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail212.stderr | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail212.stderr b/testsuite/tests/typecheck/should_fail/tcfail212.stderr index c61b88c98c..66f0bb2e1f 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail212.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail212.stderr @@ -1,12 +1,8 @@ tcfail212.hs:10:7: - `Maybe' is not applied to enough type arguments - The first argument of a tuple should have kind `*', - but `Maybe' has kind `* -> *' + Expecting one more argument to `Maybe' In the type signature for `f': f :: (Maybe, Either Int) tcfail212.hs:13:7: Expecting a lifted type, but `Int#' is unlifted - The first argument of a tuple should have kind `*', - but `Int#' has kind `#' In the type signature for `g': g :: (Int#, Int#) |