> > Let's say instead > > > > In a deferred semantic action, its effect is undefined. > > I was trying to leave the door open for others to pursue this feature > because, even though it doesn't interest me, it might be reasonable. But > `undefined' seems accurate.
Actually, I kind of think of "undefined" as a leaving-the-door-open-but- not-promising-anything sort of word. > OK to leave the comment? Yes. > I'm happy to drop `Note that', which seems redundant. Other than that, I > prefer my wording because `it is also' creates a smoother transition from > the previous paragraphs. Is that OK? Sure. Paul Hilfinger _______________________________________________ Help-bison@gnu.org http://lists.gnu.org/mailman/listinfo/help-bison