Re: GLR parsers and locations

[Paul Hilfinger]

> At 19:52 -0700 2003/06/09, Paul Hilfinger wrote:
> >GLR parsers now seem to handle YYERROR correctly, but I see that C++
> >parsers still go into loops.
>
> You mean nontermination in GRL C++ parsers here, right?

No; I was referring to the "Simple LALR1 C++ Calculator" tests in
calc.at, which are not GLR.  It's just that I always do a "make check"
before I submit anything, so I see all the regressions, GLR and
otherwise.  As far as I know, there are no GLR regressions in the
suite at the moment.

By the way, I think that the lalr1.cc is probably relatively easy to
fix.  I think it's just a matter of inserting "FOO.pop (len_);" calls
to pop the RHS off all the stacks upon execution of YYERROR.  However,
I didn't have the leisure to go poking around in lalr1.cc to see what
else might need adjusting as a result.

Paul H.