[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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]