Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/ac8ec8101e19006da85b05ae04f6757c7d757721 >--------------------------------------------------------------- commit ac8ec8101e19006da85b05ae04f6757c7d757721 Author: Jose Pedro Magalhaes <[email protected]> Date: Thu Nov 24 15:37:54 2011 +0000 Update output >--------------------------------------------------------------- tests/typecheck/should_fail/tcfail209.stderr | 7 +++---- 1 files changed, 3 insertions(+), 4 deletions(-) diff --git a/tests/typecheck/should_fail/tcfail209.stderr b/tests/typecheck/should_fail/tcfail209.stderr index 2101c99..ba90b2d 100644 --- a/tests/typecheck/should_fail/tcfail209.stderr +++ b/tests/typecheck/should_fail/tcfail209.stderr @@ -4,9 +4,8 @@ tcfail209.hs:5:1: (Use -XConstraintKinds to permit this) In the type signature for `f': f :: Showish a => a -> a -tcfail209.hs:8:8: - Predicate `Show a' used as a type - The first argument of a tuple should have kind `*', - but `Show a' has kind `Constraint' +tcfail209.hs:8:1: + Illegal tuple constraint (Show a, Num a) + (Use -XConstraintKinds to permit this) In the type signature for `g': g :: ((Show a, Num a), Eq a) => a -> a _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
