--- Begin Message ---
Subject: |
[PATCH] fix mismatch between dfa and regex for treatment of titlecase |
Date: |
Sun, 02 Mar 2014 09:32:38 +0900 |
Package: grep
Tags: patch
I found difference between dfa and regex (glibc) treatment of titlecase.
In case-insensitive matching in UTF8 locale, U+01C7 (LATIN CAPITAL LETTER
LJ) matches with U+01C8 (LATIN CAPITAL LETTER L WITH SMALL LETTER J on
regex, but it doesn't on dfa.
The patch fixes mismatch between dfa and regex for treatment of titlecase.
Norihiro
patch.txt
Description: Binary data
tests.txt
Description: Binary data
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#16919: [PATCH] fix mismatch between dfa and regex for treatment of titlecase |
Date: |
Fri, 07 Mar 2014 18:33:50 -0800 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.3.0 |
Jim Meyering wrote:
That is my preference, too.
OK, thanks, I installed the attached patch, which should do just that,
and I'm marking this bug as done. I'll CC: this to Aharon since it
might affect Gawk.
The code still needs cleanup but so far I'm just trying to fix bugs.
0001-grep-fix-case-fold-mismatches-between-DFA-and-regex.patch
Description: Text document
--- End Message ---