<div class="gmail_quote">On Sun, Nov 7, 2010 at 11:56 AM, Malcolm Wallace <span dir="ltr">&lt;<a href="mailto:malcolm.wallace@me.com">malcolm.wallace@me.com</a>&gt;</span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Option 3<br>
--------<br>
<br>
breakStr :: Text           -&gt; Text -&gt; (Text, Text)<br>
breakChr :: (Char -&gt; Bool) -&gt; Text -&gt; (Text, Text)<br>
<br>
This give neither version the short name &#39;break&#39;, but gives both<br>
reasonably short names with a suffix to indicate the character<br>
predicate vs substring.<br>
</blockquote>
<br></div>
As a compromise between options 1 &amp; 2, this option has merit.  It leaves open the possibility that the signatures of the short names might yet be decided at a later date.  If Bryan were willing to go with this option, I would certainly support it.<br>
<br></blockquote><div>+1. I too think Option 3 has merit, if only because it resolves the current logjam, and still leaves open the possibility for consensus to be reached on the short names at some point in the future without either side feeling disadvantaged -- but do we really really have to randomly abbreviate Char and String?</div>
<div><br></div><div>-Edward</div><div><br></div></div>