Re: push parser implemenation

[Akim Demaille]

>>> "Akim" == Akim Demaille <address@hidden> writes:

 > The 15% loss I observed seem acceptable to me, but we should strive to
 > get rid of them.

Well, I seem to have imagined that 15%.

            Rate push-push push-yacc push-pure yacc-yacc yacc-pure
push-push 2.12/s        --       -6%       -8%      -19%      -22%
push-yacc 2.26/s        6%        --       -2%      -13%      -17%
push-pure 2.32/s        9%        3%        --      -11%      -15%
yacc-yacc 2.61/s       23%       15%       13%        --       -4%
yacc-pure 2.71/s       28%       20%       17%        4%        --

Really, there is no reason to make non pure parsers :)  I wish I could
deprecate this feature.