I would mind, for the reason I just outlined :-)<br><br><div class="gmail_quote">On Thu, Sep 20, 2012 at 5:59 PM, Bas van Dijk <span dir="ltr">&lt;<a href="mailto:v.dijk.bas@gmail.com" target="_blank">v.dijk.bas@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 20 September 2012 17:57, Bas van Dijk &lt;<a href="mailto:v.dijk.bas@gmail.com">v.dijk.bas@gmail.com</a>&gt; wrote:<br>

&gt; toLower :: Word8 -&gt; Word8<br>
&gt; toLower w<br>
&gt;   |  65 &lt;= w &amp;&amp; w &lt;=  90 ||<br>
&gt;     192 &lt;= w &amp;&amp; w &lt;= 214 ||<br>
&gt;     216 &lt;= w &amp;&amp; w &lt;= 222 = w + 32<br>
&gt;   | otherwise            = w<br>
<br>
</div>BTW if nobody minds the extra dependency, I would probably accept a<br>
patch that replaces these numbers by nicer looking symbols from your<br>
word8 package.<br>
</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;<br>