-
Simon Peyton Jones authored
A long-standing improvement to the error message for kinds. Now instead of Expected kind `* -> *', but `Int' has kind `*' we get The first argument of `T' should have kind `* -> *', but `Int' has kind `*' Ha!
9a4ef343
A long-standing improvement to the error message for kinds. Now instead of Expected kind `* -> *', but `Int' has kind `*' we get The first argument of `T' should have kind `* -> *', but `Int' has kind `*' Ha!