Re: push parser

[Bob Rossi]

> > The problem is, a push parser will not work unless a pure reentrant parser 
> > is being used.
> 
> I don't at all mind requiring a pure reentrant parser.  You can
> assume that, if you like.

Hmm, just so I don't misunderstand you. Are you saying you wouldn't mind
if bison would always generate a pure reentrant parser? or only when you
are using the asynchronous push parser mode?

Thanks,
Bob Rossi