X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/5da0355aff4de57e96aba7b788c376fc779d83b1..6f8bdce25df5669b0b200c2a3848a1c08a44eb79:/doc/bison.texinfo diff --git a/doc/bison.texinfo b/doc/bison.texinfo index a1889ec2..e0d5aa5b 100644 --- a/doc/bison.texinfo +++ b/doc/bison.texinfo @@ -5166,11 +5166,11 @@ contain default reductions. @xref{Default Reductions}. (The ability to specify where default reductions should be used is experimental. More user feedback will help to stabilize it.) -@item Accepted Values: @code{full}, @code{consistent}, @code{accepting} +@item Accepted Values: @code{most}, @code{consistent}, @code{accepting} @item Default Value: @itemize @item @code{accepting} if @code{lr.type} is @code{canonical-lr}. -@item @code{full} otherwise. +@item @code{most} otherwise. @end itemize @end itemize @@ -7143,7 +7143,7 @@ To adjust which states have default reductions enabled, use the Specify the kind of states that are permitted to contain default reductions. The accepted values of @var{WHERE} are: @itemize -@item @code{full} (default for LALR and IELR) +@item @code{most} (default for LALR and IELR) @item @code{consistent} @item @code{accepting} (default for canonical LR) @end itemize @@ -7256,6 +7256,10 @@ never physically copied. In our experience, the performance penalty of LAC has proven insignificant for practical grammars. @end itemize +While the LAC algorithm shares techniques that have been recognized in the +parser community for years, for the publication that introduces LAC, +@pxref{Bibliography,,Denny 2010 May}. + @node Unreachable States @subsection Unreachable States @findex %define lr.keep-unreachable-states @@ -8422,10 +8426,24 @@ These warnings are not enabled by default since they sometimes prove to be false alarms in existing grammars employing the Yacc constructs @code{$0} or @code{$-@var{n}} (where @var{n} is some positive integer). - @item yacc Incompatibilities with POSIX Yacc. +@item conflicts-sr +@itemx conflicts-rr +S/R and R/R conflicts. These warnings are enabled by default. However, if +the @code{%expect} or @code{%expect-rr} directive is specified, an +unexpected number of conflicts is an error, and an expected number of +conflicts is not reported, so @option{-W} and @option{--warning} then have +no effect on the conflict report. + +@item other +All warnings not categorized above. These warnings are enabled by default. + +This category is provided merely for the sake of completeness. Future +releases of Bison may move warnings from this category to new, more specific +categories. + @item all All the warnings. @item none