...
> I think it would be best to disallow the double-quoted form...
> However, I'm not sure *how* to disallow it without also disallowing
> unquoted words (since ultimately the productions reduce to ColId,
> and the lexer output doesn't distinguish quoted and unquoted
> identifiers).
Well, that would be how to distinguish them; we could define a new
token, say "QIDENT" to refer to quoted identifiers and leave "IDENT" for
the unquoted ones. Then a little work in gram.y should be enough to
finish the job.
The use of IDENT in gram.y is isolated to just a few places so
introducing QIDENT would be almost trivial afaict.
- Thomas