tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail076.stderr
index 5e8361a..546715a 100644 (file)
@@ -1,17 +1,19 @@
 
-tcfail076.hs:18:82:
-    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
-      `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 :: a -> m res (bound at tcfail076.hs:18:37)
-      cont' :: b -> m res1 (bound at tcfail076.hs:18:73)
-    In the return type of a call of `cont'
-    In the expression: cont a
-    In the first argument of `KContT', namely `(\ cont' -> cont a)'
+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:
+          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:
+          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)