Re: Bison and POSIX requirements

[Hans Aberg]

At 12:36 -0800 2001/12/17, Paul Eggert wrote:
>    The yacc utility assigns a unique number to each rule. Rules using
>    the vertical bar notation are distinct rules. The number assigned
>    to the rule appears in the description file....
>
>Hmm, does Bison always assign unique numbers to each rule (and
>disjunct) as POSIX requires?  I think so, but I don't know how to
>check easily.

It must, because that is how the rules are stored internally (see for
example nullable.c). The numbers are indicated in the .output file.

  Hans Aberg