Re: Character group folding in searches

[Stefan Monnier]

>> > subset of folding.  A character whose folding is not a single
>> > character should map to a vector or a string of characters (not sure
>> > which one is best, we should choose the one that lends itself to the
>> > most efficient use).
>> So "folding" can turn a single char into a sequence of chars?  Why not
>> do it the other way?
> Because the other way you cannot use char-tables.

I don't see how turning single chars into char-sequences can help us
handle multi-char sequences (unless maybe you restrict it so that there
can only ever be one such sequence per equivalence class?).

> And because matching "a" and "á" will be hard the other way.

I don't see what's hard about it: map them both to the same char (e.g. ?a).


        Stefan