+2002-06-30 Akim Demaille <akim@epita.fr>
+
+ * src/state.h (state_number_t, STATE_NUMBER_MAX): New.
+ * src/LR0.c, src/LR0.h, src/conflicts.c, src/lalr.c, src/lalr.h,
+ * src/output.c, src/print.c, src/print_graph.c: Propagate.
+ * src/LR0.h, src/LR0.h (final_state): Is a state_t*.
+
+2002-06-30 Akim Demaille <akim@epita.fr>
+
+ Make the test suite pass with warnings checked.
+
+ * tests/actions.at (Printers and Destructors): Improve.
+ Avoid unsigned vs. signed issues.
+ * tests/calc.at: Don't exercise the scanner here, do it...
+ * tests/input.at (Torturing the Scanner): here.
+
+
+2002-06-28 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
+
+ * data/glr.c: Correct typo in Emacs-mode directive. Slightly
+ reorganize first lines parallel to yacc.c.
+
+2002-06-28 Akim Demaille <akim@epita.fr>
+
+ * data/c.m4 (b4_copyright, b4_sint_type, b4_uint_type, b4_token_define)
+ (b4_token_enum, b4_token_defines): New, factored from...
+ * data/lalr1.cc, data/yacc.c, glr.c: here.
+
+2002-06-28 Akim Demaille <akim@epita.fr>
+
+ * data/yacc.c (yydestruct, yysymprint): Pacify GCC warnings for
+ unused variables.
+ * src/output.c (merger_output): static.
+
+2002-06-28 Akim Demaille <akim@epita.fr>
+
+ * src/reader.h: s/grammer_current_rule_merge_set/grammar_.../.
+ * src/conflicts.c (conflicts_total_count): `i' is unsigned, to
+ pacify GCC.
+ * src/output.c (save_row): Initialize all the variables to pacify GCC.
+
+2002-06-27 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
+
+ Accumulated changelog for new GLR parsing features.
+
+ * src/conflicts.c (count_total_conflicts): Change name to
+ conflicts_total_count.
+ * src/conflicts.h: Ditto.
+ * src/output.c (token_actions): Use the new name.
+ (output_conflicts): Change conflp => conflict_list_heads, and
+ confl => conflict_list for better readability.
+ * data/glr.c: Use the new names.
+ * NEWS: Add self to GLR announcement.
+
+ * src/reader.c (free_merger_functions): Cleanup: XFREE->free.
+
+ * doc/bison.texinfo (GLR Parsers): Make corrections suggested by
+ Akim Demaille.
+
+ * data/bison.glr: Change name to glr.c
+ * data/glr.c: Renamed from bison.glr.
+ * data/Makefile.am: Add glr.c
+
+ * src/getargs.c:
+
+ * src/symlist.h: Add dprec and merger fields to symbol_list_s.
+ * src/symlist.c (symbol_list_new): Initialize dprec and merger fields.
+
+ Originally 2002-06-16 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
+
+ * data/bison.glr: Be sure to restore the
+ current #line when returning to the skeleton contents after having
+ exposed the input file's #line.
+
+ Originally 2002-06-13 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
+
+ * data/bison.glr: Bring up to date with changes to bison.simple.
+
+ Originally 2002-06-03 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
+
+ * data/bison.glr: Correct definitions that use b4_prefix.
+ Various reformatting.
+ (GLRStack): Make yychar (in YYPURE case) and yytokenp as part of stack.
+ (yyreportParseError, yyrecoverParseError, yyprocessOneStack): remove
+ yytokenp argument; now part of stack.
+ (yychar): Define to behave as documented.
+ (yyclearin): Ditto.
+
+ Originally 2002-05-14 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
+
+ * src/reader.h: Add declaration for free_merger_functions.
+
+ * src/reader.c (merge_functions): New variable.
+ (get_merge_function): New function.
+ (free_merger_functions): New function.
+ (readgram): Check for %prec that is not followed by a symbol.
+ Handle %dprec and %merge declarations.
+ (packgram): Initialize dprec and merger fields in rules array.
+
+ * src/output.c (conflict_tos, conflrow, conflict_table, conflict_list,
+ conflict_list_cnt, conflict_list_free): New variables.
+ (table_grow): Also grow conflict_table.
+ (prepare_rules): Output dprec and merger tables.
+ (conflict_row): New function.
+ (action_row): Output conflict lists for GLR parser. Don't use
+ default reduction in conflicted states for GLR parser so that there
+ are spaces for the conflict lists.
+ (save_row): Also save conflict information.
+ (token_actions): Allocate conflict list.
+ (merger_output): New function.
+ (pack_vector): Pack conflict table, too.
+ (output_conflicts): New function to output yyconflp and yyconfl.
+ (output_check): Allocate conflict_tos.
+ (output_actions): Output conflict tables, also.
+ (output_skeleton): Output b4_mergers definition.
+ (prepare): Output b4_max_rhs_length definition.
+ Use 'bison.glr' as default skeleton for GLR parsers.
+
+ * src/gram.c (glr_parser): New flag.
+ (grammar_free): Call free_merger_functions.
+
+ * src/conflicts.c (count_rr_conflicts): Augment to optionally count
+ all pairs of conflicting reductions, rather than just all tokens
+ causing conflicts. Needed to size conflict tables.
+ (conflicts_output): Modify call to count_rr_conflicts for new
+ interface.
+ (conflicts_print): Ditto.
+ (count_total_conflicts): New function.
+
+ * src/reader.h (merger_list): New type.
+ (merge_functions): New variable.
+
+ * src/lex.h (tok_dprec, tok_merge): New token types.
+
+ * src/gram.h (rule_s): Add dprec and merger fields.
+ (glr_parser): New flag.
+
+ * src/conflicts.h (count_total_conflicts): New function.
+
+ * src/options.c (option_table): Add %dprec, %merge, and %glr-parser.
+
+ * doc/bison.texinfo (Generalized LR Parsing): New section.
+ (GLR Parsers): New section.
+ (Language and Grammar): Mention GLR parsing.
+ (Table of Symbols): Add %dprec, %glr-parser, %merge, GLR
+ Correct typo ("tge" -> "the").
+
+ * data/bison.glr: New skeleton for GLR parsing.
+
+ * tests/cxx-gram.at: New tests for GLR parsing.
+
+ * tests/testsuite.at: Include cxx-gram.at.
+
+ * tests/Makefile.am: Add cxx-gram.at.
+
+ * src/parse-gram.y:
+
+ * src/scan-gram.l: Add %dprec, %glr-parser, %merge.
+
+ * src/parse-gram.y: Grammar for %dprec, %merge, %glr-parser.
+
+2002-06-27 Akim Demaille <akim@epita.fr>
+
+ * src/options.h, src/options.c: Remove.
+ * src/getargs.c (short_options, long_options): New.
+
+2002-06-27 Akim Demaille <akim@epita.fr>
+
+ * data/bison.simple, data/bison.c++: Rename as...
+ * data/yacc.c, data/lalr1.cc: these.
+ * doc/bison.texinfo (Environment Variables): Remove.
+
+2002-06-25 Raja R Harinath <harinath@cs.umn.edu>
+
+ * src/getargs.c (report_argmatch): Initialize strtok().
+
+2002-06-20 Akim Demaille <akim@epita.fr>
+
+ * data/bison.simple (b4_symbol_actions): New, replaces...
+ (b4_symbol_destructor, b4_symbol_printer): these.
+ (yysymprint): Be sure to call YYPRINT only for tokens, and using
+ user token numbers.
+
+2002-06-20 Akim Demaille <akim@epita.fr>
+
+ * data/bison.simple (yydestructor): Rename as...
+ (yydestruct): this.
+
+2002-06-20 Akim Demaille <akim@epita.fr>
+
+ * src/symtab.h, src/symtab.c (symbol_type_set)
+ (symbol_destructor_set, symbol_precedence_set): The location is
+ the last argument.
+ Adjust all callers.
+
+2002-06-20 Akim Demaille <akim@epita.fr>
+
+ * src/parse-gram.y (YYPRINT, yyprint): Don't mess with the parser
+ internals.
+ * src/reader.h, src/reader.c (grammar_current_rule_prec_set):
+ Takes a location.
+ * src/symtab.h, src/symtab.c (symbol_class_set)
+ (symbol_user_token_number_set): Likewise.
+ Adjust all callers.
+ Promote complain_at.
+ * tests/input.at (Type Clashes): Adjust.
+
+2002-06-20 Akim Demaille <akim@epita.fr>
+
+ * data/bison.simple (YYLEX): Fix the declaration when
+ %pure-parser.
+
+2002-06-20 Akim Demaille <akim@epita.fr>
+
+ * data/bison.simple (yysymprint): Don't print the token number,
+ just its name.
+ * tests/actions.at (Destructors): Rename as...
+ (Printers and Destructors): this.
+ Also exercise %printer.
+
+2002-06-20 Akim Demaille <akim@epita.fr>
+
+ * data/bison.simple (YYDSYMPRINT): New.
+ Use it to remove many of the #if YYDEBUG/if (yydebug).
+
+2002-06-20 Akim Demaille <akim@epita.fr>
+
+ * src/symtab.h, src/symtab.c (symbol_t): printer and
+ printer_location are new members.
+ (symbol_printer_set): New.
+ * src/parse-gram.y (PERCENT_PRINTER): New token.
+ Handle its associated rule.
+ * src/scan-gram.l: Adjust.
+ (handle_destructor_at, handle_destructor_dollar): Rename as...
+ (handle_symbol_code_at, handle_symbol_code_dollar): these.
+ * src/output.c (symbol_printers_output): New.
+ (output_skeleton): Call it.
+ * data/bison.simple (yysymprint): New. Cannot be named yyprint
+ since there are already many grammar files with a user `yyprint'.
+ Replace the calls to YYPRINT to calls to yysymprint.
+ * tests/calc.at: Adjust.
+ * tests/torture.at (AT_DATA_STACK_TORTURE): Remove YYPRINT: it was
+ taking advantage of parser very internal details (stack size!).
+
+2002-06-20 Akim Demaille <akim@epita.fr>
+
+ * src/scan-gram.l: Complete the scanner with the missing patterns
+ to pacify Flex.
+ Use `quote' and `symbol_tag_get' where appropriate.
+
+2002-06-19 Akim Demaille <akim@epita.fr>
+
+ * tests/actions.at (Destructors): Augment to test locations.
+ * data/bison.simple (yydestructor): Pass it the current location
+ if locations are enabled.
+ Prototype only when __STDC__ or C++.
+ Change the argument names to move into the yy name space: there is
+ user code here.
+
+2002-06-19 Akim Demaille <akim@epita.fr>
+
+ * data/bison.simple (b4_pure_if): New.
+ Use it instead of #ifdef YYPURE.
+
+2002-06-19 Akim Demaille <akim@epita.fr>
+
+ * data/bison.simple (b4_location_if): New.
+ Use it instead of #ifdef YYLSP_NEEDED.
+
+2002-06-19 Akim Demaille <akim@epita.fr>
+
+ Prepare @$ in %destructor, but currently don't bind it in the
+ skeleton, as %location use is not cleaned up yet.
+
+ * src/scan-gram.l (handle_dollar, handle_destructor_at)
+ (handle_action_at): New.
+ (handle_at, handle_action_dollar, handle_destructor_dollar): Take
+ a braced_code_t and a location as additional arguments.
+ (handle_destructor_dollar): Instead of requiring `b4_eval', just
+ unquote one when outputting `b4_dollar_dollar'.
+ Adjust callers.
+ * data/bison.simple (b4_eval): Remove.
+ (b4_symbol_destructor): Adjust.
+ * tests/input.at (Invalid @n): Adjust.
+
+2002-06-19 Zack Weinberg <zack@codesourcery.com>
+
+ * doc/bison.texinfo: Document ability to have multiple
+ prologue sections.
+
+2002-06-18 Akim Demaille <akim@epita.fr>
+
+ * src/files.c (compute_base_names): When computing the output file
+ names from the input file name, strip the directory part.
+
+2002-06-18 Akim Demaille <akim@epita.fr>
+
+ * data/bison.simple.new: Comment changes.
+ Reported by Andreas Schwab.
+
+2002-06-18 Matt Kraai <kraai@alumni.cmu.edu>
+
+ * data/bison.simple (yyoverflowlab): #ifndef yyoverflow, so that
+ there are no `label `yyoverflowlab' defined but not used' warnings
+ when yyoverflow is defined.
+
+2002-06-18 Akim Demaille <akim@epita.fr>
+
+ * src/symtab.h, src/symtab.c (symbol_t): destructor_location is a
+ new member.
+ (symbol_destructor_set): Adjust.
+ * src/output.c (symbol_destructors_output): Output the destructor
+ locations.
+ Output the symbol name.
+ * data/bison.simple (b4_symbol_destructor): Adjust.
+
+2002-06-18 Cris Bailiff <c.bailiff@awayweb.com>
+ and Akim Demaille <akim@epita.fr>
+
+ * data/bison.simple.new (yyerrlab1): Be sure to pop and destroy
+ what's left on the stack when the error recovery hits EOF.
+ * tests/actions.at (Destructors): Complete to exercise this case.
+
+2002-06-17 Akim Demaille <akim@epita.fr>
+
+ * data/m4sugar/m4sugar.m4 (m4_map): Recognize when the list of
+ arguments is really empty, not only equal to `[]'.
+ * src/symtab.h, src/symtab.c (symbol_t): `destructor' is a new
+ member.
+ (symbol_destructor_set): New.
+ * src/output.c (symbol_destructors_output): New.
+ * src/reader.h (brace_code_t, current_braced_code): New.
+ * src/scan-gram.l (BRACED_CODE): Use it to branch on...
+ (handle_dollar): Rename as...
+ (handle_action_dollar): this.
+ (handle_destructor_dollar): New.
+ * src/parse-gram.y (PERCENT_DESTRUCTOR): New.
+ (grammar_declaration): Use it.
+ * data/bison.simple (yystos): Is always defined.
+ (yydestructor): New.
+ * tests/actions.at (Destructors): New.
+ * tests/calc.at (_AT_CHECK_CALC_ERROR): Don't rely on egrep.
+
+2002-06-17 Akim Demaille <akim@epita.fr>
+
+ * src/symlist.h, src/symlist.c (symbol_list_length): New.
+ * src/scan-gram.l (handle_dollar, handle_at): Compute the
+ rule_length only when needed.
+ * src/output.c (actions_output, token_definitions_output): Output
+ the full M4 block.
+ * src/symtab.c: Don't access directly to the symbol tag, use
+ symbol_tag_get.
+ * src/parse-gram.y: Use symbol_list_free.
+
+2002-06-17 Akim Demaille <akim@epita.fr>
+
+ * src/reader.h, src/reader.c (symbol_list, symbol_list_new)
+ (symbol_list_prepend, get_type_name): Move to...
+ * src/symlist.h, src/symlist.c (symbol_list_t, symbol_list_new)
+ (symbol_list_prepend, symbol_list_n_type_name_get): here.
+ Adjust all callers.
+ (symbol_list_free): New.
+ * src/scan-gram.l (handle_dollar): Takes a location.
+ * tests/input.at (Invalid $n): Adjust.
+
+2002-06-17 Akim Demaille <akim@epita.fr>
+
+ * src/reader.h, src/reader.c (symbol_list_new): Export it.
+ (symbol_list_prepend): New.
+ * src/parse-gram.y (%union): `list' is a new member.
+ (symbols.1): New, replaces...
+ (terms_to_prec.1, nterms_to_type.1): these.
+ * src/symtab.h, src/symtab.c (symbol_type_set, symbol_precedence_set)
+ Take a location as additional argument.
+ Adjust all callers.
+
+2002-06-15 Akim Demaille <akim@epita.fr>
+
+ * src/parse-gram.y: Move %token in the declaration section so that
+ we don't depend upon CVS Bison.
+
+2002-06-15 Akim Demaille <akim@epita.fr>
+
+ * src/state.h, src/state.c (state_rule_lookaheads_print): New.
+ * src/print.c (print_core): Use it.
+
+2002-06-15 Akim Demaille <akim@epita.fr>
+
+ * src/conflicts.c (log_resolution): Accept the rule involved in
+ the sr conflicts instead of the lookahead number that points to
+ that rule.
+ (flush_reduce): Accept the current lookahead vector as argument,
+ instead of the index in LA.
+ (resolve_sr_conflict): Accept the current number of lookahead
+ bitset to consider for the STATE, instead of the index in LA.
+ (set_conflicts): Adjust.
+ * src/lalr.c, src/lalr.h, src/state.h: Comment changes.
+
+2002-06-15 Akim Demaille <akim@epita.fr>
+
+ * src/state.h (state_t): Replace the `lookaheadsp' member, a
+ short, with `lookaheads' (bitsetv), `lookaheads_rule' (rule_t**).
+ Adjust all dependencies.
+ * src/lalr.c (initialize_lookaheads): Split into...
+ (states_lookaheads_count, states_lookaheads_initialize): these.
+ (lalr): Adjust.
+
+2002-06-15 Akim Demaille <akim@epita.fr>
+
+ * src/gram.h, src/gram.c (grammar_rules_partial_print): New, eved
+ out of...
+ (grammar_rules_print): here.
+ * src/reduce.c (reduce_output): Use it.
+ * tests/reduce.at (Useless Rules, Reduced Automaton)
+ (Underivable Rules): Adjust.
+
+2002-06-15 Akim Demaille <akim@epita.fr>
+
+ Copy BYacc's nice way to report the grammar.
+
+ * src/gram.h, src/gram.c (grammar_rhs_print, grammar_rules_print):
+ New.
+ Don't print the rules' location, it is confusing and useless.
+ (rule_print): Use grammar_rhs_print.
+ * src/print.c (print_grammar): Use grammar_rules_print.
+
+2002-06-15 Akim Demaille <akim@epita.fr>
+
+ Complete and rationalize `useless thing' warnings.
+
+ * src/symtab.h, src/symtab.c (symbol_tag_get, symbol_tag_get_n)
+ (symbol_tag_print): New.
+ Use them everywhere in place of accessing directly the tag member.
+ * src/gram.h, src/gram.c (rule_print): New.
+ Use it where a rule used to be printed `by hand'.
+ * src/reduce.c (nonterminals_reduce): Report the use nonterminals.
+ (reduce_grammar_tables): Report the useless rules.
+ (reduce_print): Useless things are a warning, not an error.
+ Report it as such.
+ * tests/reduce.at (Useless Nonterminals, Useless Rules):
+ (Reduced Automaton, Underivable Rules): Adjust.
+ * tests/regression.at (Web2c Report, Web2c Report): Adjust.
+ * tests/conflicts.at (Unresolved SR Conflicts)
+ (Solved SR Conflicts): Adjust.
+
+2002-06-15 Akim Demaille <akim@epita.fr>
+
+ Let symbols have a location.
+
+ * src/symtab.h, src/symtab.c (symbol_t): Location is a new member.
+ (getsym): Adjust.
+ Adjust all callers.
+ * src/complain.h, src/complain.c (complain_at, fatal_at, warn_at):
+ Use location_t, not int.
+ * src/symtab.c (symbol_check_defined): Take advantage of the
+ location.
+ * tests/regression.at (Invalid inputs): Adjust.
+
2002-06-15 Akim Demaille <akim@epita.fr>
* src/parse-gram.y (YYLLOC_DEFAULT, current_lhs_location): New.
* tests/regression.at (Web2c Report, Rule Line Numbers): Adjust
the line numbers.
-
2002-06-14 Akim Demaille <akim@epita.fr>
Grammar declarations may be found in the grammar section.
projects / bison.git / blobdiff