[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: symbol declarations after rules

From: Paul Eggert
Subject: Re: symbol declarations after rules
Date: Thu, 22 Jun 2006 16:57:08 -0700
User-agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.4 (gnu/linux)

"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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]