Data.IntMap: intersection function not sufficiently polymorphic
Ian Lynagh
igloo at earth.li
Fri Sep 11 19:24:50 EDT 2009
On Fri, Sep 11, 2009 at 08:00:25PM +0200, Axel Simon wrote:
>
> intersectionWith :: (a -> b -> a) -> IntMap a -> IntMap b -> IntMap a
>
> in Data.IntMap creates a map of elements that occur in both maps. This
> function can and should return a map of an arbitrary third type:
>
> intersectionWith :: (a -> b -> c) -> IntMap a -> IntMap b -> IntMap c
Thanks for the report; this is already fixed in the HEAD by:
Thu Oct 2 15:48:28 BST 2008 sedillard at gmail.com
* correct type for IntMap.intersectionWith[Key]
Thanks
Ian
More information about the Libraries
mailing list