1 files changed, 15 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail206.stderr b/testsuite/tests/typecheck/should_fail/tcfail206.stderr
index 5090ee165f..687619c9eb 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail206.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail206.stderr
@@ -1,22 +1,24 @@
 
-tcfail206.hs:5:5:
+tcfail206.hs:5:5: error:
     Couldn't match type ‘Bool’ with ‘Int’
     Expected type: Bool -> (Int, Bool)
       Actual type: Bool -> (Bool, Bool)
     In the expression: (, True)
     In an equation for ‘a’: a = (, True)
 
-tcfail206.hs:8:5:
+tcfail206.hs:8:5: error:
     Couldn't match type ‘(Integer, Int)’ with ‘Bool -> (Int, Bool)’
     Expected type: Int -> Bool -> (Int, Bool)
       Actual type: Int -> (Integer, Int)
     In the expression: (1,)
     In an equation for ‘b’: b = (1,)
 
-tcfail206.hs:11:5:
+tcfail206.hs:11:5: error:
     Couldn't match type ‘a’ with ‘Bool’
-      ‘a’ is a rigid type variable bound by
-          the type signature for: c :: a -> (a, Bool) at tcfail206.hs:10:6
+    ‘a’ is a rigid type variable bound by
+    the type signature for:
+      c :: forall a. a -> (a, Bool)
+    at tcfail206.hs:10:6
     Expected type: a -> (a, Bool)
       Actual type: a -> (a, a)
     In the expression: (True || False,)
@@ -24,25 +26,27 @@ tcfail206.hs:11:5:
     Relevant bindings include
       c :: a -> (a, Bool) (bound at tcfail206.hs:11:1)
 
-tcfail206.hs:14:5:
+tcfail206.hs:14:5: error:
     Couldn't match type ‘Bool’ with ‘Int’
     Expected type: Bool -> (# Int, Bool #)
       Actual type: Bool -> (# Bool, Bool #)
     In the expression: (# , True #)
     In an equation for ‘d’: d = (# , True #)
 
-tcfail206.hs:17:5:
+tcfail206.hs:17:5: error:
     Couldn't match type ‘(# Integer, Int #)’
-                  with ‘Bool -> (# Int, Bool #)’
+                   with ‘Bool -> (# Int, Bool #)’
     Expected type: Int -> Bool -> (# Int, Bool #)
       Actual type: Int -> (# Integer, Int #)
     In the expression: (# 1, #)
     In an equation for ‘e’: e = (# 1, #)
 
-tcfail206.hs:20:5:
+tcfail206.hs:20:5: error:
     Couldn't match type ‘a’ with ‘Bool’
-      ‘a’ is a rigid type variable bound by
-          the type signature for: f :: a -> (# a, Bool #) at tcfail206.hs:19:6
+    ‘a’ is a rigid type variable bound by
+    the type signature for:
+      f :: forall a. a -> (# a, Bool #)
+    at tcfail206.hs:19:6
     Expected type: a -> (# a, Bool #)
       Actual type: a -> (# a, a #)
     In the expression: (# True || False, #)