<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">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">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.<wbr>de/</a><br>
<br>______________________________<wbr>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">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-<wbr>bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div></div>