On Mon, Mar 23, 2020 at 10:40 PM Richard Damon <[email protected]> wrote: > > On 3/23/20 4:33 AM, Chris Angelico wrote: > > On Mon, Mar 23, 2020 at 7:06 PM Alex Hall <[email protected]> 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 _______________________________________________ Python-ideas mailing list -- [email protected] To unsubscribe send an email to [email protected] https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/[email protected]/message/T6CRBECJAZZBDTAECBCCFEPQKYEFRB4S/ Code of Conduct: http://python.org/psf/codeofconduct/
