23 Mar
2020
23 Mar
'20
5:20 p.m.
On Mon, Mar 23, 2020 at 10:40 PM Richard Damon
On 3/23/20 4:33 AM, Chris Angelico wrote:
On Mon, Mar 23, 2020 at 7:06 PM Alex Hall
wrote: I think I'm missing something, why is case insensitivity a mess?
Because there are many characters that case fold in strange ways.
The issue is that cases in Unicode are difficult, and can be locale dependent (Unicode calls this Tailoring).
Right, which is why for a proposal like this, it's best to start with the simple and straight-forward option of case sensitivity and precise matching. Removing a prefix of "a\u0301" will not remove a leading "\xe1" and vice versa (just as those two strings don't compare equal). ChrisA