1 files changed, 12 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail175.stderr b/testsuite/tests/typecheck/should_fail/tcfail175.stderr
index 50a2424fcc..82da98bc0c 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail175.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail175.stderr
@@ -1,10 +1,12 @@
-
-tcfail175.hs:11:1:
-    Couldn't match expected type ‘String -> String -> String’
-                with actual type ‘a’
-      ‘a’ is a rigid type variable bound by
-          the type signature for: evalRHS :: Int -> a at tcfail175.hs:10:12
-    The equation(s) for ‘evalRHS’ have three arguments,
-    but its type ‘Int -> a’ has only one
-    Relevant bindings include
-      evalRHS :: Int -> a (bound at tcfail175.hs:11:1)
+
+tcfail175.hs:11:1: error:
+    • Couldn't match expected type ‘String -> String -> String’
+                  with actual type ‘a’
+      ‘a’ is a rigid type variable bound by
+        the type signature for:
+          evalRHS :: forall a. Int -> a
+        at tcfail175.hs:10:12
+    • The equation(s) for ‘evalRHS’ have three arguments,
+      but its type ‘Int -> a’ has only one
+    • Relevant bindings include
+        evalRHS :: Int -> a (bound at tcfail175.hs:11:1)