Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/1dd4dd9efba692316c95be15acc3dbe45e8aeec1 >--------------------------------------------------------------- commit 1dd4dd9efba692316c95be15acc3dbe45e8aeec1 Author: Jose Pedro Magalhaes <[email protected]> Date: Wed Nov 16 21:41:07 2011 +0100 Update outputs (error message locations) >--------------------------------------------------------------- tests/rename/should_fail/rnfail026.stderr | 2 +- tests/typecheck/should_fail/T3540.stderr | 2 +- tests/typecheck/should_fail/tcfail110.stderr | 2 +- tests/typecheck/should_fail/tcfail162.stderr | 2 +- tests/typecheck/should_fail/tcfail212.stderr | 12 ++++++++---- 5 files changed, 12 insertions(+), 8 deletions(-) diff --git a/tests/rename/should_fail/rnfail026.stderr b/tests/rename/should_fail/rnfail026.stderr index 6aa899b..775899b 100644 --- a/tests/rename/should_fail/rnfail026.stderr +++ b/tests/rename/should_fail/rnfail026.stderr @@ -1,5 +1,5 @@ -rnfail026.hs:16:17: +rnfail026.hs:16:35: Kind mis-match The first argument of `Monad' should have kind `* -> *', but `Set a' has kind `*' diff --git a/tests/typecheck/should_fail/T3540.stderr b/tests/typecheck/should_fail/T3540.stderr index d3b915c..fb711cd 100644 --- a/tests/typecheck/should_fail/T3540.stderr +++ b/tests/typecheck/should_fail/T3540.stderr @@ -1,5 +1,5 @@ -T3540.hs:4:11: +T3540.hs:4:12: Predicate `a ~ Int' used as a type Expected kind `??', but `a ~ Int' has kind `Constraint' In the type signature for `thing': thing :: a ~ Int diff --git a/tests/typecheck/should_fail/tcfail110.stderr b/tests/typecheck/should_fail/tcfail110.stderr index 2bc7918..9e001cb 100644 --- a/tests/typecheck/should_fail/tcfail110.stderr +++ b/tests/typecheck/should_fail/tcfail110.stderr @@ -1,5 +1,5 @@ -tcfail110.hs:8:19: +tcfail110.hs:8:30: `Foo a' is not applied to enough type arguments Expected kind `??', but `Foo a' has kind `* -> *' In the type signature for `bar': diff --git a/tests/typecheck/should_fail/tcfail162.stderr b/tests/typecheck/should_fail/tcfail162.stderr index d4c3903..fcc1fb5 100644 --- a/tests/typecheck/should_fail/tcfail162.stderr +++ b/tests/typecheck/should_fail/tcfail162.stderr @@ -1,5 +1,5 @@ -tcfail162.hs:10:16: +tcfail162.hs:10:33: `ForeignPtr' is not applied to enough type arguments Expected kind `??', but `ForeignPtr' has kind `* -> *' In the type `{-# UNPACK #-} !ForeignPtr' diff --git a/tests/typecheck/should_fail/tcfail212.stderr b/tests/typecheck/should_fail/tcfail212.stderr index 1e24032..c61b88c 100644 --- a/tests/typecheck/should_fail/tcfail212.stderr +++ b/tests/typecheck/should_fail/tcfail212.stderr @@ -1,8 +1,12 @@ -tcfail212.hs:10:1: - Unexpected tuple component kind: * -> * +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 `* -> *' In the type signature for `f': f :: (Maybe, Either Int) -tcfail212.hs:13:1: - Unexpected tuple component kind: # +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#) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
