type of IntMap.intersection[WithKey] is incorrect
IntMap.intersectionWith has declared type (a -> b -> a) -> IntMap a -> IntMap b -> IntMap a but the true type, correctly inferred by the compiler, is (a -> b -> c) -> IntMap a -> IntMap b -> IntMap c. This is also the type of the analogous function in the Data.Map library. This broader type signature is necessary for "zipping" maps, i.e. intersectionWith (,).
See list post : http://www.haskell.org/pipermail/libraries/2008-May/009677.html
Trac metadata
| Trac field | Value |
|---|---|
| Version | 6.8.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | libraries (other) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |