]> git.saurik.com Git - bison.git/blame - ChangeLog
projects / bison.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
* src/output.c (header_output): Remove, now handled completely via
[bison.git] / ChangeLog
CommitLineData
70e7d534
AD		 12002-02-25 Akim Demaille <akim@epita.fr>
2
3 * src/output.c (header_output): Remove, now handled completely via
4 M4.
5
abe017f6
AD		 62002-02-25 Akim Demaille <akim@epita.fr>
7
8 * m4/m4.m4: New, from CVS Autoconf.
9 * configure.in: Invoke it.
10 * src/output.c (output_skeleton): Use its result instead of the
11 hard coded name.
12
381fb12e
AD		 132002-02-25 Akim Demaille <akim@epita.fr>
14
15 * lib/tempname.c, lib/mkstemp.c, m4/mkstemp.m4: New, stolen from
16 Fileutils 4.1.5.
17 * configure.in: Invoke UTILS_FUNC_MKSTEMP.
18 * src/output.c (output_skeleton): Use mkstemp to create a real
19 temporary file.
20 Move the filling of `skeleton' and its muscle to...
21 (prepare): here.
22 (output): Move the definition of the prologue muscle to...
23 (prepare): here.
24 * src/system.h (DEFAULT_TMPDIR): New.
25
6f38107f
PE		 262002-02-14 Paul Eggert <eggert@twinsun.com>
27
28 Remove the support for C++ namespace cleanliness; it was
29 causing more problems than it was curing, since it didn't work
30 properly on some nonstandard C++ compilers. This can wait
31 for a proper C++ parser.
32
33 * NEWS: Document this.
34 * doc/bison.texinfo (Bison Parser, Debugging): Remove special mention
35 of C++, as it's treated like C now.
36 * src/bison.simple (YYSTD): Remove.
37 (YYSIZE_T, YYFPRINTF, YYPARSE_PARAM_ARG, YYPARSE_PARAM_DECL):
38 Treat C++ just like Standard C instead of trying to support
39 namespace cleanliness.
40
80cce3da
AD		 412002-02-14 Akim Demaille <akim@epita.fr>
42
43 * tests/regression.at (else): Adjust to Andreas' change.
44
842e8679
AD		 452002-02-14 Akim Demaille <akim@epita.fr>
46
47 * lib/Makefile.am (EXTRA_DIST): Ship strnlen.c.
48
4bda3f10
AD		 492002-02-13 Andreas Schwab <schwab@suse.de>
50
51 * src/output.c (output_rule_data): Don't output NULL, it might
52 not be defined yet.
53
4162fa07 542002-02-11 Robert Anisko <robert@lrde.epita.fr>
b418ecd8 55
4162fa07
RA		 56 * data/bison.c++ (YYDEBUG, YYERROR_VERBOSE): After the prologue.
57 (Copyright notice): Update.
b418ecd8 58
bd16a5dc
AD		 592002-02-11 Akim Demaille <akim@epita.fr>
60
61 * tests/regression.at (%nonassoc and eof): Don't include
62 nonportable headers.
63
8d69a1a3
RA		 642002-02-08 Robert Anisko <robert@lrde.epita.fr>
65
66 * data/bison.c++: Correct error recovery. Make the user able to
67 initialize the starting location.
68
9b2d0677
AD		 692002-02-07 Akim Demaille <akim@epita.fr>
70
71 * tests/input.at: New.
72
69e2658b
RA		 732002-02-07 Robert Anisko <robert@lrde.epita.fr>
74
75 * data/bison.c++: Replace some direct m4 expansions by constants. Be
9b2d0677 76 more consistent when naming methods and variables. Put preprocessor
69e2658b
RA		 77 directives around tables only needed for debugging.
78
4aacc3a7
RA		 792002-02-07 Robert Anisko <robert@lrde.epita.fr>
80
81 * data/bison.c++ (yy::b4_name::print_): New method, replaces yyprint in
82 C++ parsers.
83 (yy::b4_name::parse): Use print_.
84
762a801e
RA		 852002-02-07 Robert Anisko <robert@lrde.epita.fr>
86
87 * data/bison.c++ (yy::b4_name::parse): Error recovery is back.
88
4bb2bc3f
RA		 892002-02-07 Robert Anisko <robert@lrde.epita.fr>
90
91 * data/bison.c++ (yy::b4_name::error_): New method, replaces yyerror in
92 C++ parsers.
93 (yy::b4_name::parse): Build verbose error messages, and use error_.
94
6b45a3ca
RA		 952002-02-06 Robert Anisko <robert@lrde.epita.fr>
96
97 * data/bison.c++: Fix m4 quoting in comments.
98
50997c6e
RA		 992002-02-06 Robert Anisko <robert@lrde.epita.fr>
100
101 * data/bison.c++: Adjust the parser code. Fix some muscles that were
102 not expanded by m4.
103
3f3eed27
AD		 1042002-02-05 Akim Demaille <akim@epita.fr>
105
106 * data/bison.c++: Adjust to the M4 back end.
107 More is certainly needed.
108
be2a1a68
AD		 1092002-02-05 Akim Demaille <akim@epita.fr>
110
111 Give a try to M4 as a back end.
112
113 * lib/readpipe.c: New, from wdiff.
114 * src/Makefile.am (DEFS): Define PKGDATADIR, not BISON_SIMPLE and
115 BISON_HAIRY.
116 * src/system.h (BISON_HAIRY, BISON_SIMPLE): Remove the DOS and VMS
117 specific values. Now it is m4 that performs the lookup.
118 * src/parse-skel.y: Remove.
119 * src/muscle_tab.c, src/muscle_tab.h (muscles_m4_output): New.
120 * src/output.c (actions_output, guards_output)
121 (token_definitions_output): No longer keeps track of the output
122 line number, hence remove the second argument.
123 (guards_output): Check against the guard member of a rule, not the
124 action member.
125 Adjust callers.
126 (output_skeleton): Don't look for the skeleton location, let m4 do
127 that.
128 Create `/tmp/muscles.m4'. This is temporary, a proper temporary
129 file will be used.
130 Invoke `m4' on m4sugar.m4, muscles.m4, and the skeleton.
131 (prepare): Given that for the time being changesyntax is not
132 usable in M4, rename the muscles using `-' to `_'.
133 Define `defines_flag', `output_parser_name' and `output_header_name'.
134 * src/output.h (actions_output, guards_output)
135 (token_definitions_output): Adjust prototypes.
136 * src/scan-skel.l: Instead of scanning the skeletons, it now
137 processes the output of m4: `__oline__' and `#output'.
138 * data/bison.simple: Adjust to be used by M4(sugar).
139 * tests/Makefile.am: Use check_SCRIPTS to make sure `bison' is up
140 to date.
141 * tests/bison.in: Use the secrete envvar `BISON_PKGDATADIR'
142 instead of the dead `BISON_SIMPLE' and `BISON_HAIRY'.
143 * data/m4sugar/m4sugar.m4, data/m4sugar/version.m4: New,
144 shamelessly stolen from CVS Autoconf.
145
beda758b
AD		 1462002-02-05 Akim Demaille <akim@epita.fr>
147
148 * lib/hash.c, lib/hash.h: Replace with Fileutils 4.1's version.
149 * configure.in: Check for the declarations of free and malloc.
150 * src/muscle_tab.c: Adjust.
151
5ece6d43
AD		 1522002-02-05 Akim Demaille <akim@epita.fr>
153
154 * src/muscle_tab.c (muscle_init): Don't default to NULL muscle
155 which have no values.
156
5bb18f9a
AD		 1572002-02-05 Akim Demaille <akim@epita.fr>
158
159 * src/bison.simple, src/bison.hairy, src/bison.c++: Move to...
160 * data/: here.
161
894dd62e
PE		 1622002-01-29 Paul Eggert <eggert@twinsun.com>
163
164 * src/bison.simple (YYSIZE_T): Do not define merely because
165 YYSTACK_USE_ALLOCA is nonzero or alloca or _ALLOCA_H are defined.
166 On some platforms, <alloca.h> does not declare YYSTD (size_t).
167
82841af7
AD		 1682002-01-27 Akim Demaille <akim@epita.fr>
169
170 Fix `%nonassoc and eof'.
171
172 * src/state.c (errs_dup): Aaaah! The failure was due to bytes
173 which were not properly copied! Replace
174 memcpy (res->errs, src->errs, src->nerrs);
175 with
176 memcpy (res->errs, src->errs, src->nerrs * sizeof (src->errs[0]));
177 !!!
178 * tests/regression.at (%nonassoc and eof): Adjust to newest
179 Autotest: `.' is not in the PATH.
180
318b76e9
AD		 1812002-01-27 Akim Demaille <akim@epita.fr>
182
183 * tests/sets.at (AT_EXTRACT_SETS): New.
184 (Nullable): Use it.
185 (Firsts): New.
186
30d2f3d5
AD		 1872002-01-26 Akim Demaille <akim@epita.fr>
188
189 * tests/actions.at, tests/calc.at, tests/headers.at,
190 * tests/torture.at: Adjust to the newest Autotest which no longer
191 forces `.' in the PATH.
192
30f8c395
AD		 1932002-01-25 Akim Demaille <akim@epita.fr>
194
195 * tests/regression.at (%nonassoc and eof): New.
196 Suggested by Robert Anisko.
197
29ae55f1
AD		 1982002-01-24 Akim Demaille <akim@epita.fr>
199
200 Bison dumps core when trying to complain about broken input files.
201 Reported by Cris van Pelt.
202
203 * src/lex.c (parse_percent_token): Be sure to set token_buffer.
204 * tests/regression.at (Invalid input: 1, Invalid input: 2): Merge
205 into...
206 (Invalid inputs): Strengthen: exercise parse_percent_token.
207
2b548aa6
RA		 2082002-01-24 Robert Anisko <robert.anisko@epita.fr>
209
210 * src/Makefile.am: Add bison.c++.
211 * src/bison.c++: New skeleton.
212
bb0146c2
AD		 2132002-01-21 Paolo Bonzini <bonzini@gnu.org>
214
215 * po/it.po: New.
216
bec30531
AD		 2172002-01-21 Kees Zeelenberg <kzlg@users.sourceforge.net>
218
219 * src/files.c (skeleton_find) [MSDOS]: Fix cp definition.
220
fc6edc45
MA		 2212002-01-20 Marc Autret <marc@gnu.org>
222
223 * src/files.c (compute_output_file_names): Fix
224
5e5d5415
MA		 2252002-01-20 Marc Autret <marc@gnu.org>
226
227 * tests/output.at: New test.
228 * src/files.c (compute_base_names): Don't map extensions when
229 the YACC flag is set, use defaults.
230 Reported by Evgeny Stambulchik.
231
44ea3fbd
MA		 2322002-01-20 Marc Autret <marc@gnu.org>
233
bb0146c2 234 * src/system.h: Need to define __attribute__ away for non-GCC
44ea3fbd
MA		 235 compilers as well (i.e. the vendor C compiler).
236 Suggested by Albert Chin-A-Young.
237
338963d1
TVH		 2382002-01-11 Tim Van Holder <tim.van.holder@pandora.be>
239
240 * lib/hash.h, lib/hash.c: Renamed __P to PARAMS and used the
241 canonical definition.
242 * src/system.h: Use the canonical definition for PARAMS (avoids
243 a conflict with the macro from lib/hash.h).
244
c57b2479
AD		 2452002-01-11 Akim Demaille <akim@epita.fr>
246
247 * configure.in: Use AC_FUNC_STRNLEN.
d9e9746c 248 Fixes the failures observed on AIX 4.3 by H.Merijn Brand.
c57b2479 249
b85810ae
AD		 2502002-01-09 Akim Demaille <akim@epita.fr>
251
252 * src/files.c, src/files.h (output_infix): New.
253 (tab_extension): Remove.
254 (compute_base_names): Compute the former, drop the latter.
255 * src/output.c (prepare): Insert the muscles `output-infix', and
256 `output-suffix'.
257 * src/parse-skel.y (string, string.1): New.
258 (section.header): Use it.
259 (section.yacc): Remove.
260 (prefix): Remove too.
261 * src/scan-skel.l: Adjust.
262 * src/bison.simple, src/bison.hairy: Adjust.
263
cae60122
AD		 2642002-01-09 Akim Demaille <akim@epita.fr>
265
266 * configure.in (WERROR_CFLAGS): Compute it.
267 * src/Makefile.am (CFLAGS): Pass it.
268 * tests/atlocal.in (CFLAGS): Idem.
269 * src/files.c: Fix a few warnings.
270 (get_extension_index): Remove, unused.
271
ae404801
AD		 2722002-01-08 Akim Demaille <akim@epita.fr>
273
274 * src/getargs.c (AS_FILE_NAME): New.
275 (getargs): Use it to convert DOSish file names.
276 * src/files.c (base_name): Rename as full_base_name to avoid
277 clashes with `base_name ()'.
278 (filename_split): New.
279 (compute_base_names): N-th rewrite, using filename_split.
280
22312b71
AD		 2812002-01-08 Akim Demaille <akim@epita.fr>
282
283 * lib/basename.c, lib/dirname.h, lib/dirname.c, lib/memrchr.c:
284 New, stolen from the Fileutils 4.1.
285 * lib/Makefile.am (libbison_a_SOURCES): Adjust.
286 * configure.in: Check for the presence of memrchr, and of its
287 prototype.
288
a67cef01
TVH		 2892002-01-07 Tim Van Holder <tim.van.holder@pandora.be>
290
291 * lib/hash.h (__P): Added definition for this macro.
292 * src/Makefile.am: Add parse-skel.c and scan-skel.c to
293 BUILT_SOURCES, to ensure they are generated first.
294 * src/parse-skel.y: Use YYERROR_VERBOSE instead of
295 %error-verbose to allow bootstrapping with bison 1.30x.
296
2b25d624
AD		 2972002-01-06 Akim Demaille <akim@epita.fr>
298
299 * src/reader.c (parse_braces): Don't fetch the next char, the
300 convention is to fetch on entry.
301 * tests/torture.at (GNU Cim Grammar): Reintroduce their weird
302 'switch' without a following semicolon.
303 * tests/regression.at (braces parsing): New.
304
3460813b
AD		 3052002-01-06 Akim Demaille <akim@epita.fr>
306
307 Bison is dead wrong in its RR conflict reports.
308
309 * tests/torture.at (GNU Cim Grammar): New.
310 * src/conflicts.c (count_rr_conflicts): Fix.
311
73784c64
AD		 3122002-01-06 Akim Demaille <akim@epita.fr>
313
314 Creating package.m4 from configure.ac causes too many problems.
315
316 * tests/Makefile.am (package.m4): Create it by hand,
317 AC_CONFIG_TESTDIR no longer does in the most recent CVS Autoconf.
318
25d81090
AD		 3192002-01-06 Akim Demaille <akim@epita.fr>
320
321 * src/Makefile.am (bison_SOURCES): Add parse-skel.h and
322 skeleton.h.
323
a9b8959e
PE		 3242002-01-04 Paul Eggert <eggert@twinsun.com>
325
326 * doc/bison.texinfo (Debugging):
327 Remove YYSTDERR; it's no longer defined or used.
328 Also, s/cstdio.h/cstdio/.
329
25d81090
AD		 3302002-01-03 Akim Demaille <akim@epita.fr>
331
332 * tests/bison.in, tests/atlocal.in: Adjust to CVS Autoconf.
333
1109455c
AD		 3342002-01-03 Akim Demaille <akim@epita.fr>
335
336 * src/parse-skel.y (process_skeleton): Don't bind the parser's
337 tracing code to --trace, wait for a better --trace option, with
338 args.
339
7ea5e977
AD		 3402002-01-03 Akim Demaille <akim@epita.fr>
341
342 * src/bison.simple (YYSTDERR): Remove, replace `stderr'.
343 The ISO C++ standard is extremely clear about it: stderr is
344 considered a macro, not a regular symbol (see table 94 `Header
345 <cstdio> synopsis', [lib.c.files] 27.8.2 C Library files).
346 Therefore std:: does not apply to it. It still does with fprintf.
347 Also, s/cstdio.h/cstdio/.
348
fab5b110
AD		 3492002-01-03 Akim Demaille <akim@epita.fr>
350
351 * lib/quotearg.c: Use `#include "..."' instead of `#include <...>'
352 for non system headers.
353
aed7fd9b
AD		 3542002-01-02 Akim Demaille <akim@epita.fr>
355
356 Equip the skeleton chain with location tracking, runtime trace,
357 pure parser and scanner.
358
359 * src/parse-skel.y: Request a pure parser, locations, and prefix
360 renaming.
361 (%union): Having several members with the same type does not help
362 type mismatches, simplify.
363 (YYPRINT, yyprint): New.
364 (yyerror): ``Rename'' (there is a #define yyerror skel_error) as...
365 (skel_error): this.
366 Handle locations.
367 * src/scan-skel.l: Adjust to these changes.
368 * src/skeleton.h (LOCATION_RESET, LOCATION_LINES, LOCATION_STEP)
369 (LOCATION_PRINT, skel_control_t): New.
370
24fad99e
AD		 3712001-12-30 Akim Demaille <akim@epita.fr>
372
373 * src/parse-skel.y: Get rid of the shift/reduce conflict:
374 replace `gb' with BLANKS.
375 * src/scan-skel.l: Adjust.
376
a4b36db4
AD		 3772001-12-30 Akim Demaille <akim@epita.fr>
378
379 * src/system.h: We don't need nor want bcopy.
380 Throw away MS-DOS crap: we don't need getpid.
381 * configure.in: We don't need strndup. It was even causing
382 problems: because Flex includes the headers *before* us,
383 _GNU_SOURCE is not defined by config.h, and therefore strndup was
384 not visible.
385 * lib/xstrndup.c: New.
386 * src/scan-skel.l: Use it.
387 Be sure to initialize yylval.muscle member when scanning a MUSCLE.
388 * src/parse-skel.y: Use %directives instead of #defines.
389
1239777d
AD		 3902001-12-30 Akim Demaille <akim@epita.fr>
391
392 * src/skeleton.h: New.
393 * src/output.c (output_parser, output_master_parser): Remove, dead
394 code.
395 * src/output.h (get_lines_number, actions_output, guards_output)
396 (token_definitions_output): Prototype them.
397 * src/parse-skel.y: Add the license notice.
398 Include output.h and skeleton.h.
399 (process_skeleton): Returns void, and takes a single parameter.
400 * src/scan-skel.l: Add the license notice.
401 Include skeleton.h.
402 Don't use %option yylineno: it seems that then Flex imagines
403 REJECT has been used, and therefore it won't reallocate its
404 buffers (which makes no other sense to me than a bug). It results
405 in warnings for `unused: yy_flex_realloc'.
406
9b3add5b
RA		 4072001-12-30 Robert Anisko <robert.anisko@epita.fr>
408
409 * src/muscle_tab.h (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING)
410 (MUSCLE_INSERT_PREFIX): ...to there.
411 * src/output.c (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING)
412 (MUSCLE_INSERT_PREFIX): Move from here...
413
414 * src/bison.hairy: Add a section directive. Put braces around muscle
415 names. This parser skeleton is still broken, but Bison should not
416 choke on a bad muscle 'syntax'.
417 * src/bison.simple: Add a section directive. Put braces around muscle
418 names.
419
420 * src/files.h (strsuffix, stringappend): Add declarations.
421 (tab_extension): Add declaration.
422 (short_base_name): Add declaration.
423
424 * src/files.c (strsuffix, stringappend): No longer static. These
425 functions are used in the skeleton parser.
426 (tab_extension): New.
427 (compute_base_names): Use the computations done in this function
fab5b110 428 to guess if the generated parsers should have '.tab' in their
9b3add5b
RA		 429 names.
430 (short_base_name): No longer static.
431
432 * src/output.c (output_skeleton): New.
433 (output): Disable call to output_master_parser, and give a try to
434 a new skeleton handling system.
435 (guards_output, actions_output): No longer static.
436 (token_definitions_output, get_lines_number): No longer static.
437
438 * configure.in: Use AM_PROG_LEX and AC_PROG_YACC.
439
fab5b110 440 * src/Makefile.am (bison_SOURCES): Add scan-skel.l and
9b3add5b
RA		 441 parse-skel.y.
442
443 * src/parse-skel.y: New file.
444 * src/scan-skel.l: New file.
445
b5b61c61
AD		 4462001-12-29 Akim Demaille <akim@epita.fr>
447
448 %name-prefix is broken.
449
450 * src/files.c (spec_name_prefix): Initialize to NULL, not to "yy".
451 Adjust all dependencies.
452 * tests/headers.at (export YYLTYPE): Strengthen this test: use
453 %name-prefix.
454
455 Renaming yylval but not yylloc is not consistent. Now we do.
456
457 * src/bison.simple: Prefix yylloc if used.
458 * doc/bison.texinfo (Decl Summary): Document that.
459
8c9a50be
AD		 4602001-12-29 Akim Demaille <akim@epita.fr>
461
462 * doc/bison.texinfo: Promote `%long-directive' over
463 `%long_directive'.
464 Remove all references to fixed-output-files, yacc is enough.
465
d99361e6
AD		 4662001-12-29 Akim Demaille <akim@epita.fr>
467
468 * src/bison.simple: Define YYDEBUG and YYERROR_VERBOSE *after* the
469 user prologue. These are defaults.
470 * tests/actions.at (Mid-rule actions): Make sure the user can
471 define YYDEBUG and YYERROR_VERBOSE.
472
b9cecb91
AD		 4732001-12-29 Akim Demaille <akim@epita.fr>
474
475 * src/output.c (header_output): Don't forget to export YYLTYPE and
476 yylloc.
477 * tests/headers.at (export YYLTYPE): New, make sure it does.
478 * tests/regression.at (%union and --defines, Invalid CPP headers):
479 Move to...
480 * tests/headers.at: here.
481
aea13e97
AD		 4822001-12-29 Akim Demaille <akim@epita.fr>
483
484 * src/gram.h (rule_s): Member `assoc' is of type `associativity'.
485
931394cb
AD		 4862001-12-29 Akim Demaille <akim@epita.fr>
487
488 * tests/actions.at (Mid-rule actions): Output on a single line
489 instead of several.
490
704a47c4
AD		 4912001-12-29 Akim Demaille <akim@epita.fr>
492
493 * doc/bison.texinfo: Formatting changes.
494
091e20bb
AD		 4952001-12-29 Akim Demaille <akim@epita.fr>
496
497 Don't store the token defs in a muscle, just be ready to output it
498 on command. Now possible via `symbols'. Fixes a memory leak.
499
500 * src/output.c (token_definitions_output): New.
501 (output_parser, header_output): Use it.
502 * src/reader.c (symbols_save): Remove.
503
cce71710
AD		 5042001-12-29 Akim Demaille <akim@epita.fr>
505
506 * src/bison.simple: Do not provide a default for YYSTYPE and
507 YYLTYPE before the user's prologue. Otherwise it's hardly... a
508 default.
509
82c035a8
AD		 5102001-12-29 Akim Demaille <akim@epita.fr>
511
512 Mid-rule actions are simply... ignored!
513
514 * src/reader.c (readgram): Be sure to attach mid-rule actions to
515 the empty-rule associated to the dummy symbol, not to the host
516 rule.
517 * tests/actions.at (Mid-rule actions): New.
518
8419d367
AD		 5192001-12-29 Akim Demaille <akim@epita.fr>
520
521 Memory leak.
522
523 * src/reader.c (reader): Free grammar.
524
375d5806
AD		 5252001-12-29 Akim Demaille <akim@epita.fr>
526
527 Memory leak.
528
529 * src/LR0.c (new_itemsets): Don't allocate `shift_symbol' here,
530 since it allocates it for each state, although only one is needed.
531 (allocate_storage): Do it here.
532
f51cb8ff
AD		 5332001-12-29 Akim Demaille <akim@epita.fr>
534
535 * src/options.h, src/options.c (create_long_option_table): Rename
536 as...
537 (long_option_table_new): this, with a clearer prototype.
538 (percent_table): Remove, unused,
539 * src/getargs.c (getargs): Adjust.
540
29e88316
AD		 5412001-12-29 Akim Demaille <akim@epita.fr>
542
543 * src/LR0.c, src/conflicts.c, src/lalr.c, src/lalr.h, src/output.c
544 * src/print.c, src/print_graph.c, src/state.h: Rename state_table
545 as states.
546
b9f71f19
AD		 5472001-12-29 Akim Demaille <akim@epita.fr>
548
549 * src/lalr.c (build_relations): Rename `states' as `states1'.
550 Sorry, I don't understand exactly what it is, no better name...
551
1a2b5d37
AD		 5522001-12-29 Akim Demaille <akim@epita.fr>
553
554 * src/closure.c, src/conflicts.c, src/derives.c, src/gram.c
555 * src/gram.h, src/lalr.c, src/nullable.c, src/output.c, src/print.c
556 * src/print_graph.c, src/reader.c, src/reduce.c: Rename rule_table
557 as rules.
558
1cca533e
AD		 5592001-12-29 Akim Demaille <akim@epita.fr>
560
561 * src/gram.c (rprec, rprecsym, rassoc): Remove, unused since long
562 ago.
563
c03ae966
AD		 5642001-12-29 Akim Demaille <akim@epita.fr>
565
566 * src/reader.c, src/reader.h (user_toknums): Remove.
567 Adjust all users to use symbols[i]->user_token_number.
568
5a670b1e
AD		 5692001-12-29 Akim Demaille <akim@epita.fr>
570
571 * src/gram.c, src/gram.h (sprec, sassoc): Remove.
572 Adjust all users to use symbols[i]->prec or ->assoc.
573
ad949da9
AD		 5742001-12-29 Akim Demaille <akim@epita.fr>
575
576 * src/reader.c, src/reader.h (tags): Remove.
577 Adjust all users to use symbols[i]->tag.
578
0e78e603
AD		 5792001-12-29 Akim Demaille <akim@epita.fr>
580
581 * src/gram.h, src/gram.c (symbols): New, similar to state_table
582 and rule_table.
583 * src/reader.c (packsymbols): Fill this table.
584 Drop sprec.
585 * src/conflicts.c (resolve_sr_conflict): Adjust.
586 * src/reduce.c (reduce_grammar): Adjust: just sort symbols, a
587 single table.
588 Use symbols[i]->tag instead of tags[i].
589
213e640e
AD		 5902001-12-29 Akim Demaille <akim@epita.fr>
591
592 * tests/calc.at (_AT_DATA_CALC_Y): Also use %union.
593 In addition, put a comment in there, to replace...
594 * tests/regression.at (%union and C comments): Remove.
595
e7b8bef1
AD		 5962001-12-29 Akim Demaille <akim@epita.fr>
597
598 * tests/regression.at (Web2c Actions): Blindly move the actual
599 output as expected output. The contents *seem* right to me, but I
600 can't pretend reading perfectly parser tables... Nonetheless, all
601 the other tests pass correctly, the table look OK, even though the
602 presence of `$axiom' is to be noted: AFAICS it is useless (but
603 harmless).
604
b68e7744
AD		 6052001-12-29 Akim Demaille <akim@epita.fr>
606
607 * src/reader.c (readgram): Don't add the rule 0 if there were no
608 rules read. In other words, add it _after_ having performed
609 grammar sanity checks.
610 Fixes the `tests/regression.at (Invalid input: 1)' Failure.
611
78d5bae9
AD		 6122001-12-29 Akim Demaille <akim@epita.fr>
613
614 * tests/regression.at (Web2c Report): Catch up: the rule 0 is now
615 visible, and some states have now a different number.
616
ff442794
AD		 6172001-12-29 Akim Demaille <akim@epita.fr>
618
619 * src/reader.c (readgram): Bind the initial rule's lineno to that
620 of the first rule.
621 * tests/regression.at (Rule Line Numbers, Unresolved SR Conflicts):
622 (Solved SR Conflicts): Adjust rule 0's line number.
623
610ab194
AD		 6242001-12-29 Akim Demaille <akim@epita.fr>
625
626 Fix the `GAWK Grammar' failure.
627
628 * src/LR0.c (final_state): Initialize to -1 so that we do compute
629 the reductions of the first state which was mistakenly confused
630 with the final state because precisely final_state was initialized
631 to 0.
632 * tests/sets.at (Nullable): Adjust: state 0 does have lookaheads,
633 now noticed by Bison.
634 * tests/regression.at (Rule Line Numbers): Adjust: state 0 does
635 have a reduction on $default.
636
29d29c8f
AD		 6372001-12-29 Akim Demaille <akim@epita.fr>
638
639 * src/gram.c (ritem_print): Be sure to subtract 1 when displaying
640 rule line numbers.
641 * src/closure.c (print_closure): Likewise.
642 * src/derives.c (print_derives): Likewise.
643 * tests/sets.at (Nullable): Adjust: the rule numbers are correct
644 now.
645
7c6b64d0
AD		 6462001-12-29 Akim Demaille <akim@epita.fr>
647
648 * src/lalr.c (lookaheads_print): New.
649 (lalr): Call it when --trace-flag.
650 * tests/sets.at (Nullable): Adjust: when tracing, the lookaheads
651 are dumped.
652
3d4daee3
AD		 6532001-12-29 Akim Demaille <akim@epita.fr>
654
655 * src/derives.c (print_derives): Be sure to use `>= 0', not `> 0',
656 when walking through ritem, even via rule->rhs.
657 * src/reduce.c (dump_grammar, useful_production, reduce_output)
658 (useful_production, useless_nonterminals): Likewise.
659 (reduce_grammar_tables): Likewise, plus update nritems.
660 * src/nullable.c (set_nullable): Likewise.
661 * src/lalr.c (build_relations): Likewise.
662 * tests/sets.at (Nullable): Adjust.
663 Fortunately, now, the $axiom is no longer nullable.
664
9e7f6bbd
AD		 6652001-12-29 Akim Demaille <akim@epita.fr>
666
667 * src/LR0.c (generate_states): Use nritems, not nitems, nor using
668 the 0-sentinel.
669 * src/gram.c (ritem_longest_rhs): Likewise.
670 * src/reduce.c (nonterminals_reduce): Likewise.
671 * src/print_graph.c (print_graph): Likewise.
672 * src/output.c (output_rule_data): Likewise.
673 * src/nullable.c (set_nullable): Likewise.
674
255ef638
AD		 6752001-12-29 Akim Demaille <akim@epita.fr>
676
677 * src/output.c: Comment changes.
678
0d8a7363
AD		 6792001-12-27 Paul Eggert <eggert@twinsun.com>
680
681 * src/bison.simple (YYSTACK_ALLOC, YYSIZE_T): Remove special
682 cases for non-GNU systems like AIX, HP-UX, SGI, Sun, and
683 Sparc, as they were causing more porting problems than the
684 (minor) performance improvement was worth.
685
686 Also, catch up with 1.31's YYSTD.
687
3db472b9
AD		 6882001-12-27 Akim Demaille <akim@epita.fr>
689
690 * src/output.c (output_gram): Rely on nritems, not the
691 0-sentinel. See below.
692 Use -1 as separator, not 0.
693 * src/bison.simple (yyparse): Subtract 1 to the rule numbers.
694 Rely on -1 as separator in yyrhs, instead of 0.
695 * tests/calc.at (AT_CHECK_CALC): Now, the parsers no longer issue
696 twice `Now at end of input', therefore there are two lines less to
697 expect.
698
b365aa05
AD		 6992001-12-27 Akim Demaille <akim@epita.fr>
700
701 * tests/regression.at (Unresolved SR Conflicts):
702 (Solved SR Conflicts, Rule Line Numbers): Adjust to the changes
703 below.
704
30171f79
AD		 7052001-12-27 Akim Demaille <akim@epita.fr>
706
707 * src/LR0.c (new_state): Recognize the final state by the fact it
708 is reached by eoftoken.
709 (insert_start_shifting_state, insert_eof_shifting_state)
710 (insert_accepting_state, augment_automaton): Remove, since now
711 these states are automatically computed from the initial state.
712 (generate_states): Adjust.
713 * src/print.c: When reporting a rule number to the user, substract
714 1, so that the axiom rule is rule 0, and the first user rule is 1.
715 * src/reduce.c: Likewise.
716 * src/print_graph.c (print_core): For the time being, just as for
717 the report, depend upon --trace-flags to dump the full set of
718 items.
719 * src/reader.c (readgram): Once the grammar read, insert the rule
720 0: `$axiom: START-SYMBOL $'.
721 * tests/set.at: Adjust: rule 0 is now displayed, and since the
722 number of the states has changed (the final state is no longer
723 necessarily the last), catch up.
724
75142d45
AD		 7252001-12-27 Akim Demaille <akim@epita.fr>
726
727 Try to make the use of the eoftoken valid. Given that its value
728 is 0 which was also used as a sentinel in ritem, (i) make sure >= 0
729 is used instead of > 0 where appropriate, (ii), depend upon nritems
730 instead of the 0-sentinel.
731
732 * src/gram.h, src/gram.c (nritems): New.
733 Expected to be duplication of nitems, but for the time being...
734 * src/reader.c (packgram): Assert nritems and nitems are equal.
735 * src/LR0.c (allocate_itemsets, new_itemsets): Adjust.
736 * src/closure.c (print_closure, print_fderives): Likewise.
737 * src/gram.c (ritem_print): Likewise.
738 * src/print.c (print_core, print_grammar): Likewise.
739 * src/print_graph.c: Likewise.
740
b7c49edf
AD		 7412001-12-27 Akim Demaille <akim@epita.fr>
742
743 * src/main.c (main): If there are complains after grammar
744 reductions, then output the report anyway if requested, then die.
745 * src/symtab.c (bucket_new): Initialize `value' to -1, not 0.
746 * src/reader.c (eoftoken): New.
747 (parse_token_decl): If the token being defined has value `0', it
748 is the eoftoken.
749 (packsymbols): No longer hack `tags' to insert `$' by hand.
750 Be sure to preserve the value of the eoftoken.
751 (reader): Make sure eoftoken is defined.
752 Initialize nsyms to 0: now eoftoken is created just like the others.
753 * src/print.c (print_grammar): Don't special case the eof token.
754 * src/regression.at: Adjust: `$' has value 0, not -1, which was a
755 lie anyway, albeit pleasant.
756 * tests/calc.at: Exercise error messages with eoftoken.
757 Change the grammar so that empty input is invalid.
758 Adjust expectations.
759 When yyungeting, be sure to use a valid yylloc: use last_yylloc.
760
ec2da99f
AD		 7612001-12-27 Akim Demaille <akim@epita.fr>
762
763 * configure.in: Check the protos of strchr ans strspn.
764 Replace strchr if needed.
765 * src/system.h: Provide the protos of strchr, strspn and memchr if
766 missing.
767 * lib/strchr.c: New.
768 * src/reader.c (symbols_save): Use strchr.
769
8adfa272
AD		 7702001-12-27 Akim Demaille <akim@epita.fr>
771
772 * src/print.c, src/print_graph.c (escape): New.
773 Use it to quote the TAGS outputs.
774 * src/print_graph.c (print_state): Now errors are in red, and
775 reductions in green.
776 Prefer high to wide: output the state number on a line of its own.
777
80dac38c
AD		 7782001-12-27 Akim Demaille <akim@epita.fr>
779
780 * src/state.h, src/state.c (reductions_new): New.
781 * src/LR0.c (set_state_table): Let all the states have a
782 `reductions', even if reduced to 0.
783 (save_reductions): Adjust.
784 * src/lalr.c (initialize_LA, initialize_lookaheads): Adjust.
785 * src/print.c (print_reductions, print_actions): Adjust.
786 * src/output.c (action_row): Adjust.
787
2cec70b9
AD		 7882001-12-27 Akim Demaille <akim@epita.fr>
789
790 * src/state.h, src/state.c (errs_new, errs_dup): New.
791 * src/LR0.c (set_state_table): Let all the states have an errs,
792 even if reduced to 0.
793 * src/print.c (print_errs, print_reductions): Adjust.
794 * src/output.c (output_actions, action_row): Adjust.
795 * src/conflicts.c (resolve_sr_conflict): Adjust.
796
13ca549a
AD		 7972001-12-27 Akim Demaille <akim@epita.fr>
798
799 * src/lalr.c (set_goto_map, initialize_F): Use SHIFT_SYMBOL.
800
5092aba5
AD		 8012001-12-27 Akim Demaille <akim@epita.fr>
802
803 * src/conflicts.c, src/conflicts.h (print_reductions): Move to...
804 * src/print.c: here.
805 (lookaheadset, shiftset): New, used as additional storage by
806 print_reductions.
807 (print_results): Adjust.
808 (print_shifts, print_gotos, print_errs): New, extracted from...
809 (print_actions): here.
810 * src/print_graph.c (print_actions): Remove dead code.
811
11e2beca
AD		 8122001-12-27 Akim Demaille <akim@epita.fr>
813
814 * src/reader.c (copy_dollar, copy_at): Better checking of `n' in
815 `$n' and `@n'.
816
dac3c910
AD		 8172001-12-27 Akim Demaille <akim@epita.fr>
818
819 * src/lalr.c (add_lookback_edge): Use state_t instead of ints.
820 (build_relations): Adjust.
821
d0b0fefa
AD		 8222001-12-27 Akim Demaille <akim@epita.fr>
823
824 * src/lalr.c (set_goto_map): Remove a wrong but benign loop
825 duplication.
826
adc8c848
AD		 8272001-12-27 Akim Demaille <akim@epita.fr>
828
829 * src/reader.c (packgram): Catch nitems overflows.
830
14d293ac
AD		 8312001-12-27 Akim Demaille <akim@epita.fr>
832
833 * src/files.c, src/files.h (guard_obstack): Remove.
834 * src/output.c (output): Adjust.
835 * src/reader.c (parse_braces): New, factoring...
836 (copy_action, copy_guard): these two which are renamed as...
837 (parse_action, parse_guard): these.
838 As a voluntary consequence, using braces around guards is now
839 mandatory.
840
f499b062
AD		 8412001-12-27 Akim Demaille <akim@epita.fr>
842
843 * src/gram.h (rule_t): `guard' and `guard_line' are new members.
844 * src/reader.c (symbol_list): `guard' and `guard_line' are new
845 members.
846 (symbol_list_new): Adjust.
847 (copy_action): action_line is the first line, not the last.
848 (copy_guard): Just as for actions, store the `action' only, not
849 the switch/case/break flesh.
850 Don't parse the user action that might follow the guard, let...
851 (readgram): do it, i.e., now, there can be an action after a
852 guard.
853 In other words the guard is just explicitly optional.
854 (packgram): Adjust.
855 * src/output.c (guards_output): New.
856 (output_parser): Call it when needed.
857 (output): Also free the guard and attrs obstacks.
858 * src/files.c, src/files.h (obstack_save): Remove.
859 (output_files): Remove.
860 As a result, if one needs the former `.act' file, using an
861 appropriate skeleton which requires actions and guards is now
862 required.
863 * src/main.c (main): Adjust.
864 * tests/semantic.at: New.
865 * tests/regression.at: Use `input.y' as input file name.
866 Avoid 8+3 problems by requiring input.c when the test needs the
867 parser.
868
d945f5cd
AD		 8692001-12-27 Akim Demaille <akim@epita.fr>
870
871 * src/reader.c (symbol_list_new): Be sure to initialize all the
872 fields.
873
d200e455
AD		 8742001-12-27 Akim Demaille <akim@epita.fr>
875
876 All the hacks using a final pseudo state are now useless.
877
878 * src/LR0.c (set_state_table): state_table holds exactly nstates.
879 * src/lalr.c (nLA): New.
880 (initialize_LA, compute_lookaheads, initialize_lookaheads): Use it
881 instead of lookaheadsp from the pseudo state (nstate + 1).
882
f9507c28
AD		 8832001-12-27 Akim Demaille <akim@epita.fr>
884
885 * src/output.c (action_row, token_actions): Use a state_t instead
886 of a integer, and nlookaheads instead of the following state's
887 lookaheadsp.
888
065fbd27
AD		 8892001-12-27 Akim Demaille <akim@epita.fr>
890
891 * src/conflicts.c (log_resolution, flush_shift)
892 (resolve_sr_conflict, set_conflicts, solve_conflicts)
893 (count_sr_conflicts, count_rr_conflicts, conflicts_output)
894 (conflicts_print, print_reductions): Use a state_t instead of an
895 integer when referring to a state.
896 As much as possible, depend upon nlookaheads, instead of the
897 `lookaheadsp' member of the following state (since lookaheads of
898 successive states are successive, the difference between state n + 1
899 and n served as the number of lookaheads for state n).
900 * src/lalr.c (add_lookback_edge): Likewise.
901 * src/print.c (print_core, print_actions, print_state)
902 (print_results): Likewise.
903 * src/print_graph.c (print_core, print_actions, print_state)
904 (print_graph): Likewise.
905 * src/conflicts.h: Adjust.
906
1b177bd7
AD		 9072001-12-27 Akim Demaille <akim@epita.fr>
908
909 * src/bison.hairy: Formatting/comment changes.
910 ANSIfy.
911 Remove `register' indications.
912 Add plenty of `static'.
913
7742ddeb
AD		 9142001-12-27 Akim Demaille <akim@epita.fr>
915
916 * src/output.c (prepare): Drop the muscle `ntbase' which
917 duplicates ntokens.
918 * src/bison.simple: Formatting/comment changes.
919 Use YYNTOKENS only, which is documented, but not YYNTBASE, which
920 is an undocumented synonym.
921
1fa14068
AD		 9222001-12-22 Akim Demaille <akim@epita.fr>
923
924 * src/output.c (output_table_data): Change the prototype to use
925 `int' for array ranges: some invocations do pass an int, not a
926 short.
927 Reported by Wayne Green.
928
b9752825
AD		 9292001-12-22 Akim Demaille <akim@epita.fr>
930
931 Some actions of web2c.y are improperly triggered.
932 Reported by Mike Castle.
933
934 * src/lalr.c (traverse): s/F (i)[k] = F (j)[k]/F (j)[k] = F (i)[k]/.
935 * tests/regression.at (Web2c): Rename as...
936 (Web2c Report): this.
937 (Web2c Actions): New.
938
776209d6
AD		 9392001-12-22 Akim Demaille <akim@epita.fr>
940
941 Reductions in web2c.y are improperly reported.
942 Reported by Mike Castle.
943
944 * src/conflicts.c (print_reductions): Fix.
945 * tests/regression.at (Web2c): New.
946
275fc3ad
AD		 9472001-12-18 Akim Demaille <akim@epita.fr>
948
949 Some host fail on `assert (!"foo")', which expands to
950 ((!"foo") ? (void)0 : __assert("!"foo."", __FILE__, __LINE__))
951 Reported by Nelson Beebee.
952
953 * src/output.c, src/vcg.c: Replace `assert (!"it succeeded")' with
954 `#define it_succeeded 0' and `assert (it_succeeded)'.
955
897668ee
MA		 9562001-12-17 Marc Autret <autret_m@epita.fr>
957
958 * src/bison.simple: Don't hard code the skeleton line and filename.
959 * src/output.c (output_parser): Rename 'line' as 'output_line'.
960 New line counter 'skeleton_line' (skeleton-line muscle).
961
ab3399e0
PE		 9622001-12-17 Paul Eggert <eggert@twinsun.com>
963
964 * NEWS, doc/bison.texinfo, doc/bison.1, doc/bison.rnh: Document that
965 YYDEBUG must be defined to a nonzero value.
966
967 * src/bison.simple (yytname): Do not assume that the user defines
968 YYDEBUG to a properly parenthesized expression.
969
3877f72b
AD		 9702001-12-17 Akim Demaille <akim@epita.fr>
971
972 * src/state.h (state_t): Rename lookaheads as lookaheadsp.
973 nlookaheads is a new member.
974 Adjust all users.
975 * src/lalr.h (nlookaheads): Remove this orphan declaration.
976 * src/lalr.c (initialize_lookaheads): Set nlookaheads for each
977 state.
776209d6 978
331dbc1b
AD		 9792001-12-17 Akim Demaille <akim@epita.fr>
980
981 * src/files.h, src/files.c (open_files, close_files): Remove.
982 * src/main.c (main): Don't open/close files, nor invoke lex_free,
983 let...
984 * src/reader.c (reader): Do it.
776209d6 985
be750e4c
AD		 9862001-12-17 Akim Demaille <akim@epita.fr>
987
988 * src/conflicts.c (print_reductions): Formatting changes.
776209d6 989
709ae8c6
AD		 9902001-12-17 Akim Demaille <akim@epita.fr>
991
992 * src/conflicts.c (flush_shift): Also adjust lookaheadset.
993 (flush_reduce): New.
994 (resolve_sr_conflict): Adjust.
776209d6 995
f87685c3
AD		 9962001-12-17 Akim Demaille <akim@epita.fr>
997
998 * src/output.c (output_obstack): Be static and rename as...
999 (format_obstack): this, to avoid any confusion with files.c's
1000 output_obstack.
1001 * src/reader.h (muscle_obstack): Move to...
1002 * src/output.h: here, since it's defined in output.c.
1003
837491d8
AD		 10042001-12-17 Akim Demaille <akim@epita.fr>
1005
1006 * src/output.c (action_row, save_column, default_goto)
1007 (sort_actions, matching_state, pack_vector): Better variable
1008 locality.
1009
796d61fb
AD		 10102001-12-17 Akim Demaille <akim@epita.fr>
1011
1012 * src/output.c: Various formatting changes.
776209d6 1013
64d15509
AD		 10142001-12-17 Akim Demaille <akim@epita.fr>
1015
1016 * src/files.c (output_files): Free the output_obstack.
1017 * src/main.c (main): Call print and print_graph conditionally.
1018 * src/print.c (print): Work unconditionally.
1019 * src/print_graph.c (print_graph): Work unconditionally.
1020 * src/conflicts.c (log_resolution): Output only if verbose_flag.
1021
fbc8ecb7
MA		 10222001-12-16 Marc Autret <autret_m@epita.fr>
1023
1024 * src/output.c (actions_output): Fix. When we use %no-lines,
1025 there is one less line per action.
1026
f0440388
MA		 10272001-12-16 Marc Autret <autret_m@epita.fr>
1028
1029 * src/bison.simple: Remove a useless #line directive.
1030 s/#line %%line %%skeleton/#line %%line "%%parser-file-name"/'.
1031 * src/output.c (get_lines_number): New.
776209d6 1032 (output_parser): Adjust, now takes care about the lines of a
f0440388
MA		 1033 output muscles.
1034 Fix line numbering.
1035 (actions_output): Computes the number of lines taken by actions.
1036 (output_master_parser): Insert new skeleton which is the name of
1037 the output parser file name.
1038
a79986b8
MA		 10392001-12-15 Marc Autret <autret_m@epita.fr>
1040
1041 * src/bison.simple [YYERROR_VERBOSE]: Restore backward compatibility.
1042
4ec8e00f
MA		 10432001-12-15 Marc Autret <autret_m@epita.fr>
1044
1045 * src/output.c (output_gram): Keep track of the hairy one.
1046
1a4648ff
AD		 10472001-12-15 Akim Demaille <akim@epita.fr>
1048
1049 Make `make distcheck' work.
1050
1051 * lib/Makefile.am (INCLUDES): Add top_srcdir/intl, since hash uses
1052 system.h which uses libgettext.h.
1053
9c2c67e6
AD		 10542001-12-15 Akim Demaille <akim@epita.fr>
1055
1056 * src/nullable.c (set_nullable): Useless rules must be skipped,
1057 otherwise, since we range over their symbols, we might look at a
1058 nonterminal which no longer ``exists'', i.e., it is not counted in
1059 `nvars', hence we overflow our arrays.
1060
93ede233
AD		 10612001-12-15 Akim Demaille <akim@epita.fr>
1062
1063 The header can also be produced directly, without any obstack!
1064 Yahoo!
1065
1066 * src/files.c, src/files.h (defines_obstack): Remove.
1067 (compute_header_macro): Global.
1068 (defines_obstack_save): Remove.
1069 * src/reader.c (parse_union_decl): No longer output to
1070 defines_obstack: its content can be found in the `stype' muscle
1071 anyway.
1072 (output_token_translations): Merge into...
1073 (symbols_output): this.
1074 Rename as...
1075 (symbols_save): this.
1076 (reader): Adjust.
1077 * src/output.c (header_output): New.
1078 (output): Call it.
1079
2666f928
AD		 10802001-12-15 Akim Demaille <akim@epita.fr>
1081
1082 * src/reader.c (parse_union_decl): Instead of handling two obstack
1083 simultaneously, use one to define the `stype' muscle, and use the
1084 value of the latter to fill defines_obstack.
1085 (copy_comment): Remove.
1086 (copy_comment2): Work for a single obstack.
1087 Rename as...
1088 (copy_comment): this.
1089
428046f8
AD		 10902001-12-15 Akim Demaille <akim@epita.fr>
1091
1092 * src/lex.c, src/lex.h (xgetc): No longer static.
1093 * src/reader.c (parse_union_decl): Revamp.
1094
ea52d706
AD		 10952001-12-15 Akim Demaille <akim@epita.fr>
1096
1097 Still making progress in separating Bison into (i) input, (ii)
1098 process, (iii) output: now we can directly output the parser file
1099 without using table_obstack at all.
1100
1101 * src/files.c, src/files.h (table_obstack): Bye bye.
1102 (parser_file_name): New.
1103 * src/files.c (compute_output_file_names): Compute it.
1104 * src/output.c (actions_output, output_parser)
1105 (output_master_parser): To a file instead of an obstack.
1106
3f96f4dc
AD		 11072001-12-15 Akim Demaille <akim@epita.fr>
1108
1109 Attach actions to rules, instead of pre-outputting them to
1110 actions_obstack.
1111
1112 * src/gram.h (rule_t): action and action_line are new members.
1113 * src/reader.c (symbol_list): Likewise.
1114 (copy_action): Save the actions within the rule.
1115 (packgram): Save them in rule_table.
1116 * src/output.c (actions_output): New.
1117 (output_parser): Use it on `%%actions'.
1118 (output_rule_data): Don't free rule_table.
1119 (output): Do it.
1120 (prepare): Don't save the `action' muscle.
1121 * src/bison.simple: s/%%action/%%actions/.
1122
51576fb3
AD		 11232001-12-15 Akim Demaille <akim@epita.fr>
1124
1125 * src/reader.c (copy_action): When --yacc, don't append a `;'
1126 to the user action: let it fail if lacking.
dee049eb 1127 Suggested by Arnold Robbins and Tom Tromey.
51576fb3 1128
2648a72d
AD		 11292001-12-14 Akim Demaille <akim@epita.fr>
1130
1131 * src/lex.c (literalchar): Simply return the char you decoded, non
1132 longer mess around with obstacks and int pointers.
1133 Adjust all callers.
1134
92790e5b
AD		 11352001-12-14 Akim Demaille <akim@epita.fr>
1136
1137 * src/lex.c (literalchar): Don't escape the special characters,
1138 just decode them, and keep them as char (before, eol was output as
1139 the 2 char string `\n' etc.).
1140 * src/output.c (output_rule_data): Use quotearg to output the
1141 token strings.
1142
927c1557
PE		 11432001-12-13 Paul Eggert <eggert@twinsun.com>
1144
1145 * src/bison.simple (YYSIZE_T, YYSTACK_ALLOC, YYSTACK_FREE):
1146 Do not infringe on the global user namespace when using C++.
1147 (YYFPRINTF, YYSTDERR): New macros, needed for the above.
1148 All uses of `fprintf' and `stderr' changed.
1149
1150 * doc/bison.texinfo: Document YYFPRINTF, YYSTDERR.
1151
ed8e1f68
AD		 11522001-12-13 Akim Demaille <akim@epita.fr>
1153
1154 The computation of nullable is broken: it doesn't handle empty
1155 RHS's properly.
1156
1157 * tests/torture.at (GNU AWK Grammar): New.
1158 * tests/sets.at (Nullable): New.
1159 * src/nullable.c (set_nullable): Instead of blindly looping over
1160 `ritems', loop over the rules, and then over their rhs's.
1161
1162 Work around Autotest bugs.
1163
1164 * src/warshall.c (bitmatrix_print): Don't use `+--+' as table
1165 frame, because Autotest understand lines starting with a `+' as
1166 traces from the shell. Then, they are not processed properly.
1167 Admittedly an Autotest bug, but we don't have time to wait for
1168 Autotest to catch up.
1169 * tests/regression.at (Broken Closure): Adjust to the new table
1170 frames.
1171 Move to...
1172 * tests/sets.at: here.
1173
cb581495
AD		 11742001-12-13 Akim Demaille <akim@epita.fr>
1175
1176 * src/closure.c (closure): Use nrules instead of playing tricks
1177 with BITS_PER_WORD.
1178
2e729273
AD		 11792001-12-13 Akim Demaille <akim@epita.fr>
1180
1181 * src/print.c (print_actions): Output the handling of `$' as the
1182 traces do: shifting the token EOF. Before EOF was treated as a
1183 nonterminal.
1184 * tests/regression.at: Adjust some tests.
1185 * src/print_graph.c (print_core): Complete the set of items via
1186 closure. The next-to-final and final states are still unsatisfying,
1187 but that's to be addressed elsewhere.
1188 No longer output the rule numbers, but do output the state number.
1189 A single loop for the shifts + gotos is enough, but picked a
1190 distinct color for each.
1191 (print_graph): Initialize and finalize closure.
1192
107f7dfb
AD		 11932001-12-13 Akim Demaille <akim@epita.fr>
1194
1195 * src/reader.c (readgram): Remove dead code, an strip useless
1196 braces.
1197 (get_type): Remove, unused.
1198
9b53a24f
AD		 11992001-12-12 Akim Demaille <akim@epita.fr>
1200
1201 * src/complain.h, src/complain.c: Remove error_one_per_line, rely
1202 on that of lib/error.c.
1203
dbfb6dcd
AD		 12042001-12-12 Akim Demaille <akim@epita.fr>
1205
1206 Some hosts don't like `/' in includes.
1207
1208 * src/system.h: Include libgettext.h without qualifying the path.
1209 * src/Makefile.am (INCLUDES): Add $(top_srcdir)/intl, remove
1210 $(top_srcdir).
1211
c25fb648
MA		 12122001-12-11 Marc Autret <autret_m@epita.fr>
1213
1214 * src/output.c (output_parser): Remove useless muscle.
1215
710ddc4f
MA		 12162001-12-11 Marc Autret <autret_m@epita.fr>
1217
1218 * src/bison.simple: Remove #line just before %%epilogue. It
1219 is now handled in ...
1220 * src/reader.c (read_additionnal_code): Add the output of a
1221 #line for the epilogue.
1222
e83d80b8
MA		 12232001-12-10 Marc Autret <autret_m@epita.fr>
1224
927c1557 1225 * src/reader.c (copy_definition): Re-use CPP-outed code which
e83d80b8
MA		 1226 replace precedent remove.
1227 * src/bison.simple: Remove #line before %%prologue because
1228 %%input-line is wrong at this time.
1229
971d5158
MA		 12302001-12-10 Marc Autret <autret_m@epita.fr>
1231
1232 * src/reader.c (symbols_output): Clean up.
927c1557 1233 * src/output.c (output_gram, output): Clean up.
971d5158 1234
5edafffd
AD		 12352001-12-10 Akim Demaille <akim@epita.fr>
1236
1237 * src/lalr.c (initialize_lookaheads): New. Extracted from...
1238 * src/LR0.c (set_state_table): here.
1239 * src/lalr.c (lalr): Call it.
1240
0279f8e9
AD		 12412001-12-10 Akim Demaille <akim@epita.fr>
1242
1243 * src/state.h (shifts): Remove the `number' member: shifts are
1244 attached to state, hence no longer need to be labelled with a
1245 state number.
1246
190c4f5f
AD		 12472001-12-10 Akim Demaille <akim@epita.fr>
1248
1249 Now that states have a complete set of members, the linked list of
1250 shifts is useless: just fill directly the state's shifts member.
1251
1252 * src/state.h (shifts): Remove the `next' member.
1253 * src/LR0.c (first_state, last_state): Remove.
1254 Adjust the callers.
1255 (augment_automaton): Don't look for the shifts that must be added
1256 a shift on EOF: it is those of the state we looked for! But now,
1257 since shifts are attached, it is no longer needed to looking
1258 merely by its id: its number.
1259
2a73b93d
AD		 12602001-12-10 Akim Demaille <akim@epita.fr>
1261
1262 * src/LR0.c (augment_automaton): Better variable locality.
1263 Remove an impossible branch: if there is a state corresponding to
1264 the start symbol being shifted, then there is shift for the start
1265 symbol from the initial state.
1266
74392f6a
AD		 12672001-12-10 Akim Demaille <akim@epita.fr>
1268
1269 * src/LR0.c (augment_automaton): Call `insert_eof_shifting_state'
1270 only when appropriate: when insert_start_shifting_state' is not
1271 invoked.
1272 * tests/regression.at (Rule Line Numbers): Adjust.
1273
37c82725
AD		 12742001-12-10 Akim Demaille <akim@epita.fr>
1275
1276 * src/LR0.c (augment_automaton): Now that all states have shifts,
1277 merge the two cases addition shifts to the initial state.
1278
6a164e0c
AD		 12792001-12-10 Akim Demaille <akim@epita.fr>
1280
1281 * src/lalr.c (set_state_table): Move to...
1282 * src/LR0.c: here.
1283 * src/lalr.c (lalr): Don't call it...
1284 * src/LR0.c (generate_states): do it.
1285 * src/LR0.h (first_state): Remove, only the table is used.
1286
7215de24
AD		 12872001-12-10 Akim Demaille <akim@epita.fr>
1288
1289 * src/LR0.h (first_shift, first_reduction): Remove.
1290 * src/lalr.c: Don't use first_shift: find shifts through the
1291 states.
1292
80e25d4d
AD		 12932001-12-10 Akim Demaille <akim@epita.fr>
1294
1295 * src/LR0.c: Attach shifts to states as soon as they are
1296 computed.
1297 * src/lalr.c (set_state_table): Instead of assigning shifts to
1298 state, just assert that the mapping was properly done.
1299
0ab3728b
AD		 13002001-12-10 Akim Demaille <akim@epita.fr>
1301
1302 * src/LR0.c (insert_start_shift): Rename as...
1303 (insert_start_shifting_state): this.
1304 (insert_eof_shifting_state, insert_accepting_state): New.
1305 (augment_automaton): Adjust.
1306 Better locality of the variables.
1307 When looking if the start_symbol is shifted from the initial
1308 state, using `while (... symbol != start_symbol ...)' sounds
1309 better than `while (... symbol < start_symbol ...)': If fail
1310 to see how the order between symbols could be relevant!
1311
78af9bbc
AD		 13122001-12-10 Akim Demaille <akim@epita.fr>
1313
1314 * src/getargs.h: Don't declare `spec_name_prefix' and
1315 `spec_file_prefix', declared by src/files.h.
1316 * src/files.c, src/files.h: Default for spec_name_prefix is "yy".
1317 * src/muscle_tab.c (muscle_init): Default prefix to NULL.
1318 * src/output.c (prepare): Adjust.
1319 * src/reader.c (symbols_output): Likewise.
1320 * src/vmsgetargs.c: Vaguely adjust, but who cares?
1321
bdef2a41
AD		 13222001-12-10 Akim Demaille <akim@epita.fr>
1323
1324 * src/muscle_tab.c (muscle_init): NULL is a better default than
1325 `"0"'.
1326
3735969c
AD		 13272001-12-10 Akim Demaille <akim@epita.fr>
1328
1329 * src/reader.c (reader): Calling symbols_output once is enough.
1330
49701457
AD		 13312001-12-10 Akim Demaille <akim@epita.fr>
1332
1333 Now that states have a complete set of members, the linked list of
1334 reductions is useless: just fill directly the state's reductions
1335 member.
1336
1337 * src/state.h (struct reductions): Remove member `number' and
1338 `next'.
1339 * src/LR0.c (first_reduction, last_reduction): Remove.
1340 (save_reductions): Don't link the new reductions, store them in
1341 this_state.
1342 * src/lalr.c (set_state_table): No need to attach reductions to
1343 states, it's already done.
1344 * src/output.c (output_actions): No longer free the shifts, then
1345 the reductions, then the states: free all the states and their
1346 members.
1347
0edad749
AD		 13482001-12-10 Akim Demaille <akim@epita.fr>
1349
1350 * src/options.c (OPTN, DRTV, BOTH): New.
1351 (option_table): Use them.
1352
0edad749
AD		 1353 * src/muscle_tab.c: Don't include xalloc.h and string.h: that's
1354 the job of system.h.
1355 * src/options.c: Don't include stdio.h and xalloc.h for the same
1356 reasons.
1357
5449dd0f
AD		 13582001-12-10 Akim Demaille <akim@epita.fr>
1359
1360 * src/output.c (output, prepare): Make sure the values of the
1361 muscles `action' and `prologue' are 0-terminated.
1362
a870c567
AD		 13632001-12-10 Akim Demaille <akim@epita.fr>
1364
1365 Clean up GCC warnings.
1366
1367 * src/reader.c (copy_action): `buf' is not used.
1368 (parse_skel_decl): Be static.
1369 * src/muscle_tab.c (mhash1, mhash2, muscle_insert): Preserve `const'.
1370 * src/options.h (create_long_option_table): Have a real prototype.
1371 * lib/hash.c, lib/hash.h (hash_insert, hash_insert_at, hash_delete)
1372 (hash_delete_at): Return const void *.
1373 Adjust casts to preserve the const.
1374
80df8768
AD		 13752001-12-10 Akim Demaille <akim@epita.fr>
1376
1377 * configure.in: Require 2.52g.
1378 M4 is not needed, but AUTOM4TE is.
1379 * m4/m4.m4: Remove.
1380 * tests/Makefile.am: Adjust.
1381
f693ad14
AD		 13822001-12-10 Akim Demaille <akim@epita.fr>
1383
1384 One structure for states is enough, even though theoretically
1385 there are LR(0) states and LALR(1) states.
1386
1387 * src/lalr.h (state_t): Remove.
1388 (state_table): Be state_t **, not state_t *.
1389 * src/state.h (core, CORE_ALLOC): Rename as...
1390 (state_t, STATE_ALLOC): this.
1391 Add the LALR(1) members: shifts, reductions, errs.
1392 * src/LR0.c (state_table): Rename as...
1393 (state_hash): this, to avoid name clashes with the global
1394 `state_table'.
1395 * src/print_graph.c, src/LR0.c, src/LR0.h, src/conflicts.c
1396 * src/lalr.c, src/lalr.h, src/output.c, src/print.c: Adjust.
1397
74ffbcb6
AD		 13982001-12-10 Akim Demaille <akim@epita.fr>
1399
1400 Bison dumps core on bash.y.
1401 Reported by Pascal Bart.
1402
1403 * src/warshall.c (bitmatrix_print): New.
1404 (TC): Use it.
1405 When performing a transitive closure R(i, j) && R(j, k) => R(i, k),
1406 j must be the outer loop.
1407 * tests/regression.at (Broken Closure): New.
1408
07708e19
AD		 14092001-12-05 Akim Demaille <akim@epita.fr>
1410
1411 * tests/atlocal.in (CPPFLAGS): Do not leave a space between -I and
1412 its argument.
1413