X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/affac6132ae6ee354e1497e456b5c81a0c84334f..f5d5ecdfaf97b891f6a634cc58817496a2e0faf8:/NEWS diff --git a/NEWS b/NEWS index 94e9cc17..4de67f10 100644 --- a/NEWS +++ b/NEWS @@ -1,25 +1,50 @@ Bison News ---------- -Changes in version 2.1a: +Changes in version 2.1b: + +* %name-prefix changes the namespace name in C++ outputs. + +* The C++ parsers export their token_type. + +Changes in version 2.1a, 2006-02-13: + +* Bison now allows multiple %union declarations, and concatenates + their contents together. * New warning: unused values - Typed right-hand side symbols whose value are not used are reported. - For instance + Right-hand side symbols whose values are not used are reported, + if the symbols have destructors. For instance: + + exp: exp "?" exp ":" exp { $1 ? $1 : $3; } + | exp "+" exp + ; + + will trigger a warning about $$ and $5 in the first rule, and $3 in + the second ($1 is copied to $$ by the default rule). This example + most likely contains three errors, and could be rewritten as: + + exp: exp "?" exp ":" exp + { $$ = $1 ? $3 : $5; free ($1 ? $5 : $3); free ($1); } + | exp "+" exp + { $$ = $1 ? $1 : $3; if ($1) free ($3); } + ; + + However, if the original actions were really intended, memory leaks + and all, the warnings can be suppressed by letting Bison believe the + values are used, e.g.: - exp: exp "?" exp ":" exp { $$ = $1 + $3; } - | exp "+" exp - ; + exp: exp "?" exp ":" exp { $1 ? $1 : $3; (void) ($$, $5); } + | exp "+" exp { $$ = $1; (void) $3; } + ; - will trigger a warning about $5 of the first rule, and $3 in the - second ($1 is copied to $$ by the default rule). To avoid this - warning, let Bison believe the value is used, e.g. + If there are mid-rule actions, the warning is issued if no action + uses it. The following triggers no warning: $1 and $3 are used. - exp: exp "?" exp ":" exp { $$ = $1 + $3; $5; } - | exp "+" exp { $$ = $1; $3; } + exp: exp { push ($1); } '+' exp { push ($3); sum (); }; - This helps catching lost values and memory leaks: if a value is - ignored, its associated memory will never be reclaimed. + The warning is intended to help catching lost values and memory leaks. + If a value is ignored, its associated memory typically is not reclaimed. * %destructor vs. YYABORT, YYACCEPT, and YYERROR. Destructors are now called when user code invokes YYABORT, YYACCEPT, @@ -31,14 +56,14 @@ Changes in version 2.1a: instead of warnings. * GLR, YACC parsers. - The %parse-params are available in the %destructor's (and the - experimental %printer's) as per the documentation. + The %parse-params are available in the destructors (and the + experimental printers) as per the documentation. * Bison now warns if it finds a stray `$' or `@' in an action. * %require "VERSION" - To specify that the grammar file depends on features implemented in - Bison version VERSION or higher. + This specifies that the grammar file depends on features implemented + in Bison version VERSION or higher. * lalr1.cc: The token and value types are now class members. The tokens were defined as free form enums and cpp macros. YYSTYPE @@ -676,8 +701,8 @@ End: ----- -Copyright (C) 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005 -Free Software Foundation, Inc. +Copyright (C) 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, +2004, 2005, 2006 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler.