>>> "Akim" == Akim Demaille <[EMAIL PROTECTED]> 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.
