Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/99cfb6af2391c88f224312b4b5aa9cfa07f05755 >--------------------------------------------------------------- commit 99cfb6af2391c88f224312b4b5aa9cfa07f05755 Author: Simon Peyton Jones <simo...@microsoft.com> Date: Mon Dec 5 04:52:58 2011 +0000 Track error message changes >--------------------------------------------------------------- tests/typecheck/should_fail/tcfail174.stderr | 16 +++++++++++----- 1 files changed, 11 insertions(+), 5 deletions(-) diff --git a/tests/typecheck/should_fail/tcfail174.stderr b/tests/typecheck/should_fail/tcfail174.stderr index b9bdb0a..cf8c4cc 100644 --- a/tests/typecheck/should_fail/tcfail174.stderr +++ b/tests/typecheck/should_fail/tcfail174.stderr @@ -7,16 +7,22 @@ tcfail174.hs:9:10: In an equation for `g': g = Base id tcfail174.hs:13:14: - Couldn't match expected type `forall x. x -> a0' - with actual type `forall a. a -> a' - Expected type: Capture (forall x. x -> a0) + Couldn't match type `a' with `a1' + `a' is a rigid type variable bound by + the inferred type of h1 :: Capture a at tcfail174.hs:13:1 + `a1' is a rigid type variable bound by + the type forall a. a -> a at tcfail174.hs:13:14 + Expected type: Capture (forall x. x -> a) Actual type: Capture (forall a. a -> a) In the first argument of `Capture', namely `g' In the expression: Capture g tcfail174.hs:16:14: - Couldn't match expected type `forall x. x -> b' - with actual type `forall a. a -> a' + Couldn't match type `a' with `b' + `a' is a rigid type variable bound by + the type forall a. a -> a at tcfail174.hs:16:14 + `b' is a rigid type variable bound by + the type signature for h2 :: Capture b at tcfail174.hs:16:1 Expected type: Capture (forall x. x -> b) Actual type: Capture (forall a. a -> a) In the first argument of `Capture', namely `g' _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
