[PATCH] Split Data.IntMap into Data.IntMap.Strict and Data.IntMap.Lazy.
gale at sefer.org
Mon Oct 3 17:41:52 CEST 2011
Edward Z. Yang wrote:
>> Deprecates insert' and insertWith', and adds a raft of new
>> strict functions for manipulating IntMaps in Data.IntMap.Strict.
>> Auxiliary module Data.IntMap.Common for defining bit manipulation
>> and types.
> On request of Milan, this is a follow up proposal...
> There is an alternative version of this patch which Milan favors...
> Please vote yes as is, yes with Milan's modification, or no.
Yes as is.
More information about the Libraries