Commit f814b722 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Follow improvements in kind error messages

parent b861c926
rnfail026.hs:16:16:
Kind mis-match
Expected kind `* -> *', but `Set a' has kind `*'
The first argument of `Monad' should have kind `* -> *',
but `Set a' has kind `*'
In the instance declaration for `Monad (forall a. (Eq a) => Set a)'
rnfail026.hs:19:0:
......
......@@ -7,7 +7,8 @@ tcfail113.hs:12:6:
tcfail113.hs:15:7:
Kind mis-match
Expected kind `* -> *', but `Int' has kind `*'
The first argument of `T' should have kind `* -> *',
but `Int' has kind `*'
In the type signature for `g':
g :: T Int
......
tcfail132.hs:17:36:
Kind mis-match
Expected kind `k -> k1 -> k2 -> *',
The first argument of `T' should have kind `k -> k1 -> k2 -> *',
but `Object f' f t' has kind `k -> k1 -> *'
In the type `T (Object f' f t) (DUnit t)'
In the type synonym declaration for `LiftObject'
tcfail160.hs:7:7:
Kind mis-match
Expected kind `* -> *', but `Int' has kind `*'
The first argument of `T' should have kind `* -> *',
but `Int' has kind `*'
In the type signature for `g':
g :: T Int
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment