1 files changed, 18 insertions, 35 deletions
diff --git a/testsuite/tests/rename/should_compile/T4426.stderr b/testsuite/tests/rename/should_compile/T4426.stderr
index f4e0c471d6..f731f3544d 100644
--- a/testsuite/tests/rename/should_compile/T4426.stderr
+++ b/testsuite/tests/rename/should_compile/T4426.stderr
@@ -1,35 +1,18 @@
-
-T4426.hs:6:12: Warning:
-    Variable ‘m’ is implicitly quantified due to a context
-    Use explicit forall syntax instead.
-    This will become an error in GHC 7.12.
-    In the type ‘Monad m => a -> m a’
-    In the declaration for type synonym ‘F’
-
-T4426.hs:8:15: Warning:
-    Variable ‘b’ is implicitly quantified due to a context
-    Use explicit forall syntax instead.
-    This will become an error in GHC 7.12.
-    In the type ‘Eq b => a -> b’
-    In the definition of data constructor ‘X’
-
-T4426.hs:10:21: Warning:
-    Variable ‘b’ is implicitly quantified due to a context
-    Use explicit forall syntax instead.
-    This will become an error in GHC 7.12.
-    In the type ‘Eq b => a -> b -> c’
-    In the definition of data constructor ‘Y’
-
-T4426.hs:10:21: Warning:
-    Variable ‘c’ is implicitly quantified due to a context
-    Use explicit forall syntax instead.
-    This will become an error in GHC 7.12.
-    In the type ‘Eq b => a -> b -> c’
-    In the definition of data constructor ‘Y’
-
-T4426.hs:12:17: Warning:
-    Variable ‘m’ is implicitly quantified due to a context
-    Use explicit forall syntax instead.
-    This will become an error in GHC 7.12.
-    In the type ‘Monad m => m b’
-    In the type signature for ‘f’
+
+T4426.hs:11:18: error: Not in scope: type variable ‘m’
+
+T4426.hs:11:28: error: Not in scope: type variable ‘m’
+
+T4426.hs:13:18: error: Not in scope: type variable ‘b’
+
+T4426.hs:13:28: error: Not in scope: type variable ‘b’
+
+T4426.hs:15:24: error: Not in scope: type variable ‘b’
+
+T4426.hs:15:34: error: Not in scope: type variable ‘b’
+
+T4426.hs:15:39: error: Not in scope: type variable ‘c’
+
+T4426.hs:17:23: error: Not in scope: type variable ‘m’
+
+T4426.hs:17:28: error: Not in scope: type variable ‘m’