]> git.saurik.com Git - bison.git/blobdiff - ChangeLog
* src/parse-gram.y (YYLLOC_DEFAULT, current_lhs_location): New.
[bison.git] / ChangeLog
index 4c99aa2302acbd5c43d6dddac4b26d4593bb2222..1285899f8077dc18120089b8e773a636605dcd40 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,249 @@
+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.
+
+       * src/parse-gram.y (rules_or_grammar_declaration): New.
+       (declarations): Each declaration may end with a semicolon, not
+       just...
+       (grammar_declaration): `"%union"'.
+       (grammar): Branch to rules_or_grammar_declaration.
+
+2002-06-14  Akim Demaille  <akim@epita.fr>
+
+       * src/main.c (main): Invoke scanner_free.
+
+2002-06-14  Akim Demaille  <akim@epita.fr>
+
+       * src/output.c (m4_invoke): Extracted from...
+       (output_skeleton): here.
+       Free tempfile.
+
+2002-06-14  Akim Demaille  <akim@epita.fr>
+
+       * src/parse-gram.y (directives, directive, gram)
+       (grammar_directives, precedence_directives, precedence_directive):
+       Rename as...
+       (declarations, declaration, grammar, grammar_declaration)
+       (precedence_declaration, precedence_declarator): these.
+       (symbol_declaration): New.
+
+2002-06-14  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c (action_obstack): Remove, unused.
+       (output_obstack): Remove it, and all its dependencies, as it is no
+       longer needed.
+       * src/reader.c (epilogue_set): Build the epilogue in the
+       muscle_obstack.
+       * src/output.h, src/output.c (muscle_obstack): Move to...
+       * src/muscle_tab.h, src/muscle_tab.h: here.
+       (muscle_init): Initialize muscle_obstack.
+       (muscle_free): New.
+       * src/main.c (main): Call it.
+
+2002-06-14  Akim Demaille  <akim@epita.fr>
+
+       * src/location.h: New, extracted from...
+       * src/reader.h: here.
+       * src/Makefile.am (noinst_HEADERS): Merge into
+       (bison_SOURCES): this.
+       Add location.h.
+       * src/parse-gram.y: Use location_t instead of Bison's.
+       * src/reader.h, src/reader.c (prologue_augment, epilogue_set):
+       Use location_t instead of ints.
+
+2002-06-14  Akim Demaille  <akim@epita.fr>
+
+       * data/bison.simple, data/bison.c++: Be sure to restore the
+       current #line when returning to the skeleton contents after having
+       exposed the input file's #line.
+
+2002-06-12  Akim Demaille  <akim@epita.fr>
+
+       * src/scan-gram.l (SC_BRACED_CODE): Don't use `<.*>', it is too
+       eager.
+       * tests/actions.at (Exotic Dollars): New.
+
+2002-06-12  Akim Demaille  <akim@epita.fr>
+
+       * src/scan-gram.l (SC_PROLOGUE): Don't eat characters amongst
+       ['"/] too eagerly.
+       * tests/input.at (Torturing the Scanner): New.
+
+2002-06-11  Akim Demaille  <akim@epita.fr>
+
+       * src/scan-gram.l (YY_OBS_INIT): Remove, replace with...
+       [SC_COMMENT,SC_STRING,SC_CHARACTER,SC_BRACED_CODE,SC_PROLOGUE]
+       [SC_EPILOGUE]: Output the quadrigraphs only when not in a comment.
+       * src/reader.h, src/scan-gram.l (scanner_initialize): this.
+       * src/reader.c (reader): Use it.
+
+2002-06-11  Akim Demaille  <akim@epita.fr>
+
+       * src/scan-gram.l (YY_OBS_FINISH): Don't set yylval.
+       Adjust all callers.
+       (scanner_last_string_free): New.
+
+2002-06-11  Akim Demaille  <akim@epita.fr>
+
+       * src/scan-gram.l (YY_INIT, YY_GROW, YY_FINISH): Rename as...
+       (YY_OBS_INIT, YY_OBS_GROW, YY_OBS_FINISH): these.
+       (last_string, YY_OBS_FREE): New.
+       Use them when returning an ID.
+
+2002-06-11  Akim Demaille  <akim@epita.fr>
+
+       Have Bison grammars parsed by a Bison grammar.
+
+       * src/reader.c, src/reader.h (prologue_augment): New.
+       * src/reader.c (copy_definition): Remove.
+
+       * src/reader.h, src/reader.c (gram_start_symbol_set, prologue_augment)
+       (grammar_symbol_append, grammar_rule_begin, grammar_midrule_action)
+       (grammar_current_rule_prec_set, grammar_current_rule_check)
+       (grammar_current_rule_symbol_append)
+       (grammar_current_rule_action_append): Export.
+       * src/parse-gram.y (symbol_list_new, symbol_list_symbol_append_
+       (symbol_list_action_append): Remove.
+       Hook the routines from reader.
+       * src/scan-gram.l: In INITIAL, characters and strings are tokens.
+       * src/system.h (ATTRIBUTE_NORETURN, ATTRIBUTE_UNUSED): Now.
+
+       * src/reader.c (read_declarations): Remove, unused.
+
+       * src/parse-gram.y: Handle the epilogue.
+       * src/reader.h, src/reader.c (gram_start_symbol_set): Rename as...
+       (grammar_start_symbol_set): this.
+       * src/scan-gram.l: Be sure to ``use'' yycontrol to keep GCC quiet.
+       * src/reader.c (readgram): Remove, unused.
+       (reader): Adjust to insert eoftoken and axiom where appropriate.
+
+       * src/reader.c (copy_dollar): Replace with...
+       * src/scan-gram.h (handle_dollar): this.
+       * src/parse-gram.y: Remove `%thong'.
+
+       * src/reader.c (copy_at): Replace with...
+       * src/scan-gram.h (handle_at): this.
+
+       * src/complain.h, src/complain.c (warn_at, complain_at, fatal_at):
+       New.
+
+       * src/scan-gram.l (YY_LINES): Keep lineno synchronized for the
+       time being.
+
+       * src/reader.h, src/reader.c (grammar_rule_end): New.
+
+       * src/parse.y (current_type, current_class): New.
+       Implement `%nterm', `%token' support.
+       Merge `%term' into `%token'.
+       (string_as_id): New.
+       * src/symtab.h, src/symtab.c (symbol_make_alias): Don't pass the
+       type name.
+
+       * src/parse-gram.y: Be sure to handle properly the beginning of
+       rules.
+
+       * src/parse-gram.y: Handle %type.
+       * src/reader.c (grammar_rule_end): Call grammar_current_rule_check.
+
+       * src/parse-gram.y: More directives support.
+       * src/options.c: No longer handle source directives.
+
+       * src/parse-gram.y: Fix %output.
+
+       * src/parse-gram.y: Handle %union.
+       Use the prologue locations.
+       * src/reader.c (parse_union_decl): Remove.
+
+       * src/reader.h, src/reader.c (epilogue_set): New.
+       * src/parse-gram.y: Use it.
+
+       * data/bison.simple, data/bison.c++: b4_stype is now either not
+       defined, then default to int, or to the contents of %union,
+       without `union' itself.
+       Adjust.
+       * src/muscle_tab.c (muscle_init): Don't predefine `stype'.
+
+       * src/output.c (actions_output): Don't output braces, as they are
+       already handled by the scanner.
+
+       * src/scan-gram.l (SC_CHARACTER): Set the user_token_number of
+       characters to themselves.
+
+       * tests/reduce.at (Reduced Automaton): End the grammars with %% so
+       that the epilogue has a proper #line.
+
+       * src/parse-gram.y: Handle precedence/associativity.
+
+       * src/symtab.c (symbol_precedence_set): Requires the symbol to be
+       a terminal.
+       * src/scan-gram.l (SC_BRACED_CODE): Catch strings and characters.
+       * tests/calc.at: Do not use `%token "foo"' as it makes not sense
+       at all to define terminals that cannot be emitted.
+
+       * src/scan-gram.l: Escape M4 characters.
+
+       * src/scan-gram.l: Working properly with escapes in user
+       strings/characters.
+
+       * tests/torture.at (AT_DATA_TRIANGULAR_GRAMMAR)
+       (AT_DATA_HORIZONTAL_GRAMMAR): Respect the `%token ID NUM STRING'
+       grammar.
+       Use more modest sizes, as for the time being the parser does not
+       release memory, and therefore the process swallows a huge amount
+       of memory.
+
+       * tests/torture.at (AT_DATA_LOOKAHEADS_GRAMMAR): Adjust to the
+       stricter %token grammar.
+
+       * src/symtab.h (associativity): Add `undef_assoc'.
+       (symbol_precedence_set): Do nothing when passed an undef_assoc.
+       * src/symtab.c (symbol_check_alias_consistence): Adjust.
+
+       * tests/regression.at (Invalid %directive): Remove, as it is now
+       meaningless.
+       (Invalid inputs): Adjust to the new error messages.
+       (Token definitions): The new grammar doesn't allow too many
+       eccentricities.
+
+       * src/lex.h, src/lex.c: Remove.
+       * src/reader.c (lastprec, skip_to_char, read_signed_integer)
+       (copy_character, copy_string2, copy_string, copy_identifier)
+       (copy_comment, parse_token_decl, parse_type_decl, parse_assoc_decl)
+       (parse_muscle_decl, parse_dquoted_param, parse_skel_decl)
+       (parse_action): Remove.
+       * po/POTFILES.in: Adjust.
+
+2002-06-11  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c  (parse_action): Don't store directly into the
+       rule's action member: return the action as a string.
+       Don't require `rule_length' as an argument: compute it.
+       (grammar_current_rule_symbol_append)
+       (grammar_current_rule_action_append): New, eved out from
+       (readgram): here.
+       Remove `action_flag', `rulelength', unused now.
+
 2002-06-11  Akim Demaille  <akim@epita.fr>
 
        * src/reader.c (grammar_current_rule_prec_set).