Re: RFC: doc: update documentation about --verbose

[Tim Landscheidt]

Akim Demaille <address@hidden> wrote:

> [...]
> -The next section reports useless tokens, nonterminal and rules.  Useless
                                            ^^^^^^^^^^^
> -nonterminals and rules are removed in order to produce a smaller parser,
> -but useless tokens are preserved, since they might be used by the
> -scanner (note the difference between ``useless'' and ``unused''
> -below):
> +The first section reports useless tokens, nonterminal and rules.  Useless
                                             ^^^^^^^^^^^
> +nonterminals and rules are removed in order to produce a smaller parser, but
> +useless tokens are preserved, since they might be used by the scanner (note
> +the difference between ``useless'' and ``unused'' below):
> [...]

This should probably read (and have read) "nonterminals".

> [...]
> +Note however that while @samp{NUM + NUM / NUM} is amiguous (which results in
                                                     ^^^^^^^^
> +the conflicts on @samp{/}), @samp{NUM + NUM * NUM} is not: the conflit was
                                                                  ^^^^^^^
> +solved thanks to associativity and precedence directives.  If invoked with
> address@hidden, Bison includes information about the solved
> +conflicts in the report:

"ambiguous" and "conflict".

Tim