Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368a.stderr
index db0f69f..16c8326 100644 (file)
@@ -1,10 +1,12 @@
-\r
-T7368a.hs:8:6:\r
-    Couldn't match kind `*' with `* -> *'\r
-    When matching types\r
-      f :: * -> *\r
-      Bad :: (* -> *) -> *\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 w0
+    • In the pattern: Bad x
+      In an equation for ‘fun’: fun (Bad x) = True
+    • Relevant bindings include
+        fun :: f (Bad f) -> Bool (bound at T7368a.hs:8:1)