Re: typeof(string.front) should be char

[Timon Gehr]

On 03/03/2012 09:40 AM, Jonathan M Davis wrote:

...  but operating on
code points is _far_ more correct than operating on code units. It's also more
efficient.
[snip.]

No, it is less efficient.