[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: FYI: Both: Gr. Reduction
From: |
Akim Demaille |
Subject: |
Re: FYI: Both: Gr. Reduction |
Date: |
30 Nov 2001 11:40:47 +0100 |
User-agent: |
Gnus/5.0808 (Gnus v5.8.8) XEmacs/21.4 (Civil Service) |
| > | Useless nonterminals:
| ^^^^^^^^^^^^^^^
| [...]
|
| > +[[Terminals which are not used:
| ^^^^^^^^^^^^^^^^^^
| Maybe a mistake here.
Nope, there is a difference: useless things are eliminated, not used
are kept. I was surprised too at first, but I dove into the code, and
there really is a difference. You can't remove useless terms, because
then your parser would not export them for Lex for instance, which is
wrong, even if you're doing yourself something wrong.
But I have questions about grammar reduction which I'll ask on help.
| Moreover, Bison outputs a message which is
| not caught by the testsuite:
I know. This was completely broken (see my previous posts about it)
(I mean *bison* was broken, there was no real point in making the test
suite completely correct since bison itself was not ready: the point
was exhibiting the failure and the SEGV).
I have the fixes now, and will send them shortly.