diff --git a/ghc/tests/reader/should_fail/read001.stdout b/ghc/tests/reader/should_fail/read001.stdout
index 54141df0f537ea9b97dc7e01a1895247fe8113b7..a4589a96a54ecb37c327097572dd9a51d7d6f41c 100644
--- a/ghc/tests/reader/should_fail/read001.stdout
+++ b/ghc/tests/reader/should_fail/read001.stdout
@@ -9,12 +9,8 @@ import Prelude
 import IO (putStr)
 import System hiding (getArgs)
 import Monad
-bindwith ::
-    {- implicit forall -} (OrdClass a, OrdClass b) => a -> b -> b
-g ::
-    {- implicit forall -}
-    (Num a, Eq b) =>
-    Foo a -> [b] -> (a, a, a) -> b
+bindwith :: (OrdClass a, OrdClass b) => a -> b -> b
+g :: (Num a, Eq b) => Foo a -> [b] -> (a, a, a) -> b
 g x y z = head y
 f _
   x
@@ -44,8 +40,7 @@ expr a b c d
 	  + ([z | z <- c, isSpace z]))
 	 + (let y = foo
 	    in
-	      (((((((y + [1, 2, 3, 4]) + (4, 3, 2, 1))
-		   + (4 :: {- implicit forall -} (Num a) => a))
+	      (((((((y + [1, 2, 3, 4]) + (4, 3, 2, 1)) + (4 :: (Num a) => a))
 		  + (if 42 == 42.0 then 1 else 4))
 		 + ([1 .. ]))
 		+ ([2, 4 .. ]))
@@ -73,21 +68,14 @@ fixn x y = x
 infix 6 fixn
 infixl 7 +#
 infixr 8 fixr
-type Pair a b = {- implicit forall -} (a, b)
-data FooData = forall. FooCon Int
-data FooDataB = forall. FooConB Double
-data (Eq a) => EqTree a =
-    forall. EqLeaf a | forall. EqBranch (EqLeaf a) (EqLeaf a)
-class (Eq a) => EqClass a where {
-    eqc :: {- implicit forall -} a -> Char;
-    eqc x = '?'
-    }
+type Pair a b = (a, b)
+data FooData = FooCon Int
+data FooDataB = FooConB Double
+data (Eq a) => EqTree a = EqLeaf a | EqBranch (EqLeaf a) (EqLeaf a)
+class (Eq a) => EqClass a where { eqc :: a -> Char; eqc x = '?' }
 class (Ord a) => OrdClass a where {
-    orda :: {- implicit forall -} a -> Char;
-    ordb :: {- implicit forall -} a -> Char;
-    ordc :: {- implicit forall -} a -> Char;
-    }
-instance {- implicit forall -} (Eq a) => EqClass (EqTree a) where
+    orda :: a -> Char; ordb :: a -> Char; ordc :: a -> Char; }
+instance (Eq a) => {EqClass (EqTree a)} where
     []
     eqc x = 'a'
 default (Rational, Integer)
diff --git a/ghc/tests/reader/should_fail/read007.stdout b/ghc/tests/reader/should_fail/read007.stdout
index 47db6c8d2a426b48aadcf92720fb3db95a6f11a5..c91365d679f616abf6853279bb5c8e15fc2c2586 100644
--- a/ghc/tests/reader/should_fail/read007.stdout
+++ b/ghc/tests/reader/should_fail/read007.stdout
@@ -1,7 +1,7 @@
 
 ==================== Parser ====================
 module ShouldFail where
-f :: {- implicit forall -} Int -> IO Int
+f :: Int -> IO Int
 f x = do
 	(2 + 2) <- 2
 	return x