Re: push parser implemenation

[Bob Rossi]

> >    It was mentioned that the pull parser could be implemented be
> >    using the push mode.  Should I do this?
> 
> Sorry, I don't know the technical issues here.  Would it slow down
> pull parsing to implement it in the push context?  Would it change
> the documented (or undocumented :-) API?

Here is the current timing info, what do you think?

            Rate push-push yacc-yacc yacc-pure push-pure push-yacc
push-push 1.93/s        --      -30%      -31%      -32%      -34%
yacc-yacc 2.73/s       42%        --       -3%       -4%       -6%
yacc-pure 2.81/s       46%        3%        --       -1%       -3%
push-pure 2.85/s       48%        4%        1%        --       -2%
push-yacc 2.90/s       51%        6%        3%        2%        --

Thanks,
Bob Rossi