Re: FYI: Both: Gr. Reduction

[Akim Demaille]

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