* ChangeLog: Correct some errors in previous entries.

This commit is contained in:
Joel E. Denny
2010-10-31 18:23:12 -04:00
parent e503b9cbbe
commit 9d6bc5c402

110
ChangeLog
View File

@@ -1,3 +1,7 @@
2010-10-31 Joel E. Denny <joeldenny@joeldenny.org>
* ChangeLog: Correct some errors in previous entries.
2010-10-17 Joel E. Denny <joeldenny@joeldenny.org> 2010-10-17 Joel E. Denny <joeldenny@joeldenny.org>
maint: re-anchor all .gitignore entries. maint: re-anchor all .gitignore entries.
@@ -149,57 +153,57 @@
2010-07-23 Paul Hilfinger <hilfingr@EECS.Berkeley.EDU> 2010-07-23 Paul Hilfinger <hilfingr@EECS.Berkeley.EDU>
* NEWS: Describe new semantic-predicate feature. * NEWS: Describe new semantic-predicate feature.
* data/c.m4 (b4_predicate_case): New definition. * data/c.m4 (b4_predicate_case): New definition.
* data/java.m4 (b4_predicate_case): New definition. * data/java.m4 (b4_predicate_case): New definition.
* data/glr.c (yyimmediate): Add definition. * data/glr.c (yyimmediate): Add definition.
(yydoAction): Remove comment, now obsolete. (yydoAction): Remove comment, now obsolete.
Do YY_REDUCE_PRINT here. Do YY_REDUCE_PRINT here.
(yyglrReduce): Alter comment to indicate that semantic values (yyglrReduce): Alter comment to indicate that semantic values
need not be deferred. need not be deferred.
Remove YY_REDUCE_PRINT from here; done in yydoAction. Remove YY_REDUCE_PRINT from here; done in yydoAction.
(yyprocessOneStack): Pass immediate flag. (yyprocessOneStack): Pass immediate flag.
Delete stacks rejected by predicates in newly split-off parsers. Delete stacks rejected by predicates in newly split-off parsers.
Change handling of yyerr so that only current stack gets deleted Change handling of yyerr so that only current stack gets deleted
when semantic predicate fails. when semantic predicate fails.
(yyfillin): Don't crash if a semantic value is unresolved (as may (yyfillin): Don't crash if a semantic value is unresolved (as may
happen in predicate rules). happen in predicate rules).
Copy lr state as well in debugging mode. Copy lr state as well in debugging mode.
Update comment on setting of yysval to include yyloc as well. Update comment on setting of yysval to include yyloc as well.
(yy_reduce_print): Add yynormal argument. Perform fillin properly. (yy_reduce_print): Add yynormal argument. Perform fillin properly.
Report unresolved RHS values. Report unresolved RHS values.
(yyimmediate): New table. (yyimmediate): New table.
* src/gram.h (struct rule): Add is_predicate field. * src/gram.h (struct rule): Add is_predicate field.
* src/output.c (user_actions_output): Use b4_predicate_case for * src/output.c (user_actions_output): Use b4_predicate_case for
predicates. predicates.
(prepare_symbols): Output yyimmediate. (prepare_symbols): Output yyimmediate.
* src/scan-gram.l: Add %? token, SC_PREDICATE state. * src/scan-gram.l: Add %? token, SC_PREDICATE state.
* src/scan-code.l (code_props_rule_action_init): Add is_predicate * src/scan-code.l (code_props_rule_action_init): Add is_predicate
argument. argument.
* src/scan-code.h (struct code_props): Add is_predicate field. * src/scan-code.h (struct code_props): Add is_predicate field.
(code_props_rule_action_init): New interface. (code_props_rule_action_init): New interface.
* src/parse-gram.y (%?{...}): New token. * src/parse-gram.y (%?{...}): New token.
(rhs): Add %?{...} rule. (rhs): Add %?{...} rule.
* src/parse-gram.c: Regenerate. * src/parse-gram.c: Regenerate.
* src/parse-gram.h: Regenerate. * src/parse-gram.h: Regenerate.
* src/reader.c (grammar_current_rule_action_append): Add * src/reader.c (grammar_current_rule_action_append): Add
immediate argument. immediate argument.
(grammar_midrule_action): Use new interface for (grammar_midrule_action): Use new interface for
code_props_rule_action_init. code_props_rule_action_init.
(grammar_current_rule_action_append): Ditto. (grammar_current_rule_action_append): Ditto.
(packgram): Transfer is_predicate value. (packgram): Transfer is_predicate value.
* src/reader.h (grammar_current_rule_action_append): New interface. * src/reader.h (grammar_current_rule_action_append): New interface.
* doc/bison.texinfo: Document semantic predicates (%?). * doc/bison.texinfo: Document semantic predicates (%?).
* data/glr.c (yylhsNonterm, yyisDefaultedState,yyDefaultAction) * data/glr.c (yylhsNonterm, yyisDefaultedState,yyDefaultAction)
(yygetLRActions,yynewGLRStackItem,yyaddDeferredAction,yyinitStateSet) (yygetLRActions,yynewGLRStackItem,yyaddDeferredAction,yyinitStateSet)
(yyinitGLRStack,yyexpandGLRStack,yyupdateSplit,yymarkStackDeleted) (yyinitGLRStack,yyexpandGLRStack,yyupdateSplit,yymarkStackDeleted)
(yyundeleteLastStack,yyglrShift,yyglrShiftDefer,yydoAction,yyglrReduce) (yyundeleteLastStack,yyglrShift,yyglrShiftDefer,yydoAction,yyglrReduce)
(yyidenticalOptions,yymergeOptionSets,yyresolveStates,yyresolveAction) (yyidenticalOptions,yymergeOptionSets,yyresolveStates,yyresolveAction)
(yyresolveLocations,yyresolveValue,yyreducePrint): Update parameter (yyresolveLocations,yyresolveValue,yyreducePrint): Update parameter
names in comments and mention all parameters. names in comments and mention all parameters.
(struct yyGLRState): Fix description of yyposn field. (struct yyGLRState): Fix description of yyposn field.
(yyresolveLocations): Correct comment so as not to imply action when (yyresolveLocations): Correct comment so as not to imply action when
yyn1==0. yyn1==0.
2010-06-17 Paul Eggert <eggert@cs.ucla.edu> 2010-06-17 Paul Eggert <eggert@cs.ucla.edu>
@@ -767,7 +771,7 @@
YYFAIL: warn about uses and remove from lalr1.java. YYFAIL: warn about uses and remove from lalr1.java.
* NEWS (2.5): Document. * NEWS (2.5): Document.
* data/lalr1.java (parser::YYStack::YYFAIL): Rename to YYERRLAB, * data/lalr1.java (YYParser::YYFAIL): Rename to YYERRLAB,
and make it private. Update all uses. and make it private. Update all uses.
* src/scan-code.l (SC_RULE_ACTION): Implement warning. * src/scan-code.l (SC_RULE_ACTION): Implement warning.
@@ -775,7 +779,7 @@
YYFAIL: deprecate. YYFAIL: deprecate.
* NEWS (2.4.2): Document deprecation and the phase-out plan. * NEWS (2.4.2): Document deprecation and the phase-out plan.
* data/lalr1.java (parser::YYStack::YYFAIL): Add comment about * data/lalr1.java (YYParser::YYFAIL): Add comment about
deprecation. deprecation.
* data/yacc.c (YYFAIL): Likewise, and suppress warnings about * data/yacc.c (YYFAIL): Likewise, and suppress warnings about
YYFAIL from GCC cpp's -Wunused-macros. YYFAIL from GCC cpp's -Wunused-macros.
@@ -792,7 +796,7 @@
2009-12-18 Joel E. Denny <jdenny@clemson.edu> 2009-12-18 Joel E. Denny <jdenny@clemson.edu>
lalr1.cc: don't discard non-existent lookahead on syntax error. lalr1.cc: don't discard non-existent lookahead on syntax error.
* data/lalr1.cc (parser::parse): Check yyempty first. * data/lalr1.cc (yy::parser::parse): Check yyempty first.
* tests/c++.at (Syntax error discarding no lookahead): New test * tests/c++.at (Syntax error discarding no lookahead): New test
group. group.