tests: remove extra_files.py (#12223)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail076.stderr
index bee39a2..546715a 100644 (file)
@@ -1,19 +1,19 @@
-\r
-tcfail076.hs:18:82: error:\r
-    • Couldn't match type ‘res’ with ‘res1’\r
-      ‘res’ is a rigid type variable bound by\r
-        a type expected by the context:\r
-          forall res. (a -> m res) -> m res\r
-        at tcfail076.hs:18:28-96\r
-      ‘res1’ is a rigid type variable bound by\r
-        a type expected by the context:\r
-          forall res1. (b -> m res1) -> m res1\r
-        at tcfail076.hs:18:64-88\r
-      Expected type: m res1\r
-        Actual type: m res\r
-    • In the expression: cont a\r
-      In the first argument of ‘KContT’, namely ‘(\ cont' -> cont a)’\r
-      In the expression: KContT (\ cont' -> cont a)\r
-    • Relevant bindings include\r
-        cont' :: b -> m res1 (bound at tcfail076.hs:18:73)\r
-        cont :: a -> m res (bound at tcfail076.hs:18:37)\r
+
+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)