>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
>> Currently, push.c slows down the yacc parsing by between 2-8%, reported >> by me and Akim. > Sounds a bit much, I'm afraid. So we need a way of having straight > traditional yacc parsing. Really? Usually a parser is just one phase of something bigger, and the slowest is yet to come.
