Add kind equalities to GHC.
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368.stderr
index b4e1042..1c538ac 100644 (file)
@@ -1,9 +1,6 @@
 
-T7368.hs:3:10:
-    Kind incompatibility when matching types:
-      c0 :: (* -> *) -> *
-      (->) a0 :: * -> *
-    Expected type: a0 -> b0
-      Actual type: c0 Maybe
-    In the first argument of ‛b’, namely ‛(l Nothing)’
-    In the expression: b (l Nothing)
+T7368.hs:3:10: error:
+    • Couldn't match kind ‘*’ with ‘* -> *’
+      When matching the kind of ‘Maybe’
+    • In the first argument of ‘b’, namely ‘(l Nothing)’
+      In the expression: b (l Nothing)