Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/1f90713c58a284b43447da08d5b43d5df24f8024 >--------------------------------------------------------------- commit 1f90713c58a284b43447da08d5b43d5df24f8024 Author: Simon Peyton Jones <simo...@microsoft.com> Date: Wed Oct 31 16:17:41 2012 +0000 Fix error output >--------------------------------------------------------------- tests/typecheck/should_fail/T7264.stderr | 4 ---- 1 files changed, 0 insertions(+), 4 deletions(-) diff --git a/tests/typecheck/should_fail/T7264.stderr b/tests/typecheck/should_fail/T7264.stderr index 8ed4ec2..31cc1df 100644 --- a/tests/typecheck/should_fail/T7264.stderr +++ b/tests/typecheck/should_fail/T7264.stderr @@ -1,10 +1,6 @@ T7264.hs:13:19: Couldn't match type `a' with `forall r. r -> String' - `a' is untouchable - inside the constraints () - bound by the inferred type of mkFoo2 :: a -> Maybe Foo - at T7264.hs:13:1-32 `a' is a rigid type variable bound by the inferred type of mkFoo2 :: a -> Maybe Foo at T7264.hs:13:1 Expected type: a -> Foo _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc