Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368a.stderr
index 1316d5a..16c8326 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 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)