1 files changed, 9 insertions, 7 deletions
diff --git a/testsuite/tests/polykinds/T9144.stderr b/testsuite/tests/polykinds/T9144.stderr
index f2c65530ee..b62d1f175d 100644
--- a/testsuite/tests/polykinds/T9144.stderr
+++ b/testsuite/tests/polykinds/T9144.stderr
@@ -1,7 +1,9 @@
-
-T9144.hs:34:26:
-    Couldn't match type ‘Integer’ with ‘FooTerm’
-    Expected type: DemoteRep 'KProxy
-      Actual type: DemoteRep 'KProxy
-    In the first argument of ‘toSing’, namely ‘n’
-    In the expression: toSing n
+
+T9144.hs:34:26: error:
+    • Couldn't match type ‘Integer’ with ‘FooTerm’
+      Expected type: DemoteRep 'KProxy
+        Actual type: DemoteRep 'KProxy
+    • In the first argument of ‘toSing’, namely ‘n’
+      In the expression: toSing n
+      In the expression:
+        case toSing n of { SomeSing n' -> SomeSing (SBar n') }