+2002-12-02 Paul Eggert <eggert@twinsun.com>
+
+ * configure.ac (AC_REPLACE_FUNCS): Add strtoul.
+ * lib/strtoul.c: New file, from gnulib.
+ This fixes a porting bug reported by Peter Klein in
+ <http://mail.gnu.org/pipermail/bug-bison/2002-December/001944.html>.
+
+2002-11-30 Paul Eggert <eggert@twinsun.com>
+
+ * src/scan-gram.l (no_cr_read, extend_location): Move to epilogue,
+ and put only a forward declaration in the prologue. This is for
+ consistency with the other scanner helper functions.
+
+ Type clashes now generate warnings, not errors, since it
+ appears that POSIX may allow some grammars with type clashes.
+ * src/reader.c (grammar_current_rule_check): Warn about
+ type clashes instead of complaining.
+ * tests/input.at (Type Clashes): Expect warnings, not complaints.
+
+ Add Yacc library, since POSIX requires it.
+ * doc/bison.texinfo (Yacc Library): New node. Regenerate top menu.
+ * lib/Makefile.am (lib_LIBRARIES, liby_a_SOURCES): New macros.
+ * lib/main.c, lib/yyerror.c: New files.
+
+ gram_error can be static; it need not be extern.
+ * src/reader.h (gram_error): Remove decl.
+ * src/parse-gram.y (gram_error): Now static. Add static decl.
+ (print_token_value): Omit parameter names from forward decl,
+ for consistency.
+
+2002-11-29 Paul Eggert <eggert@twinsun.com>
+
+ * doc/bison.texinfo: Emphasize that yylex and yyerror must
+ be declared before being used. E.g., one should typically
+ declare them in the prologue. Use GNU coding style in examples.
+ Put "const" consistently after the type it modifies. Mention
+ that C99 supports "inline". Mention that yyerror traditionally
+ returns "int".
+
+ %parse-param and %lex-param now take just one argument, the
+ declaration; the argument name is deduced from the declaration.
+
+ * doc/bison.texinfo (Parser Function, Pure Calling, Error
+ Reporting, Table of Symbols): Document this.
+ * src/parse-gram.y (add_param): New function.
+ (COMMA): Remove.
+ (declaration): Implement new rule for %parse-param and %lex-param.
+ * src/scan-gram.l: "," now elicits a warning, rather than being
+ a token; this is more compatible with byacc.
+ * tests/calc.at (Simple LALR Calculator): Adopt new convention.
+
+2002-11-27 Paul Eggert <eggert@twinsun.com>
+
+ Rename identifiers to avoid real and potential collisions.
+
+ * data/c.m4 (b4_yysymprint_generate): yyout -> yyoutput,
+ to avoid collision with lex macro described by Bruce Lilly in
+ <http://mail.gnu.org/pipermail/bug-bison/2002-November/001929.html>.
+ * tests/actions.at (_AT_CHECK_PRINTER_AND_DESTRUCTOR): Likewise.
+ * doc/bison.texinfo (Prologue, Tracing): yyprint -> print_token_value.
+ * src/parse-gram.y (print_token_value): Renamed from yyprint.
+ All uses changed.
+ (YYPARSE_PARAM, YYLEX_PARAM, yycontrol): Remove. All uses changed.
+ The name "yycontrol" violates the name space rules, and this stuff
+ wasn't being used anyway.
+ (input): Remove action; this stuff wasn't being used.
+ (gram_error): Rename local variable yylloc -> loc.
+ * src/reader.h (struct gram_control_s, gram_control_t): Remove.
+ (YY_DECL): Don't use "yy" at start of local variables.
+ All uses changed, e.g., yylloc -> loc.
+ * src/scan-gram.l (STEP): Renamed from YY_STEP. All uses changed.
+ (STRING_GROW): Renamed from YY_OBS_GROW. All uses changed.
+ (STRING_FINISH): Renamed from YY_OBS_FINISH. All uses changed.
+ (STRING_FREE): Renamed from YY_OBS_FREE. All uses changed.
+
+ * src/parse-gram.y (gram_error): loc is now const *.
+ * src/reader.h (gram_error): Likewise.
+
+2002-11-24 Paul Eggert <eggert@twinsun.com>
+
+ Version 1.75c.
+
+ * tests/actions.at (Actions after errors): Use an output format
+ more similar to that of the Printers and Destructors test.
+ Test the position of the ';' token too.
+ (Printers and Destructors): Likewise.
+ (Printers and Destructors: %glr-parser): Remove for now, to avoid
+ unnecessarily alarming people when the test fails.
+
+ * data/yacc.c (yyerrlab1): Move this label down, so that the
+ parser does not discard the lookahead token if the user code
+ invokes YYERROR. This change is required for POSIX conformance.
+
+ * lib/error.c: Sync with gnulib.
+
+2002-11-22 Paul Eggert <eggert@twinsun.com>
+
+ * lib/quotearg.c, lib/quotearg.h: Sync with gnulib.
+ * lib/mbswidth.c, lib/mbswidth.h: Likewise.
+ * lib/xmalloc.c: Likewise.
+
+2002-11-20 Paul Eggert <eggert@twinsun.com>
+
+ * lib/argmatch.c, lib/argmatch.h: Sync with gnulib.
+
+2002-11-20 Paul Eggert <eggert@twinsun.com>
+
+ Avoid use of <assert.h>, as the GNU Coding Standards hint that one
+ should use `if (! x) abort ();' rather than `assert (x);', and
+ anyway it's one less thing to worry about configuring.
+
+ * data/glr.c, lib/hash.c, src/system.h: Do not include <assert.h>.
+ * tests/actions.at (_AT_CHECK_PRINTER_AND_DESTRUCTOR): Likewise,
+ and replace all instances of assert with abort.
+ * tests/calc.at (_AT_DATA_CALC_Y): Likewise.
+ * tests/cxx-type.at (_AT_TEST_GLR_CXXTYPES): Likewise.
+
+ * data/glr.c (yydoAction, yyglrReduce, yysplitStack, yyresolveStates,
+ yyresolveAction, yyprocessOneStack): Use abort rather than assert.
+ * lib/hash.c (hash_lookup, hash_get_first, hash_get_next,
+ hash_find_entry, hash_rehash, hash_insert): Likewise.
+ * src/conflicts.c (resolve_sr_conflict): Likewise.
+ * src/lalr.c (set_goto_map, map_goto): Likewise.
+ * src/nullable.c (nullable_compute): Likewise.
+ * src/output.c (prepare_rules, token_definitions_output): Likewise.
+ * src/reader.c (packgram, reader): Likewise.
+ * src/state.c (state_new, state_free, state_transitions_set,
+ state_reduction_find): Likewise.
+ * src/symtab.c (symbol_user_token_number_set, symbol_make_alias,
+ symbol_pack): Likewise.
+ * src/tables.c (conflict_row, pack_vector): Likewise.
+ * src/vcg.c (get_color_str, get_textmode_str, get_shape_str,
+ get_layoutalgorithm_str, get_decision_str, get_orientation_str,
+ get_node_alignement_str, get_arrow_mode_str, get_crossing_type_str,
+ get_view_str, get_linestyle_str, get_arrowstyle_str): Likewise.
+
+ * lib/argmatch.h (ARRAY_CARDINALITY): Do not bother to #undef.
+ (ARGMATCH_CONSTRAINT): New macro.
+ (ARGMATCH_ASSERT): Use it.
+
+ * src/system.h (verify): New macro.
+ * src/getargs.c (trace_argmatch, report_argmatch): Use verify
+ rather than assert.
+ * src/tables.c (tables_generate): Likewise.
+
+ * src/struniq.c (struniq_assert): Now returns void, and aborts
+ if the assertion is false.
+ (struniq_assert_p): Remove.
+ * src/struniq.h: Likewise.
+
+2002-11-18 Paul Eggert <eggert@twinsun.com>
+
+ * data/glr.c (yygetLRActions): Replace `yyindex' with
+ `yytable[yyindex]' to fix typo introduced in my 2002-11-09 patch.
+ This fixes the regression with Sun ONE Studio 7 cc that I reported in
+ <http://mail.gnu.org/pipermail/bug-bison/2002-November/001892.html>.
+
+2002-11-18 Akim Demaille <akim@epita.fr>
+
+ * doc/bison.texinfo (Tracing): `yyprint' shouldn't prepend a
+ space.
+ From Tim Van Holder.
+
+2002-11-17 Paul Eggert <eggert@twinsun.com>
+
+ Pacify Sun ONE Studio 7 lint. Also, rename "ParseError"
+ to "SyntaxError" for consistency with my 2002-11-15 change.
+
+ * data/glr.c (YYDPRINTF, YYDSYMPRINT, YYDSYMPRINTF) [!YYDEBUG]: Do
+ not define to {}, since this breaks the common use of `YYDPRINTF
+ ((...));' if a single statement is desired (e.g. before `else').
+ Work around GCC warnings by surrounding corresponding calls with
+ {} if needed.
+ (yyhasResolvedValue): Remove unused function.
+ (yymergeOptionSets, yyresolvStack): Use `continue;' for empty
+ loop body.
+ (yyreportSyntaxError): Renamed from yyreportParseError.
+ (yyrecoverSyntaxError): Renamed from yyrecoverParseError.
+ All uses changed.
+ * tests/calc.at (_AT_DATA_CALC_Y): Make vars static instead of
+ extern when possible. Remove unused initializations.
+
+2002-11-16 Akim Demaille <akim@epita.fr>
+
+ Augment the similarity between GLR and LALR traces.
+
+ * data/yacc.c (yy_stack_print, YY_STACK_PRINT, yy_reduce_print)
+ (YY_REDUCE_PRINT): New.
+ (yyparse): Use them.
+ * data/glr.c (yy_reduce_print): Use YYFPRINTF, no need for
+ YYDPRINT here.
+ (yyglrReduce, yyrecoverParseError, yyparse): Don't report the
+ state reached after the reduction/recovery, since...
+ (yyparse, yyprocessOneStack): Report the state we are entering in.
+
+2002-11-16 Akim Demaille <akim@epita.fr>
+
+ * src/getargs.h, src/getargs.c (trace_e, trace_args, trace_types):
+ Add support for --trace=skeleton.
+ * src/scan-skel.l: %option debug.
+ Scan strings of non-@ or \n instead of character by character.
+ (scan_skel): Handle trace_skeleton.
+ (QPUTS): New.
+ (@output_parser_name@, @output_header_name@): ``Restore'' their
+ support (used to be M4 macros).
+ * data/yacc.c: Quote larger chunks, a la glr.c.
+ * data/lalr1.cc: Likewise.
+ The header guards are no longer available, so use some other
+ string than `YYLSP_NEEDED'.
+
+2002-11-16 Akim Demaille <akim@epita.fr>
+
+ Make the ``Printers and Destructors'' test more verbose, taking
+ `yacc.c''s behavior as (possibly wrong) reference.
+
+ * tests/actions.at (_AT_CHECK_PRINTER_AND_DESTRUCTOR): Use printf
+ instead of fprint on stdout.
+ Set and report the last_line of the symbols.
+ Consistently display values and locations.
+
+2002-11-16 Paul Eggert <eggert@twinsun.com>
+
+ * data/yacc.c: Avoid over-quoting of __line__ and __file__.
+
+2002-11-15 Paul Eggert <eggert@twinsun.com>
+
+ * tests/actions.at (Actions after errors): New test case.
+
+ * data/glr.c, data/lalr1.cc, data/yacc.cc, doc/bison.texinfo,
+ src/conflicts.c, src/parse-gram.y, src/tables.c, src/tables.h,
+ tests/action.at, tests/calc.at, tests/conflicts.at,
+ tests/cxx-type.at, tests/regression.at:
+ "parse error" -> "syntax error" for POSIX compatibility.
+ "parsing stack overflow..." -> "parser stack overflow" so
+ that code matches Bison documentation.
+
+2002-11-15 Akim Demaille <akim@epita.fr>
+
+ * src/parse-gram.y (declaration): Have %parse-param and %lex-param
+ take two BRACED_CODE, not two string_content.
+ Free the scanner's obstack when we are done.
+ (code_content): New.
+ * tests/calc.at: Adjust.
+ * doc/bison.texinfo: Adjust.
+ Also, make sure to include the `,' for these declarations.
+
+2002-11-15 Tim Van Holder <tim.van.holder@pandora.be>
+
+ * m4/prereq.m4: Removed the commented jm_PREREQ_HASH
+ definition; avoids potential autoreconf problems.
+
2002-11-15 Akim Demaille <akim@epita.fr>
Always check the value returned by yyparse.
projects / bison.git / blobdiff