>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
> I installed this. It's a bit of a hack, but all of the cleaner > ways I thought of were quite a bit more complicated, and at this > point I don't want to be doing major surgery. ISTR, when I faced that bug, that it was a clear additional motivation to move the parsing of the action bodies _after_ the processing of the whole grammar. It might be more code, but it's really simpler: the current handling is hairy.
