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

Follow improvement in kind-error message

parent a740ece8
tcfail136.hs:9:35:
`SymDict' is not applied to enough type arguments
Expected kind `?', but `SymDict' has kind `k -> *'
Expected kind `?', but `SymDict' has kind `* -> *'
In the type `SymDict'
In the definition of data constructor `SymTable'
In the data type declaration for `SymTable'
tcfail151.hs:7:6:
`Name a' is not applied to enough type arguments
Expected kind `?', but `Name a' has kind `k -> *'
Expected kind `?', but `Name a' has kind `* -> *'
In the data type declaration for `Exp'
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