>> Does anybody need to sort ASCII-case-folded strings?
>> * ascii-ci<?
>> * ascii-string-ci<?
> Sure. The advantage of them is that they can be done by arithmetic without
> a lookup table, and thus presumably faster.
Can you list which case-insensitive procedures would be useful? Is <
enough or are <= and > and >= and = useful for something as well?
What about case-sensitive comparison procedures - is it enough to have
the Unicode ones? ASCII ones would normally give the same results as the
Unicode-aware ones, but are there some Unicode gotchas that would be
avoided by the simple ASCII versions?