* data/c.m4 (b4_yydestruct_generate, b4_yysymprint_generate): Pass

[bison.git] / doc / bison.texinfo

diff --git a/doc/bison.texinfo b/doc/bison.texinfo
index 69eb649fe3b386f341170fac81631c7e547bb76c..01dccb418bcea8ca898ef758154f4c9234e39512 100644 (file)
--- a/doc/bison.texinfo
+++ b/doc/bison.texinfo
@@ -3569,7 +3569,8 @@ Grammars}).
 @findex %require
 
 You may require the minimum version of Bison to process the grammar.  If
 @findex %require
 
 You may require the minimum version of Bison to process the grammar.  If

-the requirement is not met, @command{bison} exits with an error.
+the requirement is not met, @command{bison} exits with an error (exit
+status 63).

 
 @example
 %require "@var{version}"
 
 @example
 %require "@var{version}"


@@ -3809,28 +3810,28 @@ For instance, if your locations use a file name, you may use
 @cindex freeing discarded symbols
 @findex %destructor
 
 @cindex freeing discarded symbols
 @findex %destructor
 

-Some symbols can be discarded by the parser.  During error
-recovery (@pxref{Error Recovery}), symbols already pushed
-on the stack and tokens coming from the rest of the file
-are discarded until the parser falls on its feet.  If the parser
-runs out of memory, all the symbols on the stack must be discarded.
-Even if the parser succeeds, it must discard the start symbol.
+Some symbols can be discarded by the parser.  During error recovery
+(@pxref{Error Recovery}), symbols already pushed on the stack and tokens
+coming from the rest of the file are discarded until the parser falls on
+its feet.  If the parser runs out of memory, all the symbols on the
+stack must be discarded.  Even if the parser succeeds, it must discard
+the start symbol.

 
 When discarded symbols convey heap based information, this memory is
 lost.  While this behavior can be tolerable for batch parsers, such as
 
 When discarded symbols convey heap based information, this memory is
 lost.  While this behavior can be tolerable for batch parsers, such as

-in traditional compilers, it is unacceptable for programs like shells
-or protocol implementations that may parse and execute indefinitely.
+in traditional compilers, it is unacceptable for programs like shells or
+protocol implementations that may parse and execute indefinitely.

 
 The @code{%destructor} directive defines code that
 is called when a symbol is discarded.
 
 @deffn {Directive} %destructor @{ @var{code} @} @var{symbols}
 @findex %destructor
 
 The @code{%destructor} directive defines code that
 is called when a symbol is discarded.
 
 @deffn {Directive} %destructor @{ @var{code} @} @var{symbols}
 @findex %destructor

-Invoke @var{code} whenever the parser discards one of the
-@var{symbols}.  Within @var{code}, @code{$$} designates the semantic
-value associated with the discarded symbol.  The additional
-parser parameters are also available
-(@pxref{Parser Function, , The Parser Function @code{yyparse}}).
+Invoke @var{code} whenever the parser discards one of the @var{symbols}.
+Within @var{code}, @code{$$} designates the semantic value associated
+with the discarded symbol.  The additional parser parameters are also
+available (@pxref{Parser Function, , The Parser Function
+@code{yyparse}}).

 
 @strong{Warning:} as of Bison 2.1, this feature is still
 experimental, as there has not been enough user feedback.  In particular,
 
 @strong{Warning:} as of Bison 2.1, this feature is still
 experimental, as there has not been enough user feedback.  In particular,


@@ -4173,9 +4174,8 @@ Request a pure (reentrant) parser program (@pxref{Pure Decl, ,A Pure
 @end deffn
 
 @deffn {Directive} %require "@var{version}"
 @end deffn
 
 @deffn {Directive} %require "@var{version}"

-Specify that version @var{version} or higher of Bison required for the
-grammar.
-@xref{Require Decl, , Require a Version of Bison}.
+Require version @var{version} or higher of Bison.  @xref{Require Decl, ,
+Require a Version of Bison}.

 @end deffn
 
 @deffn {Directive} %token-table
 @end deffn
 
 @deffn {Directive} %token-table


@@ -7993,9 +7993,8 @@ Bison declaration to request a pure (reentrant) parser.
 @end deffn
 
 @deffn {Directive} %require "@var{version}"
 @end deffn
 
 @deffn {Directive} %require "@var{version}"

-Specify that version @var{version} or higher of Bison required for the
-grammar.
-@xref{Require Decl, , Require a Version of Bison}.
+Require version @var{version} or higher of Bison.  @xref{Require Decl, ,
+Require a Version of Bison}.

 @end deffn
 
 @deffn {Directive} %right
 @end deffn
 
 @deffn {Directive} %right