Fix error output
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 31 Oct 2012 16:17:41 +0000 (16:17 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 31 Oct 2012 16:17:41 +0000 (16:17 +0000)
testsuite/tests/typecheck/should_fail/T7264.stderr

index 8ed4ec2..31cc1df 100644 (file)
@@ -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