David Golden wrote:
>                Right now, the draft says "an identifier" and that
>term could be defined further.

I take "identifier", without further explanation, to mean
/[A-Za-z_][0-9A-Za-z_]*/.  Not anything involving \w, note.

-zefram

Reply via email to