[PATCH] Split Data.IntMap into Data.IntMap.Strict and Data.IntMap.Lazy.

Yitzchak Gale 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.

-Yitz



More information about the Libraries mailing list