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

Reply via email to