mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-09 04:13:03 +00:00
doc: clarify the destructor selection example
Reported by Gary L Peskin. http://lists.gnu.org/archive/html/help-bison/2016-02/msg00000.html * doc/bison.texi (Destructor Decl): here.
This commit is contained in:
1
THANKS
1
THANKS
@@ -56,6 +56,7 @@ Florian Krohm florian@edamail.fishkill.ibm.com
|
||||
Frank Heckenbach frank@g-n-u.de
|
||||
Frans Englich frans.englich@telia.com
|
||||
Gabriel Rassoul gabriel.rassoul@epita.fr
|
||||
Gary L Peskin garyp@firstech.com
|
||||
Georg Sauthoff gsauthof@TechFak.Uni-Bielefeld.DE
|
||||
George Neuner gneuner2@comcast.net
|
||||
Gilles Espinasse g.esp@free.fr
|
||||
|
||||
@@ -5072,10 +5072,9 @@ For example:
|
||||
guarantees that, when the parser discards any user-defined symbol that has a
|
||||
semantic type tag other than @code{<character>}, it passes its semantic value
|
||||
to @code{free} by default.
|
||||
However, when the parser discards a @code{STRING1} or a @code{string1}, it also
|
||||
prints its line number to @code{stdout}.
|
||||
It performs only the second @code{%destructor} in this case, so it invokes
|
||||
@code{free} only once.
|
||||
However, when the parser discards a @code{STRING1} or a @code{string1},
|
||||
it uses the third @code{%destructor}, which frees it and
|
||||
prints its line number to @code{stdout} (@code{free} is invoked only once).
|
||||
Finally, the parser merely prints a message whenever it discards any symbol,
|
||||
such as @code{TAGLESS}, that has no semantic type tag.
|
||||
|
||||
|
||||
Reference in New Issue
Block a user