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

Milan Straka fox at ucw.cz
Mon Oct 3 12:42:35 CEST 2011

> On Sun, Oct 2, 2011 at 1:47 PM, Milan Straka <fox at ucw.cz> wrote:
> > We got opinions only from the proponent and both maintainers.
> > I interpret the silence as the community being happy with the change.
> Me too. Did we settle the issue of having both .Strict and .Lazy. I think we
> should.

Sorry, I wrote only to Edward yesterday.

I agree with both .Strict and .Lazy.


More information about the Libraries mailing list