+2006-01-04 Paul Eggert <eggert@cs.ucla.edu>
+
+ * data/c.m4 (b4_c_modern): New macro, with a new provision for
+ _MSC_VER. Problem reported by Cenzato Marco.
+ (b4_c_function_def): Use it.
+ * data/yacc.c (YYMODERN_C): Remove. All uses replaced by
+ b4_c_modern.
+ (yystrlen, yystpcpy, yyparse): Use b4_c_function... macros rather
+ than rolling our own.
+
+2006-01-04 Akim Demaille <akim@epita.fr>
+
+ Also warn about non-used mid-rule values.
+ * src/symlist.h, src/symlist.c (symbol_list): Add a mid_rule
+ member.
+ (symbol_list_new): Adjust.
+ * src/reader.c (symbol_typed_p): New.
+ (grammar_rule_check): Use it.
+ (grammar_midrule_action): Bind a mid-rule LHS to its rule.
+ Check its rule.
+ * tests/input.at (AT_CHECK_UNUSED_VALUES): New.
+ Use it.
+ * tests/actions.at (Exotic Dollars): Adjust.
+
+2006-01-04 Akim Demaille <akim@epita.fr>
+
+ * src/reader.c (grammar_midrule_action): If $$ is set in a
+ mid-rule, move the `used' bit to its lhs.
+ * tests/input.at (Unused values): New.
+ * tests/actions.at (Exotic Dollars): Adjust: exp is not typed.
+
+2006-01-03 Paul Eggert <eggert@cs.ucla.edu>
+
+ * doc/bison.texinfo (Bison Options): Say more accurately what
+ --yacc does.
+ * src/parse-gram.y (rules_or_grammar_declaration): Don't complain
+ about declarations in the grammar when in Yacc mode, as POSIX does
+ not require a diagnostic when the grammar uses extensions.
+
+ * src/reduce.c (reduce_grammar): Remove unnecessary cast to bool.
+
+ Warn about dubious constructions like "%token T T".
+ Reported by twlevo.
+ * src/symtab.h (struct symbol.declared): New member.
+ * src/symtab.c (symbol_new): Initialize it to false.
+ (symbol_class_set): New arg DECLARING, specifying whether
+ this is a declaration that we want to warn about, if there
+ is more than one of them. All uses changed.
+
+ * data/glr.c, data/glr.cc, data/lalr1.cc, data/yacc.c:
+ Allow multiple %union directives, whose contents concatenate.
+ * src/parse-gram.y (grammar_declaration): Likewise.
+ Use muscle_code_grow, so that we don't need stype_line any more.
+ All uses changed.
+
+ * src/muscle_tab.c (muscle_grow): Fix comment.
+
+ * ChangeLog, data/c.m4, data/glr.c, data/glr.cc, data/location.cc:
+ * data/yacc.c, src/getargs.c, src/output.c, tests/cxx-type.at:
+ Update copyright year to 2006.
+
+2006-01-03 Akim Demaille <akim@epita.fr>
+
+ Have glr.cc pass (some of) the calc.at tests.
+ * data/glr.cc (b4_parse_param_orig): New.
+ (b4_parse_param): Improve its definition, and bound it more
+ clearly in the skeleton.
+ (b4_epilogue): Append, instead of prepending, in order to keep
+ #line consistency.
+ Simplify the generation of auxiliary functions: locations and
+ purity are mandated.
+ (b4_global_tokens_and_yystype): Honor it.
+ * data/location.cc (c++.m4): Don't include it.
+ * tests/local.at (_AT_BISON_OPTION_PUSHDEFS): Define AT_GLR_CC_IF
+ and AT_SKEL_CC_IF.
+ * tests/calc.at (AT_CHECK_CALC): Rely on AT_SKEL_CC_IF instead of
+ AT_LALR1_CC_IF.
+ Be sure to initialize the first position's filename.
+ (AT_CHECK_CALC_LALR1_CC): Add %location and %defines, they are
+ mandated anyway.
+ (AT_CHECK_CALC_GLR_CC): New.
+ Use it to exercise glr.cc as a lalr1.cc drop-in replacement.
+
projects / bison.git / blobdiff