[commit: testsuite] master: Update output (ac8ec81)
José Pedro Magalhães
jpm at cs.uu.nl
Fri Nov 25 17:53:08 CET 2011
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 <jpm at cs.uu.nl>
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
More information about the Cvs-ghc
mailing list