Re: [[:ascii:]] doesn't work

[Aharon Robbins]

Greetings. Re this:

> To: address@hidden
> Subject: [[:ascii:]] doesn't work
> From: Aleksey Cheusov <address@hidden>
> Date: 10 Aug 2003 18:07:00 +0300
>
> It seems to me that gawk 3.1.[0-3] is broken.
>
> 0 0,cheusov>echo -e 'hello' | mawk '/^[[:ascii:]]+$/'
> *0 0,cheusov>echo -e 'hello' | gawk '/^[[:ascii:]]+$/`'
> gawk: cmd. line:1: fatal: Invalid character class name: /^[[:ascii:]]+$/
> 0 2,cheusov>gawk --version
> GNU Awk 3.1.0
> ...
> 0,cheusov>
>
> -- 
> Best regards, Aleksey Cheusov.

Gawk is correct: [:ascii:] isn't a valid character class name.
Mawk doesn't support POSIX character classes at all, which is why
it doesn't give a diagnostic.

Arnold