Re: RFC: Requiring the ending `;'

[Hans Aberg]

At 14:17 -0800 2002/03/03, Paul Eggert wrote:
>> I would like to
>>
>> - know whether POSIX says something,
>
>POSIX requires the ending ';'.  And for good reason: it allows the
>Yacc grammar to be Yaccable.

Paul, do you know if POSIX says that LALR(1) must be used? -- The current
implementation of %expect seems to depend on the type of algorithm used.

>While we're on the subject of semicolon trivia, ...

I believe you have the right wording here. :-)

I can note a technique of using several grammars, that I used when working
a bit on developing a Prolog interpreter: Then I wanted to develop a more
set-theoretic syntax, but it proved cumbersome to paste in Prolog examples
from various places. So it proved convenient to have a prolog { ... }
environment where the traditional Prolog syntax could be used.

A variation adapted for Bison might look like
  yacc { ... }   -- For Yacc syntax.
  bison { ... }  -- For Bison syntax.
Then, with a special %syntax ..., one might choose the default syntax.

  Hans Aberg