|
From: | Michael Klement |
Subject: | Re: [bug-gawk] v4.1.3 (run on OSX 10.11.3): potential gsub() bug |
Date: | Sun, 7 Feb 2016 10:54:43 -0500 |
Hi, Thanks, Hermann, for confirming that using actual characters as the range endpoints works. There is no intent to support things like \x10f7ff Perhaps doing what grep -P does is an option: \x{…} Generally, it sounds like the right thing to do is:
Always dealing with characters makes sense to me, especially given that you can mix Unicode characters and \xhh escapes in a single bracket _expression_. Thus, given that \xff is the max. codepoint value that can currently be expressed, which doesn't allow matching the full range of Unicode characters, I suggest the following:
Best, Michael
|
[Prev in Thread] | Current Thread | [Next in Thread] |