Re: [bug-gawk] Gawk manual A.7: [a-dx-z] ... might be equivalent to [aBbCcdXxYyz]

[Aharon Robbins]

Hi. Re this:

> Date: Sat, 14 Jul 2012 08:40:59 +0200
> From: Hermann Peifer <address@hidden>
> To: address@hidden
> Subject: [bug-gawk] Gawk manual A.7: [a-dx-z] ... might be equivalent to
>       [aBbCcdXxYyz]
>
> Arnold,
>
> Isn't there something counter-intuitive, if not wrong with the given 
> example?
>
> [a-dx-z] -> [aBbCcdXxYyz]   # example in Gawk manual
> [a-dx-z] -> [aBbCcDdxYyZz]  # what I would have expected

Different systems do things different ways. Some collate the lower
case letters before the uppercase ones. Some the other way around.

I will try to double check what really happens and update the manual.

Thanks,

Arnold