Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail179.stderr
index 0fdaead..51c66e1 100644 (file)
@@ -1,17 +1,17 @@
-
-tcfail179.hs:14:39:
-    Couldn't match expected type ‘s’ with actual type ‘x’
-      ‘x’ is a rigid type variable bound by
-          a pattern with constructor
-            T :: forall s x. (s -> (x -> s) -> (x, s, Int)) -> T s,
-          in a case alternative
-          at tcfail179.hs:14:14
-      ‘s’ is a rigid type variable bound by
-          the type signature for run :: T s -> Int at tcfail179.hs:12:8
-    Relevant bindings include
-      x :: x (bound at tcfail179.hs:14:26)
-      g :: s -> (x -> s) -> (x, s, Int) (bound at tcfail179.hs:14:16)
-      ts :: T s (bound at tcfail179.hs:13:5)
-      run :: T s -> Int (bound at tcfail179.hs:13:1)
-    In the first argument of ‘g’, namely ‘x’
-    In the expression: g x id
+\r
+tcfail179.hs:14:39:\r
+    Couldn't match expected type ‘s’ with actual type ‘x’\r
+      ‘x’ is a rigid type variable bound by\r
+          a pattern with constructor:\r
+            T :: forall s x. (s -> (x -> s) -> (x, s, Int)) -> T s,\r
+          in a case alternative\r
+          at tcfail179.hs:14:14\r
+      ‘s’ is a rigid type variable bound by\r
+          the type signature for: run :: T s -> Int at tcfail179.hs:12:8\r
+    Relevant bindings include\r
+      x :: x (bound at tcfail179.hs:14:26)\r
+      g :: s -> (x -> s) -> (x, s, Int) (bound at tcfail179.hs:14:16)\r
+      ts :: T s (bound at tcfail179.hs:13:5)\r
+      run :: T s -> Int (bound at tcfail179.hs:13:1)\r
+    In the first argument of ‘g’, namely ‘x’\r
+    In the expression: g x id\r