Type error says that tuple components have kind (* -> *)
Prelude Data.Map> :kind (,)
(,) :: * -> * -> *
The following type error says that the second argument to (,)
should have kind * -> *
, which isn't true.
Prelude> :m +Data.Map
Prelude Data.Map> :kind (Map Int, Int)
<interactive>:1:11:
The second argument of a tuple should have kind `* -> *',
but `Int' has kind `*'
In a type in a GHCi command: (Map Int, Int)
Now it can't make up its mind:
Prelude Data.Map> :kind (Int, Map Int)
<interactive>:1:7:
Expecting one more argument to `Map Int'
The second argument of a tuple should have kind `*',
but `Map Int' has kind `* -> *'
In a type in a GHCi command: (Int, Map Int)
Trac metadata
Trac field | Value |
---|---|
Version | 7.6.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler (Type checker) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |