On Thu, 31 Aug 2017 08:15 pm, Rhodri James wrote: > I'd quibble about the name and the implementation (length is not > preserved under casefolding),
Yes, I'd forgotten about that. > but I'd go for this. The number of times > I've written something like this in different languages... [...] > The only way I can think of to get much traction with this is to have a > separate case-insensitive string class. That feels a bit heavyweight, > though. You might be right about that. -- Steve “Cheer up,” they said, “things could be worse.” So I cheered up, and sure enough, things got worse. -- https://mail.python.org/mailman/listinfo/python-list
