---------- Forwarded message ----------
From: "David Feuer" <david.feuer@gmail.com>
Date: Jan 22, 2018 1:42 PM
Subject: Re: generalized IntMap - IntegerMap or IntegralMap
To: "Oliver Charles" <ollie@ocharles.org.uk>
Cc:

That would help, in theory. But backpack is a bleeding-edge experimental GHC feature, and containers has a long history of striving for relative portability. So for now we need to stick to CPP and whatever other widely-available preprocessors we want.

On Jan 22, 2018 1:38 PM, "Oliver Charles" <ollie@ocharles.org.uk> wrote:
Would backpack be at all useful here? Seems you want to parameterise the map by choice of numeric type.

On 22 Jan 2018 3:59 pm, "David Feuer" <david.feuer@gmail.com> wrote:
I wish I knew. There are some loose ends that need to be tied up and unfortunately I have no sense of whether that's happening.

On Jan 22, 2018 10:54 AM, "Joachim Breitner" <mail@joachim-breitner.de> wrote:
Hi,

Am Montag, den 22.01.2018, 04:05 -0500 schrieb David Feuer:
> Jonathan S. has been working (on and off) on a wholesale replacement for IntMap.

what is the plan here? I am currently in the process of formally
verifying IntSet (and later IntMap), so I am curious about what is
going to change here.

Cheers,
Joachim

--
Joachim Breitner
  mail@joachim-breitner.de
  http://www.joachim-breitner.de/

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries


_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries