[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Character group folding in searches
From: |
Eli Zaretskii |
Subject: |
Re: Character group folding in searches |
Date: |
Fri, 06 Feb 2015 21:03:47 +0200 |
> From: Stefan Monnier <address@hidden>
> Cc: address@hidden, address@hidden
> Date: Fri, 06 Feb 2015 13:03:12 -0500
>
> > 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. And because
matching "a" and "รก" will be hard the other way.
- Character group folding in searches, Artur Malabarba, 2015/02/06
- Re: Character group folding in searches, Stefan Monnier, 2015/02/06
- Re: Character group folding in searches, Eli Zaretskii, 2015/02/06
- Re: Character group folding in searches, Stefan Monnier, 2015/02/06
- Re: Character group folding in searches, Eli Zaretskii, 2015/02/07
- Re: Character group folding in searches, Stefan Monnier, 2015/02/07
- Re: Character group folding in searches, Eli Zaretskii, 2015/02/07