X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/091e20bbee87fc6e5b1e9e2938767c6e89b19035..aed7fd9b9736c68bf23bb42ab422baf1281acf32:/ChangeLog diff --git a/ChangeLog b/ChangeLog index 70b78344..b71d8909 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,149 @@ +2002-01-02 Akim Demaille + + Equip the skeleton chain with location tracking, runtime trace, + pure parser and scanner. + + * src/parse-skel.y: Request a pure parser, locations, and prefix + renaming. + (%union): Having several members with the same type does not help + type mismatches, simplify. + (YYPRINT, yyprint): New. + (yyerror): ``Rename'' (there is a #define yyerror skel_error) as... + (skel_error): this. + Handle locations. + * src/scan-skel.l: Adjust to these changes. + * src/skeleton.h (LOCATION_RESET, LOCATION_LINES, LOCATION_STEP) + (LOCATION_PRINT, skel_control_t): New. + +2001-12-30 Akim Demaille + + * src/parse-skel.y: Get rid of the shift/reduce conflict: + replace `gb' with BLANKS. + * src/scan-skel.l: Adjust. + + +2001-12-30 Akim Demaille + + * src/system.h: We don't need nor want bcopy. + Throw away MS-DOS crap: we don't need getpid. + * configure.in: We don't need strndup. It was even causing + problems: because Flex includes the headers *before* us, + _GNU_SOURCE is not defined by config.h, and therefore strndup was + not visible. + * lib/xstrndup.c: New. + * src/scan-skel.l: Use it. + Be sure to initialize yylval.muscle member when scanning a MUSCLE. + * src/parse-skel.y: Use %directives instead of #defines. + + +2001-12-30 Akim Demaille + + * src/skeleton.h: New. + * src/output.c (output_parser, output_master_parser): Remove, dead + code. + * src/output.h (get_lines_number, actions_output, guards_output) + (token_definitions_output): Prototype them. + * src/parse-skel.y: Add the license notice. + Include output.h and skeleton.h. + (process_skeleton): Returns void, and takes a single parameter. + * src/scan-skel.l: Add the license notice. + Include skeleton.h. + Don't use %option yylineno: it seems that then Flex imagines + REJECT has been used, and therefore it won't reallocate its + buffers (which makes no other sense to me than a bug). It results + in warnings for `unused: yy_flex_realloc'. + + to guess if the generated parsers should have '.tab' in their + * src/Makefile.am (bison_SOURCES): Add scan-skel.l and + +2001-12-30 Robert Anisko + + * src/muscle_tab.h (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING) + (MUSCLE_INSERT_PREFIX): ...to there. + * src/output.c (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING) + (MUSCLE_INSERT_PREFIX): Move from here... + + * src/bison.hairy: Add a section directive. Put braces around muscle + names. This parser skeleton is still broken, but Bison should not + choke on a bad muscle 'syntax'. + * src/bison.simple: Add a section directive. Put braces around muscle + names. + + * src/files.h (strsuffix, stringappend): Add declarations. + (tab_extension): Add declaration. + (short_base_name): Add declaration. + + * src/files.c (strsuffix, stringappend): No longer static. These + functions are used in the skeleton parser. + (tab_extension): New. + (compute_base_names): Use the computations done in this function + to guess if the generated parsers should have '.tab' in their + names. + (short_base_name): No longer static. + + * src/output.c (output_skeleton): New. + (output): Disable call to output_master_parser, and give a try to + a new skeleton handling system. + (guards_output, actions_output): No longer static. + (token_definitions_output, get_lines_number): No longer static. + + * configure.in: Use AM_PROG_LEX and AC_PROG_YACC. + + * src/Makefile.am (bison_SOURCES): Add scan-skel.l and + parse-skel.y. + + * src/parse-skel.y: New file. + * src/scan-skel.l: New file. + +2001-12-29 Akim Demaille + + %name-prefix is broken. + + * src/files.c (spec_name_prefix): Initialize to NULL, not to "yy". + Adjust all dependencies. + * tests/headers.at (export YYLTYPE): Strengthen this test: use + %name-prefix. + + Renaming yylval but not yylloc is not consistent. Now we do. + + * src/bison.simple: Prefix yylloc if used. + * doc/bison.texinfo (Decl Summary): Document that. + +2001-12-29 Akim Demaille + + * doc/bison.texinfo: Promote `%long-directive' over + `%long_directive'. + Remove all references to fixed-output-files, yacc is enough. + +2001-12-29 Akim Demaille + + * src/bison.simple: Define YYDEBUG and YYERROR_VERBOSE *after* the + user prologue. These are defaults. + * tests/actions.at (Mid-rule actions): Make sure the user can + define YYDEBUG and YYERROR_VERBOSE. + +2001-12-29 Akim Demaille + + * src/output.c (header_output): Don't forget to export YYLTYPE and + yylloc. + * tests/headers.at (export YYLTYPE): New, make sure it does. + * tests/regression.at (%union and --defines, Invalid CPP headers): + Move to... + * tests/headers.at: here. + +2001-12-29 Akim Demaille + + * src/gram.h (rule_s): Member `assoc' is of type `associativity'. + +2001-12-29 Akim Demaille + + * tests/actions.at (Mid-rule actions): Output on a single line + instead of several. + +2001-12-29 Akim Demaille + + * doc/bison.texinfo: Formatting changes. + 2001-12-29 Akim Demaille Don't store the token defs in a muscle, just be ready to output it @@ -7,14 +153,12 @@ (output_parser, header_output): Use it. * src/reader.c (symbols_save): Remove. - 2001-12-29 Akim Demaille * src/bison.simple: Do not provide a default for YYSTYPE and YYLTYPE before the user's prologue. Otherwise it's hardly... a default. - 2001-12-29 Akim Demaille Mid-rule actions are simply... ignored! @@ -24,7 +168,6 @@ rule. * tests/actions.at (Mid-rule actions): New. - 2001-12-29 Akim Demaille Memory leak. @@ -39,7 +182,6 @@ since it allocates it for each state, although only one is needed. (allocate_storage): Do it here. - 2001-12-29 Akim Demaille * src/options.h, src/options.c (create_long_option_table): Rename @@ -48,20 +190,17 @@ (percent_table): Remove, unused, * src/getargs.c (getargs): Adjust. - 2001-12-29 Akim Demaille * src/LR0.c, src/conflicts.c, src/lalr.c, src/lalr.h, src/output.c * src/print.c, src/print_graph.c, src/state.h: Rename state_table as states. - 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 @@ -69,31 +208,26 @@ * 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 @@ -105,14 +239,12 @@ 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 @@ -122,7 +254,6 @@ 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 @@ -130,13 +261,11 @@ 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 @@ -144,7 +273,6 @@ * 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. @@ -158,7 +286,6 @@ * 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 @@ -175,7 +302,6 @@ * 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', @@ -188,7 +314,6 @@ * 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