Re: terminal @number vs. @user-number

[Joel E. Denny]

On Wed, 24 Oct 2007, Hans Aberg wrote:

> 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.

What about @symbol-number and @token-number?

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

I feel that we should not change them.