X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/b365aa058967348e2161fe0e5c11d8943f13f4c2..b9f71f19cc20de68101ba1a9ae60753558247eca:/ChangeLog diff --git a/ChangeLog b/ChangeLog index 984bbc97..6583dc55 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,30 +1,176 @@ +2001-12-29 Akim Demaille + + * src/lalr.c (build_relations): Rename `states' as `states1'. + Sorry, I don't understand exactly what it is, no better name... + + +2001-12-29 Akim Demaille + + * src/closure.c, src/conflicts.c, src/derives.c, src/gram.c + * src/gram.h, src/lalr.c, src/nullable.c, src/output.c, src/print.c + * src/print_graph.c, src/reader.c, src/reduce.c: Rename rule_table + as rules. + + +2001-12-29 Akim Demaille + + * src/gram.c (rprec, rprecsym, rassoc): Remove, unused since long + ago. + + +2001-12-29 Akim Demaille + + * src/reader.c, src/reader.h (user_toknums): Remove. + Adjust all users to use symbols[i]->user_token_number. + + +2001-12-29 Akim Demaille + + * src/gram.c, src/gram.h (sprec, sassoc): Remove. + Adjust all users to use symbols[i]->prec or ->assoc. + + +2001-12-29 Akim Demaille + + * src/reader.c, src/reader.h (tags): Remove. + Adjust all users to use symbols[i]->tag. + + +2001-12-29 Akim Demaille + + * src/gram.h, src/gram.c (symbols): New, similar to state_table + and rule_table. + * src/reader.c (packsymbols): Fill this table. + Drop sprec. + * src/conflicts.c (resolve_sr_conflict): Adjust. + * src/reduce.c (reduce_grammar): Adjust: just sort symbols, a + single table. + Use symbols[i]->tag instead of tags[i]. + + +2001-12-29 Akim Demaille + + * tests/calc.at (_AT_DATA_CALC_Y): Also use %union. + In addition, put a comment in there, to replace... + * tests/regression.at (%union and C comments): Remove. + + +2001-12-29 Akim Demaille + + * tests/regression.at (Web2c Actions): Blindly move the actual + output as expected output. The contents *seem* right to me, but I + can't pretend reading perfectly parser tables... Nonetheless, all + the other tests pass correctly, the table look OK, even though the + presence of `$axiom' is to be noted: AFAICS it is useless (but + harmless). + + +2001-12-29 Akim Demaille + + * src/reader.c (readgram): Don't add the rule 0 if there were no + rules read. In other words, add it _after_ having performed + grammar sanity checks. + Fixes the `tests/regression.at (Invalid input: 1)' Failure. + + +2001-12-29 Akim Demaille + + * tests/regression.at (Web2c Report): Catch up: the rule 0 is now + visible, and some states have now a different number. + + +2001-12-29 Akim Demaille + + * src/reader.c (readgram): Bind the initial rule's lineno to that + of the first rule. + * tests/regression.at (Rule Line Numbers, Unresolved SR Conflicts): + (Solved SR Conflicts): Adjust rule 0's line number. + + +2001-12-29 Akim Demaille + + Fix the `GAWK Grammar' failure. + + * src/LR0.c (final_state): Initialize to -1 so that we do compute + the reductions of the first state which was mistakenly confused + with the final state because precisely final_state was initialized + to 0. + * tests/sets.at (Nullable): Adjust: state 0 does have lookaheads, + now noticed by Bison. + * tests/regression.at (Rule Line Numbers): Adjust: state 0 does + have a reduction on $default. + + +2001-12-29 Akim Demaille + + * src/gram.c (ritem_print): Be sure to subtract 1 when displaying + rule line numbers. + * src/closure.c (print_closure): Likewise. + * src/derives.c (print_derives): Likewise. + * tests/sets.at (Nullable): Adjust: the rule numbers are correct + now. + +2001-12-29 Akim Demaille + + * src/lalr.c (lookaheads_print): New. + (lalr): Call it when --trace-flag. + * tests/sets.at (Nullable): Adjust: when tracing, the lookaheads + are dumped. + + +2001-12-29 Akim Demaille + + * src/derives.c (print_derives): Be sure to use `>= 0', not `> 0', + when walking through ritem, even via rule->rhs. + * src/reduce.c (dump_grammar, useful_production, reduce_output) + (useful_production, useless_nonterminals): Likewise. + (reduce_grammar_tables): Likewise, plus update nritems. + * src/nullable.c (set_nullable): Likewise. + * src/lalr.c (build_relations): Likewise. + * tests/sets.at (Nullable): Adjust. + Fortunately, now, the $axiom is no longer nullable. + + +2001-12-29 Akim Demaille + + * src/LR0.c (generate_states): Use nritems, not nitems, nor using + the 0-sentinel. + * src/gram.c (ritem_longest_rhs): Likewise. + * src/reduce.c (nonterminals_reduce): Likewise. + * src/print_graph.c (print_graph): Likewise. + * src/output.c (output_rule_data): Likewise. + * src/nullable.c (set_nullable): Likewise. + +2001-12-29 Akim Demaille + + * src/output.c: Comment changes. + +2001-12-27 Paul Eggert + + * src/bison.simple (YYSTACK_ALLOC, YYSIZE_T): Remove special + cases for non-GNU systems like AIX, HP-UX, SGI, Sun, and + Sparc, as they were causing more porting problems than the + (minor) performance improvement was worth. + + Also, catch up with 1.31's YYSTD. + +2001-12-27 Akim Demaille + + * src/output.c (output_gram): Rely on nritems, not the + 0-sentinel. See below. + Use -1 as separator, not 0. + * src/bison.simple (yyparse): Subtract 1 to the rule numbers. + Rely on -1 as separator in yyrhs, instead of 0. + * tests/calc.at (AT_CHECK_CALC): Now, the parsers no longer issue + twice `Now at end of input', therefore there are two lines less to + expect. + 2001-12-27 Akim Demaille * tests/regression.at (Unresolved SR Conflicts): (Solved SR Conflicts, Rule Line Numbers): Adjust to the changes below. - - * src/LR0.c (new_state): Recognize the final state by the fact it - is reached by eoftoken. - (insert_start_shifting_state, insert_eof_shifting_state) - (insert_accepting_state, augment_automaton): Remove, since now - these states are automatically computed from the initial state. - (generate_states): Adjust. - * src/print.c: When reporting a rule number to the user, substract - 1, so that the axiom rule is rule 0, and the first user rule is 1. - * src/reduce.c: Likewise. - * src/print_graph.c (print_core): For the time being, just as for - the report, depend upon --trace-flags to dump the full set of - items. - * src/reader.c (readgram): Once the grammar read, insert the rule - 0: `$axiom: START-SYMBOL $'. - * tests/set.at: Adjust: rule 0 is now displayed, and since the - number of the states has changed (the final state is no longer - necessarily the last), catch up. - * tests/regression.at: Partly catch up. - - 2001-12-27 Akim Demaille * src/LR0.c (new_state): Recognize the final state by the fact it @@ -81,7 +227,6 @@ Adjust expectations. When yyungeting, be sure to use a valid yylloc: use last_yylloc. - 2001-12-27 Akim Demaille * configure.in: Check the protos of strchr ans strspn. @@ -91,7 +236,6 @@ * lib/strchr.c: New. * src/reader.c (symbols_save): Use strchr. - 2001-12-27 Akim Demaille * src/print.c, src/print_graph.c (escape): New. @@ -100,7 +244,6 @@ reductions in green. Prefer high to wide: output the state number on a line of its own. - 2001-12-27 Akim Demaille * src/state.h, src/state.c (reductions_new): New. @@ -111,7 +254,6 @@ * src/print.c (print_reductions, print_actions): Adjust. * src/output.c (action_row): Adjust. - 2001-12-27 Akim Demaille * src/state.h, src/state.c (errs_new, errs_dup): New. @@ -121,7 +263,6 @@ * src/output.c (output_actions, action_row): Adjust. * src/conflicts.c (resolve_sr_conflict): Adjust. - 2001-12-27 Akim Demaille * src/lalr.c (set_goto_map, initialize_F): Use SHIFT_SYMBOL. @@ -137,30 +278,25 @@ (print_actions): here. * src/print_graph.c (print_actions): Remove dead code. - 2001-12-27 Akim Demaille * src/reader.c (copy_dollar, copy_at): Better checking of `n' in `$n' and `@n'. - 2001-12-27 Akim Demaille * src/lalr.c (add_lookback_edge): Use state_t instead of ints. (build_relations): Adjust. - 2001-12-27 Akim Demaille * src/lalr.c (set_goto_map): Remove a wrong but benign loop duplication. - 2001-12-27 Akim Demaille * src/reader.c (packgram): Catch nitems overflows. - 2001-12-27 Akim Demaille * src/files.c, src/files.h (guard_obstack): Remove. @@ -171,7 +307,6 @@ As a voluntary consequence, using braces around guards is now mandatory. - 2001-12-27 Akim Demaille * src/gram.h (rule_t): `guard' and `guard_line' are new members. @@ -220,7 +355,6 @@ of a integer, and nlookaheads instead of the following state's lookaheadsp. - 2001-12-27 Akim Demaille * src/conflicts.c (log_resolution, flush_shift) @@ -254,7 +388,6 @@ Use YYNTOKENS only, which is documented, but not YYNTBASE, which is an undocumented synonym. - 2001-12-22 Akim Demaille * src/output.c (output_table_data): Change the prototype to use