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




Reply via email to