Re: symbol declarations after rules

[Akim Demaille]

Le 27 juin 06 à 22:44, Joel E. Denny a écrit :

> On Tue, 27 Jun 2006, Akim Demaille wrote:
>
> > I agree.  That's also what I'm aiming for.  Before implementing
> > %import, I would like to be able to transform the grammar step by
> > step, as if we were striping syntactic sugar.  Actions come at the
> > very end.
>
> While we're on this topic, I noticed this comment in parse-gram.y:
>
>   | /*FIXME: Err?  What is this horror doing here? */ ";"
>
> A `;' is required after each % declaration in the rules section.  It's
> nice to be able to move declarations to the declarations sections  
> without
> changing them.  Is this the reason for the above production?   
> Without it,
> Bison fails on even parse-gram.y.

So as a result, we can leave arbitrarily many ; in any section.
That's not nice.  And I'm sorry that we did not enforce the
requirement for the ending ; to our new constructs, including
in the prologue section.