tests: remove extra_files.py (#12223)

[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail076.stderr

diff --git a/testsuite/tests/typecheck/should_fail/tcfail076.stderr b/testsuite/tests/typecheck/should_fail/tcfail076.stderr
index b5ad5cd..546715a 100644 (file)
--- a/testsuite/tests/typecheck/should_fail/tcfail076.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail076.stderr
@@ -1,16 +1,19 @@
 
-tcfail076.hs:18:82:
-    Couldn't match type ‘res’ with ‘res1’
+tcfail076.hs:18:82: error:
+    • Couldn't match type ‘res’ with ‘res1’
       ‘res’ is a rigid type variable bound by
-            a type expected by the context: (a -> m res) -> m res
-            at tcfail076.hs:18:28
+        a type expected by the context:
+          forall res. (a -> m res) -> m res
+        at tcfail076.hs:18:28-96
       ‘res1’ is a rigid type variable bound by
-             a type expected by the context: (b -> m res1) -> m res1
-             at tcfail076.hs:18:64
-    Expected type: m res1
-      Actual type: m res
-    Relevant bindings include
-      cont' :: b -> m res1 (bound at tcfail076.hs:18:73)
-      cont :: a -> m res (bound at tcfail076.hs:18:37)
-    In the expression: cont a
-    In the first argument of ‘KContT’, namely ‘(\ cont' -> cont a)’
+        a type expected by the context:
+          forall res1. (b -> m res1) -> m res1
+        at tcfail076.hs:18:64-88
+      Expected type: m res1
+        Actual type: m res
+    • In the expression: cont a
+      In the first argument of ‘KContT’, namely ‘(\ cont' -> cont a)’
+      In the expression: KContT (\ cont' -> cont a)
+    • Relevant bindings include
+        cont' :: b -> m res1 (bound at tcfail076.hs:18:73)
+        cont :: a -> m res (bound at tcfail076.hs:18:37)