<div dir="auto">Interesting! I look forward to seeing more. One possible twist would be to wrap the re-exported types in newtype wrappers to hide the unverified instances, perhaps in a separate Wrapped module. But that might be more trouble than it's worth. When you get to it, there are some hard-coded size limits in Data.Map.alterF for word sizes below 61 bits that I would *love* to see checked formally; I trust those less than pretty much anything else in the package, and testing them is hard.</div><div class="gmail_extra"><br><div class="gmail_quote">On Feb 8, 2018 6:21 PM, "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 Donnerstag, den 01.02.2018, 23:01 -0500 schrieb Joachim Breitner:<br>
> A viable approach might be a containers-verified package that depends<br>
> on a precise version of containers and re-exports the verified subset<br>
> of containers. It might lag a few versions behind, but for something<br>
> stable like containers, that might still be useful for people who want<br>
> bragging rights about using verified code.<br>
<br>
here is how this could look like:<br>
<a href="https://hackage.haskell.org/package/containers-verified-0.5.11.0/candidate" rel="noreferrer" target="_blank">https://hackage.haskell.org/<wbr>package/containers-verified-0.<wbr>5.11.0/candidate</a><br>
<a href="https://github.com/nomeata/containers-verified" rel="noreferrer" target="_blank">https://github.com/nomeata/<wbr>containers-verified</a><br>
<br>
I hope that we can extend the covered API somemore in the next weeks :-)<br>
<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>