Akim Demaille <[email protected]> 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
> +@option{--report=solved}, Bison includes information about the solved
> +conflicts in the report:
"ambiguous" and "conflict".
Tim
