Get rid of broken %no-parser, -n, and --no-parser implementation and

[bison.git] / NEWS

diff --git a/NEWS b/NEWS
index 68fb66f030d184d335063be628bef2b7ff2a481f..e5ff7976ef69fb3946e0d0cf10e49359e96e57d0 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -3,6 +3,18 @@ Bison News
 
 Changes in version 2.3a+ (????-??-??):
 
+* Previously, Bison sometimes generated parser tables with states that were
+  unreachable due to conflicts in predecessor states.  Bison now:
+
+    1. Removes unreachable states.
+
+    2. Does not report any conflicts that appeared in unreachable states.
+       WARNING: As a result, you may need to update %expect and %expect-rr
+       directives in existing grammar files.
+
+    3. For any rule used only in such states, Bison now reports the rule as
+       "never reduced because of conflicts".
+
 * The -g and --graph options now output graphs in Graphviz DOT format,
   not VCG format.
 
@@ -39,8 +51,8 @@ Changes in version 2.3a+ (????-??-??):
     3. `%code provides {CODE}' replaces `%end-header    {CODE}'
     4. `%code top      {CODE}' replaces `%before-header {CODE}'
 
-  See the %code entries in `Appendix A Bison Symbols' in the Bison manual for a
-  summary of the new functionality.  See the new section `Prologue
+  See the %code entries in section `Bison Declaration Summary' in the Bison
+  manual for a summary of the new functionality.  See the new section `Prologue
   Alternatives' for a detailed discussion including the advantages of %code
   over the traditional Yacc prologues.
 
@@ -92,9 +104,6 @@ Changes in version 2.3a+ (????-??-??):
 
 Changes in version 2.3a, 2006-09-13:
 
-* Bison now supports generating Java parsers.  Grammars written for
-  the Java language should include the `%language "Java"' directive.
-
 * Instead of %union, you can define and use your own union type
   YYSTYPE if your grammar contains at least one <type> tag.
   Your YYSTYPE need not be a macro; it can be a typedef.