<div dir="ltr"><br><br><div class="gmail_quote">On Fri, Oct 10, 2008 at 6:16 AM, Richard O'Keefe <span dir="ltr"><<a href="mailto:ok@cs.otago.ac.nz">ok@cs.otago.ac.nz</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
In string.erl we find<br>
<br>
to_lower_char(C) when is_integer(C),  C >= $A, C =< $Z -><br>
     C + 32;<br>
to_lower_char(C) when is_integer(C),  C >= 16#C1, C =< 16#D6 -><br>
     C + 32;<br>
to_lower_char(C) when is_integer(C),  C >= 16#D8, C =< 16#DE -><br>
     C + 32;<br>
to_lower_char(C) -><br>
     C.<br>
<br>
to_upper_char(C) when is_integer(C),  C >= $a, C =< $z -><br>
     C - 32;<br>
to_upper_char(C) when is_integer(C),  C >= 16#E1, C =< 16#F6 -><br>
     C - 32;<br>
to_upper_char(C) when is_integer(C),  C >= 16#F8, C =< 16#FE -><br>
     C - 32;<br>
to_upper_char(C) -><br>
     C.<br>
<br>
But 16#C0 is capital A with grave,<br>
which is an upper case letter that should be converted,<br>
and to_lower_char/1 does not recognise it.<br>
I think 16#C1 should be 16#C0.<br>
<br>
And 16#E0 is lower case A with grave,<br>
which is a lower case letter that should be converted,<br>
but to_upper_char/1 does not recognise it.<br>
I think 16#E1 should be 16#E0.<br>
</blockquote><div><br>Thanks for pointing this out.<br><br>We will correct this problem in R12B-5.<br><br>/Bjorn<br> </div></div><br>-- <br>Björn Gustavsson, Erlang/OTP, Ericsson AB<br>
</div>