+2009-10-06 Joel E. Denny <jdenny@clemson.edu>
+
+ * TODO (Complaint submessage indentation): New.
+
+2009-10-04 Joel E. Denny <jdenny@clemson.edu>
+
+ Minor code cleanup.
+ * src/parse-gram.y: Clean up sorting of declarations.
+ Use types to simplify %printer declarations where possible.
+ Provide %printer for BRACKETED_ID and symbol.prec.
+ * src/symtab.c: Whitespace change.
+
+2009-10-04 Joel E. Denny <jdenny@clemson.edu>
+
+ tests: skip tests of file names that platform does not support.
+ Reported by Michael Raskin at
+ <http://lists.gnu.org/archive/html/bug-bison/2009-09/msg00001.html>.
+ * THANKS (Michael Raskin): Add.
+ * tests/output.at (AT_CHECK_OUTPUT_FILE_NAME): Fix. Cygwin used
+ to fail at least for file names containing ":" or "\".
+
+2009-09-23 Joel E. Denny <jdenny@clemson.edu>
+
+ yysyntax_error: avoid duplicate lookahead collection.
+ Except when memory reallocation is required, this change
+ eliminates the need to invoke yysyntax_error twice and thus to
+ repeat the collection of lookaheads. It also prepares for
+ future extensions that will make those repetitions more
+ expensive and that will require additional memory management in
+ yysyntax_error. Finally, it fixes an obscure bug already
+ exercised in the test suite.
+ * data/yacc.c (yysyntax_error): Add arguments for message
+ buffer variables stored in the parser. Instead of size, return
+ status similar to yyparse status but indicating success of
+ message creation. Other than the actual reallocation of the
+ message buffer, import and clean up memory management code
+ from...
+ (yyparse, yypush_parse): ... here.
+ * tests/regression.at (parse.error=verbose overflow): No longer
+ an expected failure.
+
+2009-09-23 Joel E. Denny <jdenny@clemson.edu>
+
+ yysyntax_error: test memory management more.
+ * tests/atlocal.in (NO_WERROR_CFLAGS): New cpp macro.
+ * tests/regression.at (parse.error=verbose and
+ YYSTACK_USE_ALLOCA): New test group.
+ (parse.error=verbose overflow): New test group that reveals an
+ obscure bug. Expected fail for now.
+
+2009-10-04 Joel E. Denny <jdenny@clemson.edu>
+
+ benchmarks: use %debug consistently among grammars.
+ * etc/bench.pl.in (generate_grammar_triangular): Do not activate
+ %debug by default. It can affect the timings even if yydebug=0.
+ (generate_grammar_calc): For consistency with other grammars,
+ use YYDEBUG environment variable to set yydebug.
+
+2009-10-03 Joel E. Denny <jdenny@clemson.edu>
+
+ Remove dead code.
+ * src/symtab.c (symbol_pack): Here because every symbol's number
+ is always defined by this time.
+
+2009-10-03 Alex Rozenman <rozenman@gmail.com>
+
+ Add additional space after periods in NEWS.
+ * NEWS (2.5): here.
+
+2009-09-29 Joel E. Denny <jdenny@clemson.edu>
+
+ Use the correct conversion specifier for size_t.
+ Reported by Jim Meyering.
+ * src/Sbitset.h (SBITSET__INDEX__CONVERSION_SPEC): New, "zu"
+ because Sbitset__Index is size_t.
+ * src/Sbitset.c (Sbitset__fprint): Use it instead of %d.
+
+2009-09-27 Joel E. Denny <jdenny@clemson.edu>
+
+ tests: don't abuse AT_BISON_CHECK.
+ * tests/regression.at (parse-gram.y: LALR = IELR): Move
+ additional shell commands outside of AT_BISON_CHECK.
+
+2009-09-26 Joel E. Denny <jdenny@clemson.edu>
+
+ tests: check that parse-gram.y's IELR and LALR are identical.
+ * tests/atlocal.in (abs_top_srcdir): New shell variable.
+ * tests/regression.at (parse-gram.y: LALR = IELR): New test
+ group.
+
+2009-09-19 Alex Rozenman <rozenman@gmail.com>
+
+ Keep sub-messages aligned. Fix strings for translation.
+ * src/location.h (location_print): Add return value.
+ * src/location.c (location_print): Return number of printed
+ characters.
+ * src/complain.h (complain_at_indent, warn_at_indent): Prototype
+ new functions.
+ * src/complain.cpp (indent_ptr): New static variable.
+ (error_message, complain_at_indent, warn_at_indent): Implement
+ the alignment mechanism.
+ * src/scan-code.l (parse_ref, show_sub_messages): Fix strings
+ for translations. Use new alignment mechanism.
+ * tests/named-ref.at: Adjust test-cases.
+ * NEWS (2.5): Add an announcement about named references.
+
+2009-09-17 Akim Demaille <demaille@gostai.com>
+
+ doc: fixes.
+ * doc/bison.texinfo: here.
+ Reported by Alex Rozenman.
+
+2009-09-16 Akim Demaille <demaille@gostai.com>
+
+ doc: lalr1.cc and variants.
+ * doc/bison.texinfo (Decl Summary): Document the "lex_symbol" and
+ "variant" %define variables.
+ (C++ Semantic Values): Split into...
+ (C++ Unions, C++ Variants): these.
+ The latter is new.
+ (C++ Parser Interface): Fix type names.
+ Document parser::syntax_error.
+ Document the fact that locations are not mandatory.
+ (C++ Scanner Interface): Split into...
+ (Split Symbols, Complete Symbols): these.
+ The later is new.
+ (Calc++ Parsing Driver): Use variants.
+ Add more comments.
+ Adjust style.
+ (Calc++ Parser): Declare all the tokens, no
+ longer accept raw characters.
+ Remove %union.
+ Adjust types and printers.
+ Remove destructors.
+ (Calc++ Scanner): Use make_<SYMBOL> functions.
+ Use strerror in error message.
+
+2009-09-16 Akim Demaille <demaille@gostai.com>
+
+ doc: spell checking.
+ * doc/bison.texinfo: here.
+
+2009-09-16 Akim Demaille <demaille@gostai.com>
+
+ doc: comment changes.
+ * doc/bison.texinfo: Comment changes.
+
+2009-09-16 Akim Demaille <demaille@gostai.com>
+
+ lalr1.cc: factor the yytranslate_ invocation in make_SYMBOLS.
+ * data/c++.m4, data/lalr1.cc (parser::symbol_type): Change the
+ constructor to take a token_type instead of the (internal) symbol
+ number.
+ Call yytranslate_.
+ * data/variant.hh (b4_symbol_constructor_define_): Therefore,
+ don't call yytranslate_ here.
+
+2009-09-16 Akim Demaille <demaille@gostai.com>
+
+ TODO: statistics.
+ * TODO (Figures): New.
+
+2009-09-13 Joel E. Denny <jdenny@clemson.edu>
+
+ tests: clean up push.at test group titles.
+ * tests/push.at: Remove "Push Parsing: " from test group titles
+ because these are already under the banner "Push Parsing Tests".
+
+2009-09-12 Alex Rozenman <rozenman@gmail.com>
+
+ Provide an additional sub-message for clarity.
+ Add "symbol not found in production" error message when
+ an "invalid reference" is detected in named references
+ resolution.
+ * src/scan-code.l: Update "invalid reference" case.
+ * tests/named-ref.at: Adjust test-cases.
+
+2009-09-10 Joel E. Denny <jdenny@clemson.edu>
+
+ Clean up yacc.c a little.
+ * data/yacc.c: Clean up M4 for readability, and make output
+ whitespace more consistent. For the main parse function
+ comment, instead of saying "yyparse or yypush_parse", say either
+ "yyparse" or "yypush_parse" depending on which it actually is.
+
+2009-09-10 Joel E. Denny <jdenny@clemson.edu>
+
+ Fix --enable-gcc-warnings.
+ * src/parse-gram.y (%printer <param>): Handle param_none.
+
+2009-09-09 Akim Demaille <demaille@gostai.com>
+
+ lalr1.cc: syntax_error as exceptions.
+ It is common to use sort of factories in the user actions. These
+ factories may check some "syntactic" constraints that are not
+ enforced by the grammar itself. This is possible using YYERROR
+ within the action itself. Provide the user with a means to throw
+ a syntax_error exception.
+
+ * data/c++.m4 (b4_public_types_declare, b4_public_types_define):
+ Declare and define yy::parser::syntax_error.
+ * data/lalr1.cc: Include stdexcept.
+ (yy::parser::parse): Wrap the user action within a try/catch.
+ * data/glr.cc: Include stdexcept.
+
+2009-09-09 Akim Demaille <demaille@gostai.com>
+
+ lalr1.cc: add missing "inline".
+ * data/c++.m4 (b4_public_types_define): Add missing inline to
+ implementations provided in headers.
+
+2009-09-09 Akim Demaille <demaille@gostai.com>
+
+ %param: documentation.
+ * NEWS (2.6): Document %param, %lex-param, and %parse-param
+ changes.
+ * doc/bison.texinfo: Document that %lex-param and %parse-param
+ are n-ary.
+ Changes some examples to demonstrate it.
+ (Calc++ Parser): Use %param.
+
+2009-09-09 Akim Demaille <demaille@gostai.com>
+
+ Regen.
+
+2009-09-09 Akim Demaille <demaille@gostai.com>
+
+ style changes.
+ * src/parse-gram.y (add_param): Scope changes.
+
+2009-09-09 Akim Demaille <demaille@gostai.com>
+
+ %parse: support several arguments.
+ * src/parse-gram.y (current_param): New.
+ (param_type): Add param_none.
+ (params): New nonterminal.
+ Use it.
+
+2009-09-09 Akim Demaille <demaille@gostai.com>
+
+ Regen.
+
+2009-09-09 Akim Demaille <demaille@gostai.com>
+
+ %param.
+ Provide a means to factor lex-param and parse-param common
+ declarations.
+
+ * src/parse-gram.y (param_type): New.
+ Define a %printer for it.
+ (add_param): Use it.
+ (%parse-param, %lex-param): Merge into...
+ (%parse): this new token.
+ Adjust the grammar to use it.
+ * src/scan-gram.l (RETURN_VALUE): New.
+ (RETURN_PERCENT_FLAG): Use it.
+ (RETURN_PERCENT_PARAM): New.
+ Use it to support %parse-param, %lex-param and %param.
+
+2009-09-03 Joel E. Denny <jdenny@clemson.edu>
+
+ Use aver not assert.
+ * src/output.c: Don't include assert.h.
+ (output_skeleton): Use aver not assert.
+ * src/system.h (aver): In documentation of why, add links to
+ Paul Eggert's explanations in the mailing lists.
+
+2009-09-05 Alex Rozenman <rozenman@gmail.com>
+
+ Use "Unresolved reference" error message when no symbols were found
+ in a symbolic reference resolution. Remove .expr and -expr from
+ the shown reference when the reference is unresolved.
+ * src/scan-code.l: Change the error message, adjust location columns,
+ rename variable "exact_mode" to "explicit_bracketing".
+ * tests/named-ref.at: Adjust existing tests and add a new one.
+
+2009-09-04 Akim Demaille <demaille@gostai.com>
+
+ Adjust synclines in src/parse-gram.[ch].
+ * tests/bison.in: Do some magic (including working around issues
+ with ylwrap) when this wrapper is used to compile
+ src/parse-gram.y.
+
+2009-09-03 Joel E. Denny <jdenny@clemson.edu>
+
+ Complain about unused %define variables and %code qualifiers.
+ * NEWS (2.5): Document.
+ * data/bison.m4 (b4_check_user_names): Complain instead of warn.
+ * doc/bison.texinfo (Decl Summary): Document complaint, and
+ improve %define documentation a little otherwise.
+ * tests/input.at (Reject unused %code qualifiers): Update.
+ (%define errors): Update.
+ (%define, --define, --force-define): Update.
+ (%define backward compatibility): Update.
+ (Unused %define api.pure): Update.
+ * tests/push.at (Push Parsing: Unsupported Skeletons): Update.
+
+2009-09-03 Joel E. Denny <jdenny@clemson.edu>
+
+ Don't suppress warnings about unused parse.error.
+ * data/bison.m4 (b4_error_verbose_flag): Don't examine value of
+ %define variable parse.error unless b4_error_verbose_flag is
+ actually expanded in a skeleton.
+
+2009-09-03 Akim Demaille <demaille@gostai.com>
+
+ * NEWS (2.4.2): Add "Internationalization" item.
+
+2009-09-03 Akim Demaille <demaille@gostai.com>
+
+ bootstrap: fix/improve find_tool.
+ * bootstrap (find_tool): Improve error messages.
+ Fix typo about find_tool_names.
+
+2009-08-29 Joel E. Denny <jdenny@clemson.edu>
+
+ Fix gcc 3.4.4 shadowing warning reported by Eric Blake.
+ See
+ <http://lists.gnu.org/archive/html/bison-patches/2009-08/msg00093.html>.
+ * src/scan-code.h (code_props_rule_action_init): Rename
+ named_ref arg to name so it doesn't shadow named_ref type. This
+ makes it consistent with the function definition in scan-code.l
+ anyway.
+
+2009-08-28 Joel E. Denny <jdenny@clemson.edu>
+
+ %define: accept unquoted values.
+ * NEWS (2.5): Group all %define changes together, and document
+ this one. Remove quotes in IELR and canonical LR entry.
+ * doc/bison.texinfo: Remove quotes in most examples throughout.
+ (Decl Summary): Update %define documentation.
+ (Table of Symbols): Likewise.
+ * src/ielr.c (LrType): Update documentation.
+ * src/parse-gram.y (content.opt): Add production for ID.
+ * tests/actions.at: Remove quotes in most tests.
+ * tests/calc.at: Likewise.
+ * tests/existing.at: Likewise.
+ * tests/input.at: Likewise.
+ * tests/local.at: Likewise.
+ * tests/push.at: Likewise.
+ * tests/reduce.at: Likewise.
+ * tests/torture.at: Likewise.
+
+2009-08-28 Joel E. Denny <jdenny@clemson.edu>
+
+ %define lr.type: make values lowercase IDs.
+ That is, "LALR" => "lalr", "IELR" => "ielr", and
+ "canonical LR" => "canonical-lr".
+ * NEWS (2.5): Update documentation.
+ * doc/bison.texinfo (Decl Summary): Likewise.
+ * src/ielr.c (ielr): Use new values.
+ * src/ielr.h (ielr): Update documentation.
+ * src/reader.c (prepare_percent_define_front_end_variables): Use
+ and validate new values.
+ * tests/existing.at (AT_TEST_EXISTING_GRAMMAR): Update test
+ grammars.
+ * tests/reduce.at (AT_TEST_LR_TYPE): Likewise.
+
+2009-08-27 Eric Blake <ebb9@byu.net>
+
+ scan-gram: avoid portability trap with ctype usage.
+ * src/scan-gram.l (<SC_ESCAPED_STRING,SC_ESCAPED_CHARACTER>):
+ Avoid compiler warning.
+
+2009-08-27 Joel E. Denny <jdenny@clemson.edu>
+
+ tests: use perl for printing special sequences to files.
+ And skip tests if perl is not available. This is better than
+ playing tricks with shell portability. Suggested by Akim
+ Demaille.
+ * tests/input.at (Bad character literals): Use it here for
+ omitting final newlines.
+ (Bad escapes in literals): Use it here for special characters.
+
+2009-08-26 Joel E. Denny <jdenny@clemson.edu>
+
+ tests: show a use of %define lr.default-reductions "consistent"
+ * tests/conflicts.at (%nonassoc and eof): Extend to test that it
+ prevents the omission of expected tokens for %error-verbose.
+
+2009-08-26 Akim Demaille <demaille@gostai.com>
+
+ tests: portability fix.
+ * tests/input.at (Bad escapes in literals): Don't expect "echo
+ '\0'" to output \ then 0.
+
+2009-08-26 Joel E. Denny <jdenny@clemson.edu>
+
+ Actually handle the yytable zero value correctly this time.
+ * data/bison.m4 (b4_integral_parser_tables_map): Don't mention
+ zero values in the YYTABLE comments.
+ * data/glr.c (yytable_value_is_error): Don't check for zero
+ value.
+ * data/lalr1.cc (yy_table_value_is_error_): Likewise.
+ * data/yacc.c (yytable_value_is_error): Likewise.
+ * data/lalr1.java (yy_table_value_is_error_): Likewise.
+ (yysyntax_error): Fix typo in code: use yytable_ not yycheck_.
+ * src/tables.h: In header comments, explain why it's useless to
+ check for a zero value in yytable.
+
+2009-08-25 Joel E. Denny <jdenny@clemson.edu>
+
+ More fixes related to last two patches.
+ * data/bison.m4 (b4_integral_parser_tables_map): Fix YYTABLE
+ comments: zero indicates syntax error not default action.
+ * data/c.m4 (b4_table_value_equals): Comment that YYID must be
+ defined.
+ * data/glr.c (yyis_pact_ninf): Rename to...
+ (yypact_value_is_default): ... this.
+ (yyisDefaultedState): Update for rename.
+ (yyis_table_ninf): Rename to...
+ (yytable_value_is_error): ... this, and check for value zero
+ besides just YYTABLE_NINF.
+ (yygetLRActions): Check for default value from yypact. It
+ appears that this check is always performed before this function
+ is invoked, and so adding the check here is probably redundant.
+ However, the code may evolve after this subtlety is forgotten.
+ Also, update for rename to yytable_value_is_error. Because that
+ macro now checks for zero, a different but equivalent branch of
+ the if-then-else here is evaluated.
+ (yyreportSyntaxError): Update for rename to
+ yytable_value_is_error. The zero condition was mishandled
+ before.
+ (yyrecoverSyntaxError): Update for renames. No behavioral
+ changes.
+ * data/lalr1.cc, data/lalr1.java (yy_pact_value_is_default_):
+ New function.
+ (yy_table_value_is_error_): New function.
+ (parse): Use new functions where possible. No behavioral
+ changes.
+ (yysyntax_error_, yysyntax_error): Use yy_table_value_is_error_.
+ The zero condition was mishandled before.
+ * data/yacc.c (yyis_pact_ninf): Rename to...
+ (yypact_value_is_default): ... this.
+ (yyis_table_ninf): Rename to...
+ (yytable_value_is_error): ... this, and check for value zero
+ besides just YYTABLE_NINF.
+ (yysyntax_error): Update for rename to yytable_value_is_error.
+ The zero condition was mishandled before.
+ (yyparse): Update for renames. No behavioral changes.
+ * src/tables.h: Improve comments about yypact, yytable, etc.
+ more. Most importantly, say yytable value of zero means syntax
+ error not default action.
+
+2009-08-25 Joel E. Denny <jdenny@clemson.edu>
+
+ Fix %error-verbose for conflicts resolved by %nonassoc.
+ * NEWS (2.5): Document.
+ * data/glr.c (yyreportSyntaxError): Fix this by checking
+ yyis_table_ninf.
+ * data/yacc.c (yysyntax_error): Likewise.
+ * data/lalr1.cc (yysyntax_error_): Fix this by checking
+ yytable_ninf_.
+ * data/lalr1.java (yysyntax_error): Likewise.
+ * tests/conflicts.at (%nonassoc and eof): Update expected output
+ and remove FIXME.
+
+2009-08-25 Joel E. Denny <jdenny@clemson.edu>
+
+ Some code and documentation improvements.
+ * data/c.m4 (b4_table_value_equals): New macro to capture
+ some repeated code.
+ * data/glr.c (yyis_pact_ninf): Use it here.
+ (yyis_table_ninf): Likewise.
+ (yyreportSyntaxError): Improve internal comments.
+ * data/yacc.c (yyis_pact_ninf): New macro copied from glr.c.
+ Use it everywhere possible.
+ (yyis_table_ninf): Likewise.
+ (yysyntax_error): Improve internal comments.
+ * data/lalr1.cc (yysyntax_error_): Likewise.
+ * data/lalr1.java (yysyntax_error): Likewise.
+ * src/tables.h: Improve comments about yypact, yytable, etc.
+
+2009-08-21 Joel E. Denny <jdenny@clemson.edu>
+
+ Use locale when quoting.
+ * src/scan-gram.l (SC_ESCAPED_STRING, SC_ESCAPED_CHARACTER): Use
+ quote rather than implementing quoting here.
+
2009-08-20 Eric Blake <ebb9@byu.net>
Make previous patch more robust.
projects / bison.git / blobdiff