X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/4f6bb8b24bf3f7a373c873528d95cc30898f8cc3..10e5b8bd0a5e704006b371ce7fb9e4bea6c79a06:/ChangeLog?ds=sidebyside

diff --git a/ChangeLog b/ChangeLog
index 4093d540..528a742e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,107 @@
+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.
+	(input): Don't try to initialize yylloc here, do it in the
+	scanner.
+	* src/scan-gram.l (YY_USER_INIT): Initialize yylloc.
+	* src/gram.h (rule_t): Change line and action_line into location
+	and action_location, of location_t type.
+	Adjust all dependencies.
+	* src/location.h, src/location.c (empty_location): New.
+	* src/reader.h, src/reader.c (grammar_start_symbol_set)
+	(grammar_symbol_append, grammar_rule_begin, grammar_rule_end)
+	(grammar_current_rule_symbol_append)
+	(grammar_current_rule_action_append): Expect a location as argument.
+	* src/reader.c (grammar_midrule_action): Adjust to attach an
+	action's location as dummy symbol location.
+	* src/symtab.h, src/symtab.c (startsymbol_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.