Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/6b9f08235f3ac4ebdef30cda00440868e710c075 >--------------------------------------------------------------- commit 6b9f08235f3ac4ebdef30cda00440868e710c075 Author: Jose Pedro Magalhaes <[email protected]> Date: Wed Nov 16 16:10:48 2011 +0000 Update outputs >--------------------------------------------------------------- tests/typecheck/should_fail/T3540.stderr | 5 +++-- tests/typecheck/should_fail/tcfail132.stderr | 4 ++-- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/tests/typecheck/should_fail/T3540.stderr b/tests/typecheck/should_fail/T3540.stderr index 348c14c..d3b915c 100644 --- a/tests/typecheck/should_fail/T3540.stderr +++ b/tests/typecheck/should_fail/T3540.stderr @@ -1,6 +1,7 @@ -T3540.hs:4:1: - Expecting an ordinary type, but found a type of kind Constraint +T3540.hs:4:11: + Predicate `a ~ Int' used as a type + Expected kind `??', but `a ~ Int' has kind `Constraint' In the type signature for `thing': thing :: a ~ Int T3540.hs:7:20: diff --git a/tests/typecheck/should_fail/tcfail132.stderr b/tests/typecheck/should_fail/tcfail132.stderr index b25f21a..14e1f8d 100644 --- a/tests/typecheck/should_fail/tcfail132.stderr +++ b/tests/typecheck/should_fail/tcfail132.stderr @@ -1,7 +1,7 @@ tcfail132.hs:17:37: Kind mis-match - The first argument of `T' should have kind `k0 -> k1 -> k2 -> *', - but `Object f' f t' has kind `k0 -> k1 -> *' + 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 synonym declaration for `LiftObject' _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
