Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368a.stderr
index e9a9344..7ee59e1 100644 (file)
@@ -1,10 +1,12 @@
-\r
-T7368a.hs:8:6:\r
-    Couldn't match kind ‛* -> *’ with ‛*’\r
-    When matching types\r
-      Bad :: (* -> *) -> *\r
-      f :: * -> *\r
-    Expected type: f (Bad f)\r
-      Actual type: Bad t0\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