X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/5499894828069a10d90ce4b92325017b7637682e..c03ae9665927bdbb60fcf83654e11ed0d4b25e96:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index a0b80994..969bf196 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,139 @@
+2001-12-29  Akim Demaille  <akim@epita.fr>
+
+	* src/reader.c, src/reader.h (user_toknums): Remove.
+	Adjust all users to use symbols[i]->user_token_number.
+
+	
+2001-12-29  Akim Demaille  <akim@epita.fr>
+
+	* src/gram.c, src/gram.h (sprec, sassoc): Remove.
+	Adjust all users to use symbols[i]->prec or ->assoc.
+
+	
+2001-12-29  Akim Demaille  <akim@epita.fr>
+
+	* src/reader.c, src/reader.h (tags): Remove.
+	Adjust all users to use symbols[i]->tag.
+
+	
+2001-12-29  Akim Demaille  <akim@epita.fr>
+
+	* 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  <akim@epita.fr>
+
+	* 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  <akim@epita.fr>
+
+	* 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  <akim@epita.fr>
+
+	* 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  <akim@epita.fr>
+
+	* 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  <akim@epita.fr>
+
+	* 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  <akim@epita.fr>
+
+	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  <akim@epita.fr>
+
+	* 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  <akim@epita.fr>
+
+	* 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  <akim@epita.fr>
+
+	* 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  <akim@epita.fr>
+
+	* 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  <akim@epita.fr>
+
+	* src/output.c: Comment changes.
+
+2001-12-27  Paul Eggert  <eggert@twinsun.com>
+
+	* 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  <akim@epita.fr>
 
 	* src/output.c (output_gram): Rely on nritems, not the