X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/ffa4ba3aeff61dee4bc4f64ee3abedafe142af31..fab044e6daaffb8d45401cd37145affa1033c253:/ChangeLog diff --git a/ChangeLog b/ChangeLog index 3abf8f82..614a3982 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,8 +1,38 @@ +2006-06-27 Akim Demaille + + * doc/Doxyfile.in: New. + * doc/Makefile.am: Use it. + * src/lalr.h, src/symtab.h: Initial doxygenation. + +2006-06-26 Joel E. Denny + + Don't miss %merge result type warnings just because the LHS types are + declared after the %merge. This continues the effort of the previous + patch. + * src/reader.c (get_merge_function): Don't set the merger type yet. + (record_merge_function_type): New function for setting the merger type + and checking for clashes. + (grammar_current_rule_merge_set): Set the location of the %merge for + the current rule. + (packgram): Invoke record_merge_function_type for each rule now that + all symbol type declarations have been parsed. + * src/reader.h (merger_list.type_declaration_location): New member + storing the location of the first %merge from which the type for this + merging function was derived. + * src/symlist.h (symbol_list.merger_declaration_location): New member + storing the location of a rule's %merge, if any. + * tests/glr-regression.at (Missed %merge type warnings when LHS type is + declared later): New test to catch the error fixed by the above patch. + 2006-06-26 Joel E. Denny Get action warnings (grammar_rule_check) right even when symbol - declarations appear after the rules. Don't mistake the type of $$ in - a midrule to be that of its parent rule's $$. + declarations appear after the rules. Discussed at + + and + . + Don't mistake the type of $$ in a midrule to be that of its parent + rule's $$. * src/reader.c (grammar_current_rule_end): Don't invoke grammar_rule_check yet since not all symbol declarations may have been parsed yet.