Re: terminal @number vs. @user-number

[Hans Aberg]

On 21 Oct 2007, at 23:46, Joel E. Denny wrote:

> Currently, Bison puts a terminal's user number (the one returned by  
> yylex)
> in its XML "number" attribute.  I think we should rename that to
> "user-number" and add a "number" attribute for Bison's internal symbol
> number.  This would be more consistent with nonterminals.  I'd be  
> happy
> the write the patch.  Is all this agreeable to you, Wojciech?

Perhaps giving more sci-tech names :-):

The token number variable might be termed "token-number". The set of  
terminals and non-terminals is technically called "vocabulary", so  
the yytname_[] values, if that is what you mean, might be called  
"word-number" or something.

As for changing the token numbers, one needs to make sure POSIX does  
not require something, like a range starting value.

  Hans Aberg