X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/8ffd7912e3b71fb0cc69e83225c3ad8e3452270f..a0cd287e64e2d53bc5896e0a7c5ad072cb8bf469:/NEWS diff --git a/NEWS b/NEWS index 7584f18e..f6cc360a 100644 --- a/NEWS +++ b/NEWS @@ -1,7 +1,79 @@ Bison News ---------- -* Changes in version 2.5 (????-??-??): +* Changes in version 2.5.1 (????-??-??): + +** Future changes: + + The next major release will drop support for K&R C. + +** yacc.c: YYBACKUP works as expected. + +** glr.c improvements: + +*** Location support is eliminated when not requested: + + GLR parsers used to include location-related code even when + locations were not requested, and therefore not even usable. + +*** __attribute__ is preserved: + + __attribute__ is no longer disabled when __STRICT_ANSI__ is defined + (i.e., when -std is passed to GCC). + +** lalr1.java: several fixes: + + The Java parser no longer throws ArrayIndexOutOfBoundsException if + the first token leads to a syntax error. Some minor clean ups. + +** C++11 compatibility: + + C and C++ parsers use nullptr instead of 0 when __cplusplus is + 201103L or higher. + +** C++ locations: + + The position and location constructors (and their initialize + methods) accept new arguments for line and column. Several issues + in the documentation were fixed. + +** liby is no longer asking for "rpl_fprintf" on some platforms. + +** Changes in the manual: + +*** %printer is documented + + The %printer directive, supported since at least Bison 1.50, is + finally documented. The %mfcalc example is extended to demonstrate + its use of printer. + + The C++ parsers now also support yyoutput (as an alias to + debug_stream ()) for consistency with the C skeletons. + +*** Several improvements have been made: + + The layout for grammar excerpts was changed to a more compact + scheme. Named references are motivated. The description of the + automaton description file (*.output) is updated to the current + format. Incorrect index entries were fixed. Some other errors were + fixed. + +** Changes to the build system: + +*** Warnings during the build procedure have been eliminated. + +*** Several portability problems in the test suite have been fixed: + + This includes warnings with some compilers, unexpected behavior of + tools such as diff, warning messages from the test suite itself, + etc. + +*** The install-pdf target work properly: + + Running "make install-pdf" (or -dvi, -html, -info, and -ps) no + longer halts in the middle of its course. + +* Changes in version 2.5 (2011-05-14): ** Grammar symbol names can now contain non-initial dashes: @@ -21,12 +93,12 @@ Bison News When no ambiguity is possible, original symbol names may be used as named references: - if_stmt : 'if' cond_expr 'then' then_stmt ';' + if_stmt : "if" cond_expr "then" then_stmt ';' { $if_stmt = mk_if_stmt($cond_expr, $then_stmt); } In the more common case, explicit names may be declared: - stmt[res] : 'if' expr[cond] 'then' stmt[then] 'else' stmt[else] ';' + stmt[res] : "if" expr[cond] "then" stmt[then] "else" stmt[else] ';' { $res = mk_if_stmt($cond, $then, $else); } Location information is also accessible using @name syntax. When @@ -40,7 +112,7 @@ Bison News IELR(1) is a minimal LR(1) parser table generation algorithm. That is, given any context-free grammar, IELR(1) generates parser tables - with the full language recognition power of canonical LR(1) but with + with the full language-recognition power of canonical LR(1) but with nearly the same number of parser states as LALR(1). This reduction in parser states is often an order of magnitude. More importantly, because canonical LR(1)'s extra parser states may contain duplicate @@ -125,7 +197,7 @@ Bison News except that the manner in which Bison processes multiple definitions for the same NAME differs. Most importantly, -F and --force-define quietly override %define, but -D and --define do not. For further - details, see the section "Bison Options" in the Bison manual. + details, see the section `Bison Options' in the Bison manual. *** Variables renamed: @@ -142,7 +214,7 @@ Bison News The old names are now deprecated but will be maintained indefinitely for backward compatibility. -*** Values no longer need to be quoted in grammar file: +*** Values no longer need to be quoted in the grammar file: If a %define value is an identifier, it no longer needs to be placed within quotations marks. For example, @@ -183,8 +255,8 @@ Bison News Similarly to the C parsers, the C++ parsers now define the YYRHSLOC macro and use it in the default YYLLOC_DEFAULT. You are encouraged - to use it. If, for instance, your location structure has "first" - and "last" members, instead of + to use it. If, for instance, your location structure has `first' + and `last' members, instead of # define YYLLOC_DEFAULT(Current, Rhs, N) \ do \ @@ -266,7 +338,7 @@ Bison News in order to detect a syntax error. Because no unexpected token or expected tokens can then be reported, the verbose syntax error message described above is suppressed, and the parser instead - reports the simpler message, "syntax error". Previously, this + reports the simpler message, `syntax error'. Previously, this suppression was sometimes erroneously triggered by %nonassoc when a lookahead was actually required. Now verbose messages are suppressed only when all previous lookaheads have already been @@ -302,29 +374,57 @@ Bison News ** -W/--warnings fixes: -*** Bison now properly recognizes the "no-" versions of categories: +*** Bison now properly recognizes the `no-' versions of categories: For example, given the following command line, Bison now enables all warnings except warnings for incompatibilities with POSIX Yacc: bison -Wall,no-yacc gram.y -*** The "none" category no longer disables a preceding "error": +*** Bison now treats S/R and R/R conflicts like other warnings: + + Previously, conflict reports were independent of Bison's normal + warning system. Now, Bison recognizes the warning categories + `conflicts-sr' and `conflicts-rr'. This change has important + consequences for the -W and --warnings command-line options. For + example: + + bison -Wno-conflicts-sr gram.y # S/R conflicts not reported + bison -Wno-conflicts-rr gram.y # R/R conflicts not reported + bison -Wnone gram.y # no conflicts are reported + bison -Werror gram.y # any conflict is an error + + However, as before, if the %expect or %expect-rr directive is + specified, an unexpected number of conflicts is an error, and an + expected number of conflicts is not reported, so -W and --warning + then have no effect on the conflict report. + +*** The `none' category no longer disables a preceding `error': For example, for the following command line, Bison now reports errors instead of warnings for incompatibilities with POSIX Yacc: bison -Werror,none,yacc gram.y -*** The "none" category now disables all Bison warnings. +*** The `none' category now disables all Bison warnings: - Previously, the "none" category disabled only Bison warnings for + Previously, the `none' category disabled only Bison warnings for which there existed a specific -W/--warning category. However, given the following command line, Bison is now guaranteed to suppress all warnings: bison -Wnone gram.y +** Precedence directives can now assign token number 0: + + Since Bison 2.3b, which restored the ability of precedence + directives to assign token numbers, doing so for token number 0 has + produced an assertion failure. For example: + + %left END 0 + + This bug has been fixed. + * Changes in version 2.4.3 (2010-08-05): ** Bison now obeys -Werror and --warnings=error for warnings about @@ -1376,7 +1476,7 @@ Bison News ** The output file does not define const, as this caused problems when used with common autoconfiguration schemes. If you still use ancient compilers that lack const, compile with the equivalent of the C compiler option - `-Dconst='. autoconf's AC_C_CONST macro provides one way to do this. + `-Dconst='. Autoconf's AC_C_CONST macro provides one way to do this. ** Added `-g' and `--graph'. @@ -1423,7 +1523,7 @@ Bison News * Changes in version 1.26: -** Bison now uses automake. +** Bison now uses Automake. ** New mailing lists: and . @@ -1445,7 +1545,7 @@ the grammar file, and reports all the errors found in it. ** Tokens can now be specified as multiple-character strings: for example, you could use "<=" for a token which looks like <=, instead -of chosing a name like LESSEQ. +of choosing a name like LESSEQ. ** The %token_table declaration says to write a table of tokens (names and numbers) into the parser file. The yylex function can use this @@ -1480,13 +1580,9 @@ Line numbers in output file corrected. Output file does not redefine const for C++. -Local Variables: -mode: outline -End: - ----- -Copyright (C) 1995-2011 Free Software Foundation, Inc. +Copyright (C) 1995-2012 Free Software Foundation, Inc. This file is part of Bison, the GNU Parser Generator. @@ -1502,3 +1598,24 @@ GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see . + + LocalWords: yacc YYBACKUP glr GCC lalr ArrayIndexOutOfBoundsException nullptr + LocalWords: cplusplus liby rpl fprintf mfcalc Wyacc stmt cond expr mk sym lr + LocalWords: IELR ielr Lookahead YYERROR nonassoc LALR's api lookaheads yychar + LocalWords: destructor lookahead YYRHSLOC YYLLOC Rhs ifndef YYFAIL cpp sr rr + LocalWords: preprocessor initializer Wno Wnone Werror FreeBSD prec livelocks + LocalWords: Solaris AIX UX RHEL Tru LHS gcc's Wundef YYENABLE NLS YYLTYPE VCG + LocalWords: yyerror cpp's Wunused yylval yylloc prepend yyparse yylex yypush + LocalWords: Graphviz xml nonterminals midrule destructor's YYSTYPE typedef ly + LocalWords: CHR chr printf stdout namespace preprocessing enum pre include's + LocalWords: YYRECOVERING nonfree destructors YYABORT YYACCEPT params enums de + LocalWords: struct yystype DJGPP lex param Haible NUM alloca YYSTACK NUL goto + LocalWords: YYMAXDEPTH Unescaped UCNs YYLTYPE's yyltype typedefs inline Yaccs + LocalWords: Heriyanto Reenable dprec Hilfinger Eggert MYEOF Folle Menezes EOF + LocalWords: Lackovic define's itemset Groff Gettext malloc NEWS'ed YYDEBUG + LocalWords: namespaces strerror const autoconfiguration Dconst Autoconf's FDL + LocalWords: Automake TMPDIR LESSEQ + +Local Variables: +mode: outline +End: