Re: incorrect yychar for unambiguous GLR

[Paul Hilfinger]

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