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