<div dir="auto"></div><div class="gmail_quote">---------- Forwarded message ----------<br>From: "David Feuer" <<a href="mailto:david.feuer@gmail.com">david.feuer@gmail.com</a>><br>Date: Jan 22, 2018 1:42 PM<br>Subject: Re: generalized IntMap - IntegerMap or IntegralMap<br>To: "Oliver Charles" <<a href="mailto:ollie@ocharles.org.uk">ollie@ocharles.org.uk</a>><br>Cc: <br><br type="attribution"><div dir="auto">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.</div><div class="gmail_extra"><br><div class="gmail_quote">On Jan 22, 2018 1:38 PM, "Oliver Charles" <<a href="mailto:ollie@ocharles.org.uk" target="_blank">ollie@ocharles.org.uk</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">Would backpack be at all useful here? Seems you want to parameterise the map by choice of numeric type.</div><div class="gmail_extra"><br><div class="gmail_quote">On 22 Jan 2018 3:59 pm, "David Feuer" <<a href="mailto:david.feuer@gmail.com" target="_blank">david.feuer@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">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.</div><div class="gmail_extra"><br><div class="gmail_quote">On Jan 22, 2018 10:54 AM, "Joachim Breitner" <<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
Am Montag, den 22.01.2018, 04:05 -0500 schrieb David Feuer:<br>
> Jonathan S. has been working (on and off) on a wholesale replacement for IntMap.<br>
<br>
what is the plan here? I am currently in the process of formally<br>
verifying IntSet (and later IntMap), so I am curious about what is<br>
going to change here.<br>
<br>
Cheers,<br>
Joachim<br>
<br>
--<br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de<wbr>/</a><br>
<br>______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/libraries</a><br>
<br></blockquote></div></div>
<br>______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/libraries</a><br>
<br></blockquote></div></div>
</blockquote></div></div>
</div>