>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
> Akim Demaille <[EMAIL PROTECTED]> writes: >> Paul, what do you think? > Let's wait until after 2.1. I'm worried, for example, about extra > arguments that would need to be passed to yysyntax_error. It can all > be made to work, but too many finicky things can go wrong... Hi Paul, Hoping you still have some time, let's go back to this issue. yysyntax_error needs no additional argument, because it's `error' that might need some. That's indeed, in retrospect, a good reason not to leave the call to error to yysyntax_error. How about applying the patch?
