<div dir="ltr">Today is the deadline for reviews. As Mark summarized over the weekend, looks like the consensus is &quot;+1&quot; with the possible exception that case-insensitive depends on hashable which hasn&#39;t yet been proposed for the platform. IIRC Johan has some plans to release a hashable-1.3 very soon that will resolve some of the many issues, performance-related and otherwise, that people had with hashable-1.2, and I don&#39;t think that we should propose hashable for the platform until this is done.<div>
<br></div><div style>So my feeling is: that leaves the status of the case-insensitive proposal as &quot;accepted, pending inclusion of hashable&quot;.</div><div style><br></div><div style>G</div></div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Fri, Jan 11, 2013 at 9:00 PM, Gregory Collins <span dir="ltr">&lt;<a href="mailto:greg@gregorycollins.net" target="_blank">greg@gregorycollins.net</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">Hi all,<div><br></div><div>First: Bas, would you support making case-insensitive a Haskell platform package?<div><br></div><div>Assuming you say yes, I&#39;d like to propose it for inclusion in the Haskell platform. The wiki page for this proposal is here:</div>

<div><br></div><div>    <a href="http://trac.haskell.org/haskell-platform/wiki/Proposals/case-insensitive" target="_blank">http://trac.haskell.org/haskell-platform/wiki/Proposals/case-insensitive</a><br clear="all"><div>
<br></div><div>
And the case-insensitive package can be found on Hackage:</div><div><br></div><div>    <a href="http://hackage.haskell.org/package/case-insensitive" target="_blank">http://hackage.haskell.org/package/case-insensitive</a></div>

<div><br></div><div>If Bas is not willing to have case-insensitive be a platform package I will rescind the proposal.</div><div><br></div><div>Any proposals for deadlines? Mark?</div><span class="HOEnZb"><font color="#888888">-- <br>
Gregory Collins &lt;<a href="mailto:greg@gregorycollins.net" target="_blank">greg@gregorycollins.net</a>&gt;
</font></span></div></div></div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>Gregory Collins &lt;<a href="mailto:greg@gregorycollins.net" target="_blank">greg@gregorycollins.net</a>&gt;
</div>