* src/LR0.c, src/derives.c, src/gram.c, src/gram.h, src/lalr.c,

[bison.git] / NEWS

diff --git a/NEWS b/NEWS
index 14a42e217e55ed362ef333253f9c47131b37cf16..0d083b56694dedd171ea16cfe39f6892aaaa03b2 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -7,7 +7,7 @@ Changes in version 1.49b:
   The undefined token was systematically mapped to 2 which prevented
   the use of 2 from the user.  This is no longer the case.
 
   The undefined token was systematically mapped to 2 which prevented
   the use of 2 from the user.  This is no longer the case.
 

-* Undefined token
+* Unknown token numbers

   If yylex returned a code out of range, yyparse could die.  This is
   no longer the case.
 
   If yylex returned a code out of range, yyparse could die.  This is
   no longer the case.
 


@@ -17,20 +17,32 @@ Changes in version 1.49b:
   user specified that one of her tokens is numbered 256, then error
   will be mapped onto another number.
 
   user specified that one of her tokens is numbered 256, then error
   will be mapped onto another number.
 

+* Error recovery now conforms to documentation and to POSIX
+  When a Bison-generated parser encounters a syntax error, it now pops
+  the stack until it finds a state that allows shifting the error
+  token.  Formerly, it popped the stack until it found a state that
+  allowed some non-error action other than a default reduction on the
+  error token.  The new behavior has long been the documented behavior,
+  and has long been required by POSIX.  For more details, please see
+  <http://mail.gnu.org/pipermail/bug-bison/2002-May/001452.html>.
+
+* Traces
+  Popped tokens and nonterminals are now reported.
+

 * Large grammars
 * Large grammars

-  Are now supported (large token numbers, large grammar size (= sum of
-  the LHS and RHS lengths), large LALR tables).
+  Large grammars are now supported (large token numbers, large grammar
+  size (= sum of the LHS and RHS lengths), large LALR tables).

 
 

-* The initial rule is explicit.
+* Explicit initial rule

   Bison used to play hacks with the initial rule, which the user does
   not write.  It is now explicit, and visible in the reports and
   graphs as rule 0.
 
   Bison used to play hacks with the initial rule, which the user does
   not write.  It is now explicit, and visible in the reports and
   graphs as rule 0.
 

-* Useless rules are actually removed.
+* Useless rules

   Before, Bison reported the useless rules, but, although not used,
   Before, Bison reported the useless rules, but, although not used,

-  included them in the parsers.
+  included them in the parsers.  They are now actually removed.

 
 

-* False `Token not used' report fixed.
+* Incorrect `Token not used'

   On a grammar such as
 
            %token useless useful
   On a grammar such as
 
            %token useless useful


@@ -40,12 +52,14 @@ Changes in version 1.49b:
   where a token was used to set the precedence of the last rule,
   bison reported both `useful' and `useless' as useless tokens.
 
   where a token was used to set the precedence of the last rule,
   bison reported both `useful' and `useless' as useless tokens.
 

-* Revert the C++ namespace changes introduced in 1.31, as they caused too
-  many portability hassles.
+* Revert the C++ namespace changes introduced in 1.31
+  as they caused too many portability hassles.

 
 

-* Items overflow
-  Bison no longer dumps core when there are too many items, it just
-  dies.
+* Default locations
+  By an accident of design, the default computation of @$ was
+  performed after another default computation was performed: @$ = @1.
+  The latter is now removed: YYLLOC_DEFAULT is fully responsible of
+  the computation of @$.

 
 * Token end-of-file
   The token end of file may be specified by the user, in which case,
 
 * Token end-of-file
   The token end of file may be specified by the user, in which case,


@@ -59,6 +73,24 @@ Changes in version 1.49b:
 * Semantic parser
   This old option, which has been broken for ages, is removed.
 
 * Semantic parser
   This old option, which has been broken for ages, is removed.
 

+* New translations
+  Croatian, thanks to Denis Lackovic.
+
+* Incorrect token definitions
+  When fed with `%token 'a' "A"', Bison used to output `#define 'a' 65'.
+
+* Token definitions as enums
+  Tokens are output both as the traditional #define's, and, provided
+  the compiler supports ANSI C or is a C++ compiler, as enums.
+  This helps debuggers producing symbols instead of values.
+
+* Reports
+  In addition to --verbose, bison supports --report=THINGS, which
+  produces additional information:
+
+  `itemset'      complete the core item sets with their closure
+  `lookahead'    explicitly associate lookaheads to items
+

 \f
 Changes in version 1.35, 2002-03-25:
 
 \f
 Changes in version 1.35, 2002-03-25: