Re: [PATCH] Do not allow identifiers that start with a negative number.

[Joel E. Denny]

On Thu, 6 Jan 2011, Joel E. Denny wrote:

> On Thu, 6 Jan 2011, Alex Rozenman wrote:
> 
> > Regarding the documentation, I am not sure that we need to document this. It
> > looks like a regular bug fix.
> > It is a common sense that identifiers can not start from numbers.
> 
> That doesn't explain why Bison now rejects --33-- as a symbol.  Maybe we 
> should fix that?

Here's what I had in mind:

  id       -|({letter}|-({letter}|-))({letter}|[-0-9])*

> > P.S. Or you meant other changes in documentation ?
> 
> The following statement appears in NEWS under 2.5 but is now incorrect:
> 
>   grammar symbol names may include dashes in any position,
> 
> A similar statement appears in the manual.