Re: User Token Numbers

[Akim Demaille]

>>>>> "Paul" == Paul Eggert <address@hidden> writes:

Paul> However, it's a bit different from `error' because it's valid to
Paul> say `%token someothertoken 257' without mentioning `$undefined',
Paul> whereas it's not valid to say `%token someothertoken 256'
Paul> without a preceding `%token error N' where N != 256.

Hm, so it would be against POSIX to accept

%token FOO 256

the user _has_ to write

%token error 257
%token FOO   256

That's a bit of a pain :(

Should the token error be #define'd in the .h?  Why does it matter to
map error to 256?  I fail to understand the point.