Add kind equalities to GHC.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail070.stderr
index d98857d..6236947 100644 (file)
@@ -1,5 +1,6 @@
 
 tcfail070.hs:15:15:
-    ‘[Int]’ is applied to too many type arguments
+    Expecting one fewer argument to ‘[Int]’
+    Expected kind ‘* -> k0’, but ‘[Int]’ has kind ‘*’
     In the type ‘[Int] Bool’
     In the type declaration for ‘State’