Fwd: Re: generalized IntMap - IntegerMap or IntegralMap

[David Feuer]

---------- Forwarded message ----------
From: "David Feuer" <david.feuer at gmail.com>
Date: Jan 22, 2018 1:42 PM
Subject: Re: generalized IntMap - IntegerMap or IntegralMap
To: "Oliver Charles" <ollie at 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 at 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 at 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 at 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 at joachim-breitner.de
>>>   http://www.joachim-breitner.de/
>>>
>>> _______________________________________________
>>> Libraries mailing list
>>> Libraries at haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>>
>>>
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>
>>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20180122/b50aa440/attachment.html>