]> git.saurik.com Git - bison.git/blobdiff - ChangeLog
* src/LR0.h: New file.
[bison.git] / ChangeLog
index 2602a9435ee25b56aae8e4e9dd8e29d74cdf5e50..71813192c7db36c6989b8938340762c0eb670e69 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,408 @@
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/LR0.h: New file.
+       Propagate its use.
+
+       
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/print.h: New file.
+       Propagate its use.
+       * src/print.c: Formatting and ordering changes.
+       (verbose, terse): Replace with...
+       (print_results): this new function.
+       Adjust dependencies.
+
+       
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/conflicts.c (conflict_report): New function.
+       (conflict_log, verbose_conflict_log): Replace with...
+       (print_conflicts): this function.
+       Adjust dependencies.
+       * src/conflicts.h: New file.
+       Propagate its inclusion.
+
+       
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/nullable.h: New file.
+       Propagate its inclusion.
+       * src/nullable.c: Formatting changes.
+
+       
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/reduce.h: New file.
+       Propagate its inclusion.
+       * src/reduce.c: Topological sort and other formatting changes.
+       (bool, TRUE, FALSE): Move their definition to...
+       * src/system.h: here.
+
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c: Formatting changes.
+       (tryopen, tryclose, openfiles): Rename as...
+       (xfopen, xfclose, open_files): this.
+       (stringappend): static.
+       * src/files.h: Complete the list of exported symbols.
+       Propagate its use.
+
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.h: New file.
+       Propagate its use instead of tedious list of `extern' and
+       prototypes.
+       * src/reader.c: Formatting changes, topological sort,
+       s/register//.
+
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/lex.h: Prototype `lex.c' exported functions.
+       * src/reader.c: Adjust.
+       * src/lex.c: Formatting changes.
+       (safegetc): Rename as...
+       (xgetc): this.
+
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/lalr.h: New file.
+       Propagate its inclusion instead of prototypes and `extern'.
+       * src/lalr.c: Formatting changes, topological sorting etc.
+
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/output.c (token_actions): Introduce a temporary array,
+       YYDEFACT, that makes it possible for this function to use
+       output_short_table.
+
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       `user_toknums' is output as a `short[]' in `output.c', while it is
+       defined as a `int[]' in `reader.c'.  For consistency with the
+       other output tables, `user_toknums' is now defined as a table of
+       shorts.
+
+       * src/reader.c (user_toknums): Be a short table instead of an int
+       table.
+       Adjust dependencies.
+
+       Factor the short table outputs.
+
+       * src/output.c (output_short_table): New function.
+       * src/output.c (output_gram, output_stos, output_rule_data)
+       (output_base, output_table, output_check):  Use it.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/output.c (output): Topological sort of the functions, in
+       order to get rid of the `static' prototypes.
+       No longer use `register'.
+       * src/output.h: New file.
+       Propagate its inclusion in files explicitly prototyping functions
+       from output.c.
+
+2000-09-21  Akim Demaille  <akim@epita.fr>
+
+       * src/atgeneral.m4: Update from Autoconf.
+
+2000-09-21  Akim Demaille  <akim@epita.fr>
+
+       * src/closure.h: New file.
+       * src/closure.c: Formatting changes, topological sort over the
+       functions, use of closure.h.
+       (initialize_closure, finalize_closure):  Rename as...
+       (new_closure, free_closure): these.  Adjust dependencies.
+       * src/LR0.c: Formatting changes, topological sort, use of
+       cloture.h.
+       (initialize_states): Rename as...
+       (new_states): this.
+       * src/Makefile.am (noinst_HEADERS): Adjust.
+
+2000-09-20  Akim Demaille  <akim@epita.fr>
+
+       * src/acconfig.h: Don't protect config.h against multiple
+       inclusion.
+       Don't define PARAMS.
+       * src/system.h: Define PARAMS.
+       Remove some of the ad-hoc CPP magic for DOS, VMS etc.: this is the
+       purpose of config.h.  system.h must not try to fix wrong
+       definitions in config.h.
+
+2000-09-20  Akim Demaille  <akim@epita.fr>
+
+       * src/derives.h: New file.
+       * src/main.c, src/derives.h: Use it.
+       Formatting changes.
+       * src/Makefile.am (noinst_HEADERS): Adjust.
+
+2000-09-20  Akim Demaille  <akim@epita.fr>
+
+       * tests/atgeneral.m4: Update from Autoconf.
+       * tests/calc.m4 (_AT_DATA_CALC_Y, AT_DATA_CALC_Y, _AT_CHECK_CALC)
+       (AT_CHECK_CALC): New macros.
+       Use these macros to test bison with options `', `--raw',
+       `--debug', `--yacc', `--yacc --debug'.
+
+2000-09-19  Akim Demaille  <akim@epita.fr>
+
+       * src/output.c: Formatting changes.
+       * src/machine.h: Remove, leaving its contents in...
+       * src/system.h: here.
+       Include stdio.h.
+       Adjust all dependencies on stdio.h and machine.h.
+       * src/getargs.h: New file.
+       Let all `extern' declarations about getargs.c be replaced with
+       inclusion of `getargs.h'.
+       * src/Makefile.am (noinst_HEADERS): Adjust.
+
+       * tests/calc.m4 (yyin): Be initialized in main, not on the global
+       scope.
+       (yyerror): Returns void, not int.
+       * doc/bison.texinfo: Formatting changes.
+
+2000-09-19  Akim Demaille  <akim@epita.fr>
+
+       * tests/calc.m4 (calc.y): Do not assign to stdin, as it's not
+       portable.
+
+2000-09-18  Akim Demaille  <akim@epita.fr>
+
+       * configure.in: Append WARNING_CFLAGS to CFLAGS.
+       * src/Makefile.am (INCLUDES): Don't.
+       Be ready to fetch headers in lib/.
+
+2000-09-18  Akim Demaille  <akim@epita.fr>
+
+       * doc/bison.texinfo: Update the copyright.
+       ANSIfy and GNUify the examples.
+       Remove the old menu.
+
+2000-09-18  Akim Demaille  <akim@epita.fr>
+
+       First set of tests: use the `calc' example from the documentation.
+
+       * src/bison.s1 (yyparse): Condition the code using `yytname' which
+       is defined only when YYDEBUG is.
+       * m4/atconfig.m4 (AT_CONFIG): Adjust to Autoconf 2.13.
+       * src/files.c (tryopen, tryclose): Formatting changes.
+       Move to the top and be static.
+       * src/reader.c (read_signed_integer): Likewise.
+       * tests/calc.m4: New file.
+       * Makefile.am, suite.m4: Adjust.
+       * m4/atconfig.m4: Set BISON_SIMPLE and BISON_HAIRY.
+
+2000-09-18  Akim Demaille  <akim@epita.fr>
+
+       Add support for an Autotest test suite for Bison.
+
+       * m4/m4.m4, m4/atconfig.m4: New files.
+       * m4/Makefile.am (EXTRA_DIST): Adjust.
+       * tests/suite.m4, tests/Makefile.am, tests/atgeneral.m4: New
+       files.
+       * src/getargs.c: Display a more standard --version message.
+       * src/reader.c (reader): Formatting changes.
+       No longer depend upon VERSION_STRING.
+       * configure.in: No longer use `dnl'.
+       Set up the test suite and the new directory `tests/.
+       (VERSION_STRING): Remove.
+
+2000-04-14  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (copy_comment2): New function, same as former
+       `copy_comment', but outputs into two FILE *.
+       (copy_comment): Use it.
+       (parse_union_decl): Use it.
+       (get_type, parse_start_decl): Use the same `invalid' message.
+       (parse_start_decl, parse_union_decl): Use the same `multiple'
+       message.
+       (parse_union_decl, copy_guard, copy_action): Use the same
+       `unmatched' message.
+       * m4/Makefile.am (EXTRA_DIST): Add `warning.m4'.
+
+2000-03-31  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c (tryopen, tryclose): Move to the top.
+       Be static.
+
+2000-03-31  Akim Demaille  <akim@epita.fr>
+
+       * src/main.c (main): Don't call `done', exit does it.
+
+2000-03-31  Akim Demaille  <akim@epita.fr>
+
+       * allocate.c: s/return (foo)/return foo/.
+       * lalr.c: Likewise.
+       * LR0.c: Likewise.
+       * output.c: Likewise.
+       * reader.c: Likewise.
+       * symtab.c: Likewise.
+       * vmsgetargs.c: Likewise.
+
+2000-03-31  Akim Demaille  <akim@epita.fr>
+
+       Clean up the error reporting functions.
+
+       * src/report.c: New file.
+       * src/report.h: Likewise.
+       * src/Makefile.am: Adjust.
+       * m4/error.m4: New file.
+       * m4/Makefile.am: Adjust.
+       * configure.in (jm_PREREQ_ERROR): Call it.
+       * src/main.c (int_to_string, banner, fatal_banner, warn_banner):
+       Remove.
+       (fatal, fatals): Remove.  All callers use complain.c::fatal.
+       (warn, warni, warns, warnss, warnss): Remove.  All callers use
+       complain.c::complain.
+       (toomany): Remove, use fatal instead.
+       * src/files.c (done): No argument, use complain_message_count.
+       * src/main.c (main): Register `done' to `atexit'.
+
+       * src/getargs.c (usage): More `fputs', less `fprintf'.
+
+2000-03-28  Akim Demaille  <akim@epita.fr>
+
+       * lib/: New directory.
+       * Makefile.am (SUBDIRS): Adjust.
+       * configure.in: Adjust.
+       (LIBOBJS): Although not used yet, AC_SUBST it, otherwise it's
+       useless.
+       * src/alloca.c: Moved to lib/.
+       * src/getopt.c: Likewise.
+       * src/getopt1.c: Likewise.
+       * src/getopt.h: Likewise.
+       * src/ansi2knr.c: Likewise.
+       * src/ansi2knr.1: Likewise.
+       * src/Makefile.am: Adjust.
+       * lib/Makefile.am: New file.
+
+2000-03-28  Akim Demaille  <akim@epita.fr>
+
+       * src/getargs.c (usage): Refresh the help message.
+
+2000-03-17  Akim Demaille  <akim@epita.fr>
+
+       * src/getopt1.c: Updated from textutils 2.0e
+       * src/getopt.c: Likewise.
+       * src/getopt.h: Likewise.
+
+2000-03-17  Akim Demaille  <akim@epita.fr>
+
+       * src/Makefile.am (bison.simple): Fix the awk program: quote only
+       the file name, not the whole `#line LINE FILE'.
+
+2000-03-17  Akim Demaille  <akim@epita.fr>
+
+       On syntax errors, report the token on which we choked.
+
+       * src/bison.s1 (yyparse): In the label yyerrlab, when
+       YYERROR_VERBOSE, add yychar in msg.
+
+2000-03-17  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (copy_at): New function.
+       (copy_guard): Use it.
+       (copy_action): Use it.
+
+2000-03-17  Akim Demaille  <akim@epita.fr>
+
+       Be kind to translators, save some useless translations.
+
+       * src/main.c (banner): New function.
+       (fatal_banner): Use it.
+       (warn_banner): Use it.
+
+2000-03-17  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (copy_definition): Use copy_string and
+       copy_comment.  Removed now unused `match', `ended',
+       `cplus_comment'.
+       (copy_comment, copy_string): Moved, to be visible from
+       copy_definition.
+
+2000-03-17  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (copy_string): Declare `static inline'.  No
+       problems with inline, since it is checked by configure.
+       (copy_comment): Likewise.
+
+2000-03-17  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (packsymbols): Formatting changes.
+
+2000-03-17  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (copy_comment): New function, factored out from:
+       (copy_action): Use it.  Removed now unused `match', `ended',
+       `cplus_comment'.
+       (copy_guard): Likewise.
+
+2000-03-17  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (copy_string): New function, factored out from:
+       (copy_action): Use it.
+       (copy_guard): Likewise.
+
+2000-03-17  Akim Demaille  <akim@epita.fr>
+
+       Change the handling of @s so that they behave exactly like $s.
+       There is now a pseudo variable @$ (readble and writable), location
+       of the lhs of the rule (by default ranging from the location of
+       the first symbol of the rhs, to the location of the last symbol,
+       or, if the rhs is empty, YYLLOC).
+
+       * src/bison.s1 [YYLSP_NEEDED] (yyloc): New variable, twin of
+       yyval.
+       (yyparse): When providing a default semantic action, provide a
+       default location action.
+       (after the $): No longer change `*YYLSP', just stack YYLOC the
+       same way you stack YYVAL.
+       * src/reader.c (read_declarations): Use warns.
+       (copy_guard, case '@'): Also recognize `@$', expanded as `YYLOC'.
+       (copy_action, case '@'): Likewise.
+       Use a standard error message, to save useless work from
+       translators.
+
+2000-03-17  Akim Demaille  <akim@epita.fr>
+
+       * src/bison.s1: Formatting and cosmetics changes.
+       * src/reader.c: Likewise.
+       Update the Copyright notice.
+
+2000-03-17  Akim Demaille  <akim@epita.fr>
+
+       * src/bison.s1 (#line): All set to `#line' only, since the
+       Makefile now handles them.
+
+2000-03-16  Akim Demaille  <akim@epita.fr>
+
+       * src/output.c (output_rule_data): Output the documentation of
+       some of the tables.
+       (Copyright notice): Update.
+       Formatting changes.
+
+2000-03-16  Akim Demaille  <akim@epita.fr>
+
+       * src/bison.s1 [!YYDEBUG]: Define yydebug to 0.  This allows to
+       remove most `#if YYDEBUG != 0', since `if (yydebug)' is enough.
+       One `#if YYDEBUG' remains, since it uses variables which are
+       defined only if `YYDEBUG != 0'.
+
+2000-03-16  Akim Demaille  <akim@epita.fr>
+
+       * src/bison.s1 (yyparse): Reorganize the definitions of the stacks
+       and related variables so that the similarities are highlighted.
+
+2000-03-16  Akim Demaille  <akim@epita.fr>
+
+       * src/bison.s1: Properly indent CPP directives.
+
 2000-03-16  Akim Demaille  <akim@epita.fr>
 
        * src/bison.s1: Properly indent the `alloca' CPP section.