Re: FYI: Missing \n

[Akim Demaille]

>>> "JED" == Joel E Denny <address@hidden> writes:

 >> * src/reduce.c (reduce_grammar): Warn about unused terminals.

 > Thanks.  I'm guessing there are a lot of existing grammars with
 > intentionally unused terminals.  Thus, I wonder if we ought to
 > leave this warning off by default and activate it with a --warning
 > flag.

I was thinking about something like

%use token1 token2

etc.

We do need a flag for the warning, but it is not enough: one would
like to have the warning, and declare symbols used externally.