Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / mc22.stderr
index a394859..ec82baf 100644 (file)
@@ -1,15 +1,15 @@
-\r
-mc22.hs:10:26: error:\r
-    • Couldn't match type ‘a’ with ‘t a’\r
-      ‘a’ is a rigid type variable bound by\r
-        a type expected by the context:\r
-          forall a. [a] -> [t a]\r
-        at mc22.hs:(9,9)-(10,31)\r
-      Expected type: [a] -> [t a]\r
-        Actual type: [t a] -> [t a]\r
-    • In the expression: take 5\r
-      In a stmt of a monad comprehension: then group using take 5\r
-      In the expression:\r
-        [x + 1 | x <- ["Hello", "World"], then group using take 5]\r
-    • Relevant bindings include\r
-        foo :: [t [Char]] (bound at mc22.hs:8:1)\r
+
+mc22.hs:10:26: error:
+    • Couldn't match type ‘a’ with ‘t a’
+      ‘a’ is a rigid type variable bound by
+        a type expected by the context:
+          forall a. [a] -> [t a]
+        at mc22.hs:(9,9)-(10,31)
+      Expected type: [a] -> [t a]
+        Actual type: [t a] -> [t a]
+    • In the expression: take 5
+      In a stmt of a monad comprehension: then group using take 5
+      In the expression:
+        [x + 1 | x <- ["Hello", "World"], then group using take 5]
+    • Relevant bindings include
+        foo :: [t [Char]] (bound at mc22.hs:8:1)