Re: symbol declarations after rules

[Paul Eggert]

"Joel E. Denny" <address@hidden> writes:

>> Does order matter elsewhere?
>
> A few places at least.  %union for dividing the pre-prologue blocks from 
> the post-prologue blocks.
> Computing the start symbol (assuming no %start).  
> Reduce-reduce conflict resolution.

I suspect these are inevitable due to backward compatibility concerns
with Yacc.

> Precedence declarations.  

I'm not aware of this one.  Does Yacc allow this?  If so, I guess we're
stuck with allowing this as well.

> One %define can override an earlier %define.  

Yacc doesn't have %define.  Can we change this to generate a
diagnostic instead of silently ignoring the earlier definition?  Or is
there some use for overriding?

Thanks for summarizing the situation.