Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368a.stderr
index 1316d5a..7ee59e1 100644 (file)
@@ -1,11 +1,12 @@
-\r
-T7368a.hs:8:6:\r
-    Couldn't match type ‘f’ with ‘Bad’\r
-      ‘f’ is a rigid type variable bound by\r
-          the type signature for fun :: f (Bad f) -> Bool at T7368a.hs:7:15\r
-    Expected type: f (Bad f)\r
-      Actual type: Bad t0\r
-    Relevant bindings include\r
-      fun :: f (Bad f) -> Bool (bound at T7368a.hs:8:1)\r
-    In the pattern: Bad x\r
-    In an equation for ‘fun’: fun (Bad x) = True\r
+
+T7368a.hs:8:6: error:
+    Couldn't match kind ‘*’ with ‘* -> *’
+    When matching types
+      f :: * -> *
+      Bad :: (* -> *) -> *
+    Expected type: f (Bad f)
+      Actual type: Bad t0
+    Relevant bindings include
+      fun :: f (Bad f) -> Bool (bound at T7368a.hs:8:1)
+    In the pattern: Bad x
+    In an equation for ‘fun’: fun (Bad x) = True