]> 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, src/reader.c, src/symtab.c, src/symtab.h: Rename
[bison.git] / ChangeLog
CommitLineData
d9b739c3
AD		 12002-04-07 Akim Demaille <akim@epita.fr>
2
3 * src/output.c, src/reader.c, src/symtab.c, src/symtab.h: Rename
4 bucket.value as bucket.number.
5
6
99013900
AD		 72002-04-07 Akim Demaille <akim@epita.fr>
8
9 * src/closure.c, src/derives.c, src/gram.h, src/lalr.c,
10 * src/nullable.c, src/output.c, src/print.c, src/print_graph.c,
11 * src/reader.c, src/reduce.c: Let rule_t.rhs point directly to the
12 RHS, instead of being an index in RITEMS.
13
e966383b
PE		 142002-04-04 Paul Eggert <eggert@twinsun.com>
15
16 * doc/bison.texinfo: Update copyright date.
17 (Rpcalc Lexer, Symbols, Token Decl): Don't assume ASCII.
18 (Symbols): Warn about running Bison in one character set,
19 but compiling and/or running in an incompatible one.
20 Warn about character code 256, too.
21
222002-04-03 Paul Eggert <eggert@twinsun.com>
23
24 * src/bison.data (YYSTACK_ALLOC): Depend on whether
25 YYERROR_VERBOSE is nonzero, not whether it is defined.
26
27 Merge changes from bison-1_29-branch.
28
8d6c48b9
PE		 292002-03-20 Paul Eggert <eggert@twinsun.com>
30
31 Merge fixes from Debian bison_1.34-1.diff.
32
33 * configure.in (AC_PREREQ): 2.53.
34
e53c6322
AD		 352002-03-20 Akim Demaille <akim@epita.fr>
36
37 * src/conflicts.c (log_resolution): Argument `resolution' is const.
38
9ffbeca7
PE		 392002-03-19 Paul Eggert <eggert@twinsun.com>
40
21db0b2a
PE		 41 * src/bison.simple (YYCOPY): New macro.
42 (YYSTACK_RELOCATE): Use it.
43 Remove Type arg; no longer needed. All callers changed.
44 (yymemcpy): Remove; no longer needed.
45
9ffbeca7
PE		 46 * Makefile.am (AUTOMAKE_OPTIONS): 1.6.
47 * doc/Makefile.am (AUTOMAKE_OPTIONS): Remove.
48
642cb8f8
AD		 492002-03-19 Akim Demaille <akim@epita.fr>
50
51 Test and fix the #line outputs.
52
53 * tests/atlocal.at (GCC): New.
54 * tests/synclines.at (AT_TEST_SYNCLINE): New macro.
55 (Prologue synch line, ,%union synch line, Postprologue synch line)
56 (Action synch line, Epilogue synch line): New tests.
57 * src/reader.c (parse_union_decl): Define the muscle stype_line.
58 * data/bison.simple, data/bison.c++: Use it.
59
e53c6322 60
3c31a486
AD		 612002-03-19 Akim Demaille <akim@epita.fr>
62
63 * tests/regression.at (%nonassoc and eof, Unresolved SR Conflicts)
64 (Solved SR Conflicts, %expect not enough, %expect right)
65 (%expect too much): Move to...
66 * tests/conflicts.at: this new file.
67
0d8bed56
AD		 682002-03-19 Akim Demaille <akim@epita.fr>
69
70 * data/m4sugar/m4sugar.m4: Update from CVS Autoconf.
71 * data/bison.simple, data/bison.c++: Handle the `#define' part, so
72 that we can move to enums for instance.
73 * src/output.c (token_definitions_output): Output a list of
74 `token-name, token-number' instead of the #define.
75 (output_skeleton): Name this list `b4_tokens', not `b4_tokendefs'.
76
9208d17f
AD		 772002-03-14 Akim Demaille <akim@epita.fr>
78
79 Use Gettext 0.11.1.
80
af27eacb
RA		 812002-03-09 Robert Anisko <robert@lrde.epita.fr>
82
83 * data/bison.c++: Make the user able to add members to the generated
84 parser by subclassing.
85
9101a310
RA		 862002-03-05 Robert Anisko <robert@lrde.epita.fr>
87
88 * src/reader.c (read_additionnal_code): `c' should be an integer, not
89 a character.
90 Reported by Nicolas Tisserand and Nicolas Burrus.
91
fff9bf0b
RA		 922002-03-04 Robert Anisko <robert@lrde.epita.fr>
93
94 * src/reader.c: Warn about lacking semi-colons, do not complain.
95
64dba31e
RA		 962002-03-04 Robert Anisko <robert@lrde.epita.fr>
97
98 * data/bison.c++: Remove a debug line.
99
374f5a14
RA		 1002002-03-04 Robert Anisko <robert@lrde.epita.fr>
101
102 * data/bison.c++: Unmerge value as yylval and value as yyval. Unmerge
103 location as yylloc and location as yyloc. Use YYLLOC_DEFAULT, and
104 provide a default implementation.
105
bfcf1f3a
AD		 1062002-03-04 Akim Demaille <akim@epita.fr>
107
108 * tests/input.at (Invalid $n, Invalid @n): Add the ending `;'.
109 * tests/output.at (AT_CHECK_OUTPUT): Likewise.
110 * tests/headers.at (AT_TEST_CPP_GUARD_H): Ditto.
111 * tests/semantic.at (Parsing Guards): Similarly.
112 * src/reader.at (readgram): Complain if the last rule is not ended
113 with a semi-colon.
114
65ccf9fc
AD		 1152002-03-04 Akim Demaille <akim@epita.fr>
116
117 * src/warshall.h, src/warshall.c (bitmatrix_print): Move to...
118 * src/closure.c: here.
119 (set_firsts): Use bitsetv_reflexive_transitive_closure instead of
120 RTC.
121 * src/warshall.h, src/warshall.c: Remove.
122 * tests/sets.at (Broken Closure): Adjust.
123
d0039cbc
AD		 1242002-03-04 Akim Demaille <akim@epita.fr>
125
126 * src/output.c (output_skeleton): tempdir is const.
127 bytes_read is unused.
128
345cea78
AD		 1292002-03-04 Akim Demaille <akim@epita.fr>
130
131 * lib/bbitset.h, lib/bitset.c, lib/bitset.h, lib/bitsetv.c,
132 * lib/bitsetv.h, lib/ebitset.c, lib/lbitset.c, lib/sbitset.c:
133 Update.
134 From Michael Hayes.
135
564801f7
AD		 1362002-03-04 Akim Demaille <akim@epita.fr>
137
138 * src/closure.c (closure): `r' is unused.
139
e5352bc7
AD		 1402002-03-04 Akim Demaille <akim@epita.fr>
141
142 * tests/sets.at (Broken Closure): Add the ending `;'.
143 * src/reader.at (readgram): Complain if a rule is not ended with a
144 semi-colon.
145
914feea9
AD		 1462002-03-04 Akim Demaille <akim@epita.fr>
147
148 * src/conflicts.c (set_conflicts): Use bitset_disjoint_p.
149 (count_sr_conflicts): Use bitset_count.
150 * src/reduce.c (inaccessable_symbols): Ditto.
151 (bits_size): Remove.
152 * src/warshall.h, src/warshall.c: Convert to bitsetv.
153
f0250de6
AD		 1542002-03-04 Akim Demaille <akim@epita.fr>
155
156 * src/closure.c, src/conflicts.c, src/lalr.c, src/print.c,
157 * src/reduce.c: Remove the `bitset_zero's following the
158 `bitset_create's, as now it is performed by the latter.
159
ef017502
AD		 1602002-03-04 Akim Demaille <akim@epita.fr>
161
162 * lib/bitset.c, lib/bitset.h, lib/bitsetv.c, lib/bitsetv.h,
163 * lib/ebitset.c, lib/ebitset.h, lib/lbitset.c, lib/lbitset.h,
164 * lib/sbitset.c, lib/sbitset.h, lib/bbitset.h: Update from the
165 latest sources from Michael.
166
76514394
AD		 1672002-03-04 Akim Demaille <akim@epita.fr>
168
169 * src/output.c (output): Don't free the grammar.
170 * src/reader.c (grammar_free): New.
171 * src/main.c (main): Call it and don't free symtab here.
172
55024580
AD		 1732002-03-04 Akim Demaille <akim@epita.fr>
174
175 * src/lex.c (parse_percent_token): Be sure to 0-end token_buffer
176 before returning.
177 Reported by Benoit Perrot.
178
f9abaa2c
AD		 1792002-03-04 Akim Demaille <akim@epita.fr>
180
181 Use bitset operations when possible, not loops over bits.
182
183 * src/conflicts.c (set_conflicts, count_sr_conflicts): Use
184 bitset_or.
185 * src/print.c (print_reductions): Use bitset_and, bitset_andn.
186 * src/reduce.c (useless_nonterminals): Formatting changes.
187 * src/warshall.c (TC): Use bitset_or.
188
0e721e75
AD		 1892002-03-04 Akim Demaille <akim@epita.fr>
190
191 * src/lalr.h, src/lalr.c (tokensetsize): Remove, unused.
192 * src/system.h (BITS_PER_WORD, WORDSIZE, SETBIT, RESETBIT, BITISSET):
193 Ditto.
194
0fb1ffb1
AD		 1952002-03-04 Akim Demaille <akim@epita.fr>
196
197 * src/lalr.c (F): Now a bitset*.
198 Adjust all dependencies.
199
b86796bf
AD		 2002002-03-04 Akim Demaille <akim@epita.fr>
201
202 * src/conflicts.c (shiftset, lookaheadset): Now bitset.
203 Adjust all dependencies.
204
602bbf31
AD		 2052002-03-04 Akim Demaille <akim@epita.fr>
206
207 * src/L0.c, src/LR0.h (nstates): Be size_t.
208 Adjust comparisons (signed vs unsigned).
209 * src/conflics.c, src/lalr.c, src/lalr.h, src/output.c (LA): Now a
210 bitset*.
211 Adjust all dependencies.
212
d8a0245c
AD		 2132002-03-04 Akim Demaille <akim@epita.fr>
214
215 * src/closure.c (firsts): Now, also a bitset.
216 Adjust all dependencies.
217 (varsetsize): Remove, now unused.
218 * src/warshall.h, src/warshall.c: Now work on arrays of bitsets.
219
34ba9743
AD		 2202002-03-04 Akim Demaille <akim@epita.fr>
221
222 * src/print.c: Convert to use bitset.h, not hand coded iterations
223 over ints.
224
ed86e78c
AD		 2252002-03-04 Akim Demaille <akim@epita.fr>
226
227 * src/reduce.c: Convert to use bitset.h, not hand coded BSet.
228
dfdb1797
AD		 2292002-03-04 Akim Demaille <akim@epita.fr>
230
231 * src/closure.c (ruleset): Be a bitset.
232 (rulesetsize): Remove.
233
7086e707
AD		 2342002-03-04 Akim Demaille <akim@epita.fr>
235
236 * lib/bitset-int.h, lib/bitset.c, lib/bitset.h, lib/bitsetv.c,
237 * lib/bitsetv.h, lib/ebitset.c, lib/ebitset.h, lib/lbitset.c,
238 * lib/lbitset.h, lib/sbitset.c, lib/sbitset.h: New.
239 * src/closure.c (fderives): Be an array of bitsets.
240
98254360
RA		 2412002-02-28 Robert Anisko <robert@lrde.epita.fr>
242
243 * data/bison.c++: Merge the two generated headers. Insert a copyright
244 notice in each output file.
245
a75c057f
AD		 2462002-02-28 Akim Demaille <akim@epita.fr>
247
248 * data/bison.c++: Copy the prologue of bison.simple to fetch
249 useful M4 definitions, such as b4_header_guard.
250
06b00abc
AD		 2512002-02-25 Akim Demaille <akim@epita.fr>
252
253 * src/getargs.c (version): Give the name of the authors, and use a
a75c057f
AD		 254 translator friendly scheme for the bgr
255 copyright notice.
06b00abc 256
70e7d534
AD		 2572002-02-25 Akim Demaille <akim@epita.fr>
258
259 * src/output.c (header_output): Remove, now handled completely via
260 M4.
261
abe017f6
AD		 2622002-02-25 Akim Demaille <akim@epita.fr>
263
264 * m4/m4.m4: New, from CVS Autoconf.
265 * configure.in: Invoke it.
266 * src/output.c (output_skeleton): Use its result instead of the
267 hard coded name.
268
381fb12e
AD		 2692002-02-25 Akim Demaille <akim@epita.fr>
270
271 * lib/tempname.c, lib/mkstemp.c, m4/mkstemp.m4: New, stolen from
272 Fileutils 4.1.5.
273 * configure.in: Invoke UTILS_FUNC_MKSTEMP.
274 * src/output.c (output_skeleton): Use mkstemp to create a real
275 temporary file.
276 Move the filling of `skeleton' and its muscle to...
277 (prepare): here.
278 (output): Move the definition of the prologue muscle to...
279 (prepare): here.
280 * src/system.h (DEFAULT_TMPDIR): New.
281
6f38107f
PE		 2822002-02-14 Paul Eggert <eggert@twinsun.com>
283
284 Remove the support for C++ namespace cleanliness; it was
285 causing more problems than it was curing, since it didn't work
286 properly on some nonstandard C++ compilers. This can wait
287 for a proper C++ parser.
288
289 * NEWS: Document this.
290 * doc/bison.texinfo (Bison Parser, Debugging): Remove special mention
291 of C++, as it's treated like C now.
292 * src/bison.simple (YYSTD): Remove.
293 (YYSIZE_T, YYFPRINTF, YYPARSE_PARAM_ARG, YYPARSE_PARAM_DECL):
294 Treat C++ just like Standard C instead of trying to support
295 namespace cleanliness.
296
80cce3da
AD		 2972002-02-14 Akim Demaille <akim@epita.fr>
298
299 * tests/regression.at (else): Adjust to Andreas' change.
300
842e8679
AD		 3012002-02-14 Akim Demaille <akim@epita.fr>
302
303 * lib/Makefile.am (EXTRA_DIST): Ship strnlen.c.
304
4bda3f10
AD		 3052002-02-13 Andreas Schwab <schwab@suse.de>
306
307 * src/output.c (output_rule_data): Don't output NULL, it might
308 not be defined yet.
309
4162fa07 3102002-02-11 Robert Anisko <robert@lrde.epita.fr>
b418ecd8 311
4162fa07
RA		 312 * data/bison.c++ (YYDEBUG, YYERROR_VERBOSE): After the prologue.
313 (Copyright notice): Update.
b418ecd8 314
bd16a5dc
AD		 3152002-02-11 Akim Demaille <akim@epita.fr>
316
317 * tests/regression.at (%nonassoc and eof): Don't include
318 nonportable headers.
319
8d69a1a3
RA		 3202002-02-08 Robert Anisko <robert@lrde.epita.fr>
321
322 * data/bison.c++: Correct error recovery. Make the user able to
323 initialize the starting location.
324
9b2d0677
AD		 3252002-02-07 Akim Demaille <akim@epita.fr>
326
327 * tests/input.at: New.
328
69e2658b
RA		 3292002-02-07 Robert Anisko <robert@lrde.epita.fr>
330
331 * data/bison.c++: Replace some direct m4 expansions by constants. Be
9b2d0677 332 more consistent when naming methods and variables. Put preprocessor
69e2658b
RA		 333 directives around tables only needed for debugging.
334
4aacc3a7
RA		 3352002-02-07 Robert Anisko <robert@lrde.epita.fr>
336
337 * data/bison.c++ (yy::b4_name::print_): New method, replaces yyprint in
338 C++ parsers.
339 (yy::b4_name::parse): Use print_.
340
762a801e
RA		 3412002-02-07 Robert Anisko <robert@lrde.epita.fr>
342
343 * data/bison.c++ (yy::b4_name::parse): Error recovery is back.
344
4bb2bc3f
RA		 3452002-02-07 Robert Anisko <robert@lrde.epita.fr>
346
347 * data/bison.c++ (yy::b4_name::error_): New method, replaces yyerror in
348 C++ parsers.
349 (yy::b4_name::parse): Build verbose error messages, and use error_.
350
6b45a3ca
RA		 3512002-02-06 Robert Anisko <robert@lrde.epita.fr>
352
353 * data/bison.c++: Fix m4 quoting in comments.
354
50997c6e
RA		 3552002-02-06 Robert Anisko <robert@lrde.epita.fr>
356
357 * data/bison.c++: Adjust the parser code. Fix some muscles that were
358 not expanded by m4.
359
3f3eed27
AD		 3602002-02-05 Akim Demaille <akim@epita.fr>
361
362 * data/bison.c++: Adjust to the M4 back end.
363 More is certainly needed.
364
be2a1a68
AD		 3652002-02-05 Akim Demaille <akim@epita.fr>
366
367 Give a try to M4 as a back end.
368
369 * lib/readpipe.c: New, from wdiff.
370 * src/Makefile.am (DEFS): Define PKGDATADIR, not BISON_SIMPLE and
371 BISON_HAIRY.
372 * src/system.h (BISON_HAIRY, BISON_SIMPLE): Remove the DOS and VMS
373 specific values. Now it is m4 that performs the lookup.
374 * src/parse-skel.y: Remove.
375 * src/muscle_tab.c, src/muscle_tab.h (muscles_m4_output): New.
376 * src/output.c (actions_output, guards_output)
377 (token_definitions_output): No longer keeps track of the output
378 line number, hence remove the second argument.
379 (guards_output): Check against the guard member of a rule, not the
380 action member.
381 Adjust callers.
382 (output_skeleton): Don't look for the skeleton location, let m4 do
383 that.
384 Create `/tmp/muscles.m4'. This is temporary, a proper temporary
385 file will be used.
386 Invoke `m4' on m4sugar.m4, muscles.m4, and the skeleton.
387 (prepare): Given that for the time being changesyntax is not
388 usable in M4, rename the muscles using `-' to `_'.
389 Define `defines_flag', `output_parser_name' and `output_header_name'.
390 * src/output.h (actions_output, guards_output)
391 (token_definitions_output): Adjust prototypes.
392 * src/scan-skel.l: Instead of scanning the skeletons, it now
393 processes the output of m4: `__oline__' and `#output'.
394 * data/bison.simple: Adjust to be used by M4(sugar).
395 * tests/Makefile.am: Use check_SCRIPTS to make sure `bison' is up
396 to date.
397 * tests/bison.in: Use the secrete envvar `BISON_PKGDATADIR'
398 instead of the dead `BISON_SIMPLE' and `BISON_HAIRY'.
399 * data/m4sugar/m4sugar.m4, data/m4sugar/version.m4: New,
400 shamelessly stolen from CVS Autoconf.
401
beda758b
AD		 4022002-02-05 Akim Demaille <akim@epita.fr>
403
404 * lib/hash.c, lib/hash.h: Replace with Fileutils 4.1's version.
405 * configure.in: Check for the declarations of free and malloc.
406 * src/muscle_tab.c: Adjust.
407
5ece6d43
AD		 4082002-02-05 Akim Demaille <akim@epita.fr>
409
410 * src/muscle_tab.c (muscle_init): Don't default to NULL muscle
411 which have no values.
412
5bb18f9a
AD		 4132002-02-05 Akim Demaille <akim@epita.fr>
414
415 * src/bison.simple, src/bison.hairy, src/bison.c++: Move to...
416 * data/: here.
417
894dd62e
PE		 4182002-01-29 Paul Eggert <eggert@twinsun.com>
419
420 * src/bison.simple (YYSIZE_T): Do not define merely because
421 YYSTACK_USE_ALLOCA is nonzero or alloca or _ALLOCA_H are defined.
422 On some platforms, <alloca.h> does not declare YYSTD (size_t).
423
82841af7
AD		 4242002-01-27 Akim Demaille <akim@epita.fr>
425
426 Fix `%nonassoc and eof'.
427
428 * src/state.c (errs_dup): Aaaah! The failure was due to bytes
429 which were not properly copied! Replace
430 memcpy (res->errs, src->errs, src->nerrs);
431 with
432 memcpy (res->errs, src->errs, src->nerrs * sizeof (src->errs[0]));
433 !!!
434 * tests/regression.at (%nonassoc and eof): Adjust to newest
435 Autotest: `.' is not in the PATH.
436
318b76e9
AD		 4372002-01-27 Akim Demaille <akim@epita.fr>
438
439 * tests/sets.at (AT_EXTRACT_SETS): New.
440 (Nullable): Use it.
441 (Firsts): New.
442
30d2f3d5
AD		 4432002-01-26 Akim Demaille <akim@epita.fr>
444
445 * tests/actions.at, tests/calc.at, tests/headers.at,
446 * tests/torture.at: Adjust to the newest Autotest which no longer
447 forces `.' in the PATH.
448
30f8c395
AD		 4492002-01-25 Akim Demaille <akim@epita.fr>
450
451 * tests/regression.at (%nonassoc and eof): New.
452 Suggested by Robert Anisko.
453
29ae55f1
AD		 4542002-01-24 Akim Demaille <akim@epita.fr>
455
456 Bison dumps core when trying to complain about broken input files.
457 Reported by Cris van Pelt.
458
459 * src/lex.c (parse_percent_token): Be sure to set token_buffer.
460 * tests/regression.at (Invalid input: 1, Invalid input: 2): Merge
461 into...
462 (Invalid inputs): Strengthen: exercise parse_percent_token.
463
2b548aa6
RA		 4642002-01-24 Robert Anisko <robert.anisko@epita.fr>
465
466 * src/Makefile.am: Add bison.c++.
467 * src/bison.c++: New skeleton.
468
bb0146c2
AD		 4692002-01-21 Paolo Bonzini <bonzini@gnu.org>
470
471 * po/it.po: New.
472
bec30531
AD		 4732002-01-21 Kees Zeelenberg <kzlg@users.sourceforge.net>
474
475 * src/files.c (skeleton_find) [MSDOS]: Fix cp definition.
476
fc6edc45
MA		 4772002-01-20 Marc Autret <marc@gnu.org>
478
479 * src/files.c (compute_output_file_names): Fix
480
5e5d5415
MA		 4812002-01-20 Marc Autret <marc@gnu.org>
482
483 * tests/output.at: New test.
484 * src/files.c (compute_base_names): Don't map extensions when
485 the YACC flag is set, use defaults.
486 Reported by Evgeny Stambulchik.
487
44ea3fbd
MA		 4882002-01-20 Marc Autret <marc@gnu.org>
489
bb0146c2 490 * src/system.h: Need to define __attribute__ away for non-GCC
44ea3fbd
MA		 491 compilers as well (i.e. the vendor C compiler).
492 Suggested by Albert Chin-A-Young.
493
338963d1
TVH		 4942002-01-11 Tim Van Holder <tim.van.holder@pandora.be>
495
496 * lib/hash.h, lib/hash.c: Renamed __P to PARAMS and used the
497 canonical definition.
498 * src/system.h: Use the canonical definition for PARAMS (avoids
499 a conflict with the macro from lib/hash.h).
500
c57b2479
AD		 5012002-01-11 Akim Demaille <akim@epita.fr>
502
503 * configure.in: Use AC_FUNC_STRNLEN.
d9e9746c 504 Fixes the failures observed on AIX 4.3 by H.Merijn Brand.
c57b2479 505
b85810ae
AD		 5062002-01-09 Akim Demaille <akim@epita.fr>
507
508 * src/files.c, src/files.h (output_infix): New.
509 (tab_extension): Remove.
510 (compute_base_names): Compute the former, drop the latter.
511 * src/output.c (prepare): Insert the muscles `output-infix', and
512 `output-suffix'.
513 * src/parse-skel.y (string, string.1): New.
514 (section.header): Use it.
515 (section.yacc): Remove.
516 (prefix): Remove too.
517 * src/scan-skel.l: Adjust.
518 * src/bison.simple, src/bison.hairy: Adjust.
519
cae60122
AD		 5202002-01-09 Akim Demaille <akim@epita.fr>
521
522 * configure.in (WERROR_CFLAGS): Compute it.
523 * src/Makefile.am (CFLAGS): Pass it.
524 * tests/atlocal.in (CFLAGS): Idem.
525 * src/files.c: Fix a few warnings.
526 (get_extension_index): Remove, unused.
527
ae404801
AD		 5282002-01-08 Akim Demaille <akim@epita.fr>
529
530 * src/getargs.c (AS_FILE_NAME): New.
531 (getargs): Use it to convert DOSish file names.
532 * src/files.c (base_name): Rename as full_base_name to avoid
533 clashes with `base_name ()'.
534 (filename_split): New.
535 (compute_base_names): N-th rewrite, using filename_split.
536
22312b71
AD		 5372002-01-08 Akim Demaille <akim@epita.fr>
538
539 * lib/basename.c, lib/dirname.h, lib/dirname.c, lib/memrchr.c:
540 New, stolen from the Fileutils 4.1.
541 * lib/Makefile.am (libbison_a_SOURCES): Adjust.
542 * configure.in: Check for the presence of memrchr, and of its
543 prototype.
544
a67cef01
TVH		 5452002-01-07 Tim Van Holder <tim.van.holder@pandora.be>
546
547 * lib/hash.h (__P): Added definition for this macro.
548 * src/Makefile.am: Add parse-skel.c and scan-skel.c to
549 BUILT_SOURCES, to ensure they are generated first.
550 * src/parse-skel.y: Use YYERROR_VERBOSE instead of
551 %error-verbose to allow bootstrapping with bison 1.30x.
552
2b25d624
AD		 5532002-01-06 Akim Demaille <akim@epita.fr>
554
555 * src/reader.c (parse_braces): Don't fetch the next char, the
556 convention is to fetch on entry.
557 * tests/torture.at (GNU Cim Grammar): Reintroduce their weird
558 'switch' without a following semicolon.
559 * tests/regression.at (braces parsing): New.
560
3460813b
AD		 5612002-01-06 Akim Demaille <akim@epita.fr>
562
563 Bison is dead wrong in its RR conflict reports.
564
565 * tests/torture.at (GNU Cim Grammar): New.
566 * src/conflicts.c (count_rr_conflicts): Fix.
567
73784c64
AD		 5682002-01-06 Akim Demaille <akim@epita.fr>
569
570 Creating package.m4 from configure.ac causes too many problems.
571
572 * tests/Makefile.am (package.m4): Create it by hand,
573 AC_CONFIG_TESTDIR no longer does in the most recent CVS Autoconf.
574
25d81090
AD		 5752002-01-06 Akim Demaille <akim@epita.fr>
576
577 * src/Makefile.am (bison_SOURCES): Add parse-skel.h and
578 skeleton.h.
579
a9b8959e
PE		 5802002-01-04 Paul Eggert <eggert@twinsun.com>
581
582 * doc/bison.texinfo (Debugging):
583 Remove YYSTDERR; it's no longer defined or used.
584 Also, s/cstdio.h/cstdio/.
585
25d81090
AD		 5862002-01-03 Akim Demaille <akim@epita.fr>
587
588 * tests/bison.in, tests/atlocal.in: Adjust to CVS Autoconf.
589
1109455c
AD		 5902002-01-03 Akim Demaille <akim@epita.fr>
591
592 * src/parse-skel.y (process_skeleton): Don't bind the parser's
593 tracing code to --trace, wait for a better --trace option, with
594 args.
595
7ea5e977
AD		 5962002-01-03 Akim Demaille <akim@epita.fr>
597
598 * src/bison.simple (YYSTDERR): Remove, replace `stderr'.
599 The ISO C++ standard is extremely clear about it: stderr is
600 considered a macro, not a regular symbol (see table 94 `Header
601 <cstdio> synopsis', [lib.c.files] 27.8.2 C Library files).
602 Therefore std:: does not apply to it. It still does with fprintf.
603 Also, s/cstdio.h/cstdio/.
604
fab5b110
AD		 6052002-01-03 Akim Demaille <akim@epita.fr>
606
607 * lib/quotearg.c: Use `#include "..."' instead of `#include <...>'
608 for non system headers.
609
aed7fd9b
AD		 6102002-01-02 Akim Demaille <akim@epita.fr>
611
612 Equip the skeleton chain with location tracking, runtime trace,
613 pure parser and scanner.
614
615 * src/parse-skel.y: Request a pure parser, locations, and prefix
616 renaming.
617 (%union): Having several members with the same type does not help
618 type mismatches, simplify.
619 (YYPRINT, yyprint): New.
620 (yyerror): ``Rename'' (there is a #define yyerror skel_error) as...
621 (skel_error): this.
622 Handle locations.
623 * src/scan-skel.l: Adjust to these changes.
624 * src/skeleton.h (LOCATION_RESET, LOCATION_LINES, LOCATION_STEP)
625 (LOCATION_PRINT, skel_control_t): New.
626
24fad99e
AD		 6272001-12-30 Akim Demaille <akim@epita.fr>
628
629 * src/parse-skel.y: Get rid of the shift/reduce conflict:
630 replace `gb' with BLANKS.
631 * src/scan-skel.l: Adjust.
632
a4b36db4
AD		 6332001-12-30 Akim Demaille <akim@epita.fr>
634
635 * src/system.h: We don't need nor want bcopy.
636 Throw away MS-DOS crap: we don't need getpid.
637 * configure.in: We don't need strndup. It was even causing
638 problems: because Flex includes the headers *before* us,
639 _GNU_SOURCE is not defined by config.h, and therefore strndup was
640 not visible.
641 * lib/xstrndup.c: New.
642 * src/scan-skel.l: Use it.
643 Be sure to initialize yylval.muscle member when scanning a MUSCLE.
644 * src/parse-skel.y: Use %directives instead of #defines.
645
1239777d
AD		 6462001-12-30 Akim Demaille <akim@epita.fr>
647
648 * src/skeleton.h: New.
649 * src/output.c (output_parser, output_master_parser): Remove, dead
650 code.
651 * src/output.h (get_lines_number, actions_output, guards_output)
652 (token_definitions_output): Prototype them.
653 * src/parse-skel.y: Add the license notice.
654 Include output.h and skeleton.h.
655 (process_skeleton): Returns void, and takes a single parameter.
656 * src/scan-skel.l: Add the license notice.
657 Include skeleton.h.
658 Don't use %option yylineno: it seems that then Flex imagines
659 REJECT has been used, and therefore it won't reallocate its
660 buffers (which makes no other sense to me than a bug). It results
661 in warnings for `unused: yy_flex_realloc'.
662
9b3add5b
RA		 6632001-12-30 Robert Anisko <robert.anisko@epita.fr>
664
665 * src/muscle_tab.h (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING)
666 (MUSCLE_INSERT_PREFIX): ...to there.
667 * src/output.c (MUSCLE_INSERT_INT, MUSCLE_INSERT_STRING)
668 (MUSCLE_INSERT_PREFIX): Move from here...
669
670 * src/bison.hairy: Add a section directive. Put braces around muscle
671 names. This parser skeleton is still broken, but Bison should not
672 choke on a bad muscle 'syntax'.
673 * src/bison.simple: Add a section directive. Put braces around muscle
674 names.
675
676 * src/files.h (strsuffix, stringappend): Add declarations.
677 (tab_extension): Add declaration.
678 (short_base_name): Add declaration.
679
680 * src/files.c (strsuffix, stringappend): No longer static. These
681 functions are used in the skeleton parser.
682 (tab_extension): New.
683 (compute_base_names): Use the computations done in this function
fab5b110 684 to guess if the generated parsers should have '.tab' in their
9b3add5b
RA		 685 names.
686 (short_base_name): No longer static.
687
688 * src/output.c (output_skeleton): New.
689 (output): Disable call to output_master_parser, and give a try to
690 a new skeleton handling system.
691 (guards_output, actions_output): No longer static.
692 (token_definitions_output, get_lines_number): No longer static.
693
694 * configure.in: Use AM_PROG_LEX and AC_PROG_YACC.
695
fab5b110 696 * src/Makefile.am (bison_SOURCES): Add scan-skel.l and
9b3add5b
RA		 697 parse-skel.y.
698
699 * src/parse-skel.y: New file.
700 * src/scan-skel.l: New file.
701
b5b61c61
AD		 7022001-12-29 Akim Demaille <akim@epita.fr>
703
704 %name-prefix is broken.
705
706 * src/files.c (spec_name_prefix): Initialize to NULL, not to "yy".
707 Adjust all dependencies.
708 * tests/headers.at (export YYLTYPE): Strengthen this test: use
709 %name-prefix.
710
711 Renaming yylval but not yylloc is not consistent. Now we do.
712
713 * src/bison.simple: Prefix yylloc if used.
714 * doc/bison.texinfo (Decl Summary): Document that.
715
8c9a50be
AD		 7162001-12-29 Akim Demaille <akim@epita.fr>
717
718 * doc/bison.texinfo: Promote `%long-directive' over
719 `%long_directive'.
720 Remove all references to fixed-output-files, yacc is enough.
721
d99361e6
AD		 7222001-12-29 Akim Demaille <akim@epita.fr>
723
724 * src/bison.simple: Define YYDEBUG and YYERROR_VERBOSE *after* the
725 user prologue. These are defaults.
726 * tests/actions.at (Mid-rule actions): Make sure the user can
727 define YYDEBUG and YYERROR_VERBOSE.
728
b9cecb91
AD		 7292001-12-29 Akim Demaille <akim@epita.fr>
730
731 * src/output.c (header_output): Don't forget to export YYLTYPE and
732 yylloc.
733 * tests/headers.at (export YYLTYPE): New, make sure it does.
734 * tests/regression.at (%union and --defines, Invalid CPP headers):
735 Move to...
736 * tests/headers.at: here.
737
aea13e97
AD		 7382001-12-29 Akim Demaille <akim@epita.fr>
739
740 * src/gram.h (rule_s): Member `assoc' is of type `associativity'.
741
931394cb
AD		 7422001-12-29 Akim Demaille <akim@epita.fr>
743
744 * tests/actions.at (Mid-rule actions): Output on a single line
745 instead of several.
746
704a47c4
AD		 7472001-12-29 Akim Demaille <akim@epita.fr>
748
749 * doc/bison.texinfo: Formatting changes.
750
091e20bb
AD		 7512001-12-29 Akim Demaille <akim@epita.fr>
752
753 Don't store the token defs in a muscle, just be ready to output it
754 on command. Now possible via `symbols'. Fixes a memory leak.
755
756 * src/output.c (token_definitions_output): New.
757 (output_parser, header_output): Use it.
758 * src/reader.c (symbols_save): Remove.
759
cce71710
AD		 7602001-12-29 Akim Demaille <akim@epita.fr>
761
762 * src/bison.simple: Do not provide a default for YYSTYPE and
763 YYLTYPE before the user's prologue. Otherwise it's hardly... a
764 default.
765
82c035a8
AD		 7662001-12-29 Akim Demaille <akim@epita.fr>
767
768 Mid-rule actions are simply... ignored!
769
770 * src/reader.c (readgram): Be sure to attach mid-rule actions to
771 the empty-rule associated to the dummy symbol, not to the host
772 rule.
773 * tests/actions.at (Mid-rule actions): New.
774
8419d367
AD		 7752001-12-29 Akim Demaille <akim@epita.fr>
776
777 Memory leak.
778
779 * src/reader.c (reader): Free grammar.
780
375d5806
AD		 7812001-12-29 Akim Demaille <akim@epita.fr>
782
783 Memory leak.
784
785 * src/LR0.c (new_itemsets): Don't allocate `shift_symbol' here,
786 since it allocates it for each state, although only one is needed.
787 (allocate_storage): Do it here.
788
f51cb8ff
AD		 7892001-12-29 Akim Demaille <akim@epita.fr>
790
791 * src/options.h, src/options.c (create_long_option_table): Rename
792 as...
793 (long_option_table_new): this, with a clearer prototype.
794 (percent_table): Remove, unused,
795 * src/getargs.c (getargs): Adjust.
796
29e88316
AD		 7972001-12-29 Akim Demaille <akim@epita.fr>
798
799 * src/LR0.c, src/conflicts.c, src/lalr.c, src/lalr.h, src/output.c
800 * src/print.c, src/print_graph.c, src/state.h: Rename state_table
801 as states.
802
b9f71f19
AD		 8032001-12-29 Akim Demaille <akim@epita.fr>
804
805 * src/lalr.c (build_relations): Rename `states' as `states1'.
806 Sorry, I don't understand exactly what it is, no better name...
807
1a2b5d37
AD		 8082001-12-29 Akim Demaille <akim@epita.fr>
809
810 * src/closure.c, src/conflicts.c, src/derives.c, src/gram.c
811 * src/gram.h, src/lalr.c, src/nullable.c, src/output.c, src/print.c
812 * src/print_graph.c, src/reader.c, src/reduce.c: Rename rule_table
813 as rules.
814
1cca533e
AD		 8152001-12-29 Akim Demaille <akim@epita.fr>
816
817 * src/gram.c (rprec, rprecsym, rassoc): Remove, unused since long
818 ago.
819
c03ae966
AD		 8202001-12-29 Akim Demaille <akim@epita.fr>
821
822 * src/reader.c, src/reader.h (user_toknums): Remove.
823 Adjust all users to use symbols[i]->user_token_number.
824
5a670b1e
AD		 8252001-12-29 Akim Demaille <akim@epita.fr>
826
827 * src/gram.c, src/gram.h (sprec, sassoc): Remove.
828 Adjust all users to use symbols[i]->prec or ->assoc.
829
ad949da9
AD		 8302001-12-29 Akim Demaille <akim@epita.fr>
831
832 * src/reader.c, src/reader.h (tags): Remove.
833 Adjust all users to use symbols[i]->tag.
834
0e78e603
AD		 8352001-12-29 Akim Demaille <akim@epita.fr>
836
837 * src/gram.h, src/gram.c (symbols): New, similar to state_table
838 and rule_table.
839 * src/reader.c (packsymbols): Fill this table.
840 Drop sprec.
841 * src/conflicts.c (resolve_sr_conflict): Adjust.
842 * src/reduce.c (reduce_grammar): Adjust: just sort symbols, a
843 single table.
844 Use symbols[i]->tag instead of tags[i].
845
213e640e
AD		 8462001-12-29 Akim Demaille <akim@epita.fr>
847
848 * tests/calc.at (_AT_DATA_CALC_Y): Also use %union.
849 In addition, put a comment in there, to replace...
850 * tests/regression.at (%union and C comments): Remove.
851
e7b8bef1
AD		 8522001-12-29 Akim Demaille <akim@epita.fr>
853
854 * tests/regression.at (Web2c Actions): Blindly move the actual
855 output as expected output. The contents *seem* right to me, but I
856 can't pretend reading perfectly parser tables... Nonetheless, all
857 the other tests pass correctly, the table look OK, even though the
858 presence of `$axiom' is to be noted: AFAICS it is useless (but
859 harmless).
860
b68e7744
AD		 8612001-12-29 Akim Demaille <akim@epita.fr>
862
863 * src/reader.c (readgram): Don't add the rule 0 if there were no
864 rules read. In other words, add it _after_ having performed
865 grammar sanity checks.
866 Fixes the `tests/regression.at (Invalid input: 1)' Failure.
867
78d5bae9
AD		 8682001-12-29 Akim Demaille <akim@epita.fr>
869
870 * tests/regression.at (Web2c Report): Catch up: the rule 0 is now
871 visible, and some states have now a different number.
872
ff442794
AD		 8732001-12-29 Akim Demaille <akim@epita.fr>
874
875 * src/reader.c (readgram): Bind the initial rule's lineno to that
876 of the first rule.
877 * tests/regression.at (Rule Line Numbers, Unresolved SR Conflicts):
878 (Solved SR Conflicts): Adjust rule 0's line number.
879
610ab194
AD		 8802001-12-29 Akim Demaille <akim@epita.fr>
881
882 Fix the `GAWK Grammar' failure.
883
884 * src/LR0.c (final_state): Initialize to -1 so that we do compute
885 the reductions of the first state which was mistakenly confused
886 with the final state because precisely final_state was initialized
887 to 0.
888 * tests/sets.at (Nullable): Adjust: state 0 does have lookaheads,
889 now noticed by Bison.
890 * tests/regression.at (Rule Line Numbers): Adjust: state 0 does
891 have a reduction on $default.
892
29d29c8f
AD		 8932001-12-29 Akim Demaille <akim@epita.fr>
894
895 * src/gram.c (ritem_print): Be sure to subtract 1 when displaying
896 rule line numbers.
897 * src/closure.c (print_closure): Likewise.
898 * src/derives.c (print_derives): Likewise.
899 * tests/sets.at (Nullable): Adjust: the rule numbers are correct
900 now.
901
7c6b64d0
AD		 9022001-12-29 Akim Demaille <akim@epita.fr>
903
904 * src/lalr.c (lookaheads_print): New.
905 (lalr): Call it when --trace-flag.
906 * tests/sets.at (Nullable): Adjust: when tracing, the lookaheads
907 are dumped.
908
3d4daee3
AD		 9092001-12-29 Akim Demaille <akim@epita.fr>
910
911 * src/derives.c (print_derives): Be sure to use `>= 0', not `> 0',
912 when walking through ritem, even via rule->rhs.
913 * src/reduce.c (dump_grammar, useful_production, reduce_output)
914 (useful_production, useless_nonterminals): Likewise.
915 (reduce_grammar_tables): Likewise, plus update nritems.
916 * src/nullable.c (set_nullable): Likewise.
917 * src/lalr.c (build_relations): Likewise.
918 * tests/sets.at (Nullable): Adjust.
919 Fortunately, now, the $axiom is no longer nullable.
920
9e7f6bbd
AD		 9212001-12-29 Akim Demaille <akim@epita.fr>
922
923 * src/LR0.c (generate_states): Use nritems, not nitems, nor using
924 the 0-sentinel.
925 * src/gram.c (ritem_longest_rhs): Likewise.
926 * src/reduce.c (nonterminals_reduce): Likewise.
927 * src/print_graph.c (print_graph): Likewise.
928 * src/output.c (output_rule_data): Likewise.
929 * src/nullable.c (set_nullable): Likewise.
930
255ef638
AD		 9312001-12-29 Akim Demaille <akim@epita.fr>
932
933 * src/output.c: Comment changes.
934
0d8a7363
AD		 9352001-12-27 Paul Eggert <eggert@twinsun.com>
936
937 * src/bison.simple (YYSTACK_ALLOC, YYSIZE_T): Remove special
938 cases for non-GNU systems like AIX, HP-UX, SGI, Sun, and
939 Sparc, as they were causing more porting problems than the
940 (minor) performance improvement was worth.
941
942 Also, catch up with 1.31's YYSTD.
943
3db472b9
AD		 9442001-12-27 Akim Demaille <akim@epita.fr>
945
946 * src/output.c (output_gram): Rely on nritems, not the
947 0-sentinel. See below.
948 Use -1 as separator, not 0.
949 * src/bison.simple (yyparse): Subtract 1 to the rule numbers.
950 Rely on -1 as separator in yyrhs, instead of 0.
951 * tests/calc.at (AT_CHECK_CALC): Now, the parsers no longer issue
952 twice `Now at end of input', therefore there are two lines less to
953 expect.
954
b365aa05
AD		 9552001-12-27 Akim Demaille <akim@epita.fr>
956
957 * tests/regression.at (Unresolved SR Conflicts):
958 (Solved SR Conflicts, Rule Line Numbers): Adjust to the changes
959 below.
960
30171f79
AD		 9612001-12-27 Akim Demaille <akim@epita.fr>
962
963 * src/LR0.c (new_state): Recognize the final state by the fact it
964 is reached by eoftoken.
965 (insert_start_shifting_state, insert_eof_shifting_state)
966 (insert_accepting_state, augment_automaton): Remove, since now
967 these states are automatically computed from the initial state.
968 (generate_states): Adjust.
969 * src/print.c: When reporting a rule number to the user, substract
970 1, so that the axiom rule is rule 0, and the first user rule is 1.
971 * src/reduce.c: Likewise.
972 * src/print_graph.c (print_core): For the time being, just as for
973 the report, depend upon --trace-flags to dump the full set of
974 items.
975 * src/reader.c (readgram): Once the grammar read, insert the rule
976 0: `$axiom: START-SYMBOL $'.
977 * tests/set.at: Adjust: rule 0 is now displayed, and since the
978 number of the states has changed (the final state is no longer
979 necessarily the last), catch up.
980
75142d45
AD		 9812001-12-27 Akim Demaille <akim@epita.fr>
982
983 Try to make the use of the eoftoken valid. Given that its value
984 is 0 which was also used as a sentinel in ritem, (i) make sure >= 0
985 is used instead of > 0 where appropriate, (ii), depend upon nritems
986 instead of the 0-sentinel.
987
988 * src/gram.h, src/gram.c (nritems): New.
989 Expected to be duplication of nitems, but for the time being...
990 * src/reader.c (packgram): Assert nritems and nitems are equal.
991 * src/LR0.c (allocate_itemsets, new_itemsets): Adjust.
992 * src/closure.c (print_closure, print_fderives): Likewise.
993 * src/gram.c (ritem_print): Likewise.
994 * src/print.c (print_core, print_grammar): Likewise.
995 * src/print_graph.c: Likewise.
996
b7c49edf
AD		 9972001-12-27 Akim Demaille <akim@epita.fr>
998
999 * src/main.c (main): If there are complains after grammar
1000 reductions, then output the report anyway if requested, then die.
1001 * src/symtab.c (bucket_new): Initialize `value' to -1, not 0.
1002 * src/reader.c (eoftoken): New.
1003 (parse_token_decl): If the token being defined has value `0', it
1004 is the eoftoken.
1005 (packsymbols): No longer hack `tags' to insert `$' by hand.
1006 Be sure to preserve the value of the eoftoken.
1007 (reader): Make sure eoftoken is defined.
1008 Initialize nsyms to 0: now eoftoken is created just like the others.
1009 * src/print.c (print_grammar): Don't special case the eof token.
1010 * src/regression.at: Adjust: `$' has value 0, not -1, which was a
1011 lie anyway, albeit pleasant.
1012 * tests/calc.at: Exercise error messages with eoftoken.
1013 Change the grammar so that empty input is invalid.
1014 Adjust expectations.
1015 When yyungeting, be sure to use a valid yylloc: use last_yylloc.
1016
ec2da99f
AD		 10172001-12-27 Akim Demaille <akim@epita.fr>
1018
1019 * configure.in: Check the protos of strchr ans strspn.
1020 Replace strchr if needed.
1021 * src/system.h: Provide the protos of strchr, strspn and memchr if
1022 missing.
1023 * lib/strchr.c: New.
1024 * src/reader.c (symbols_save): Use strchr.
1025
8adfa272
AD		 10262001-12-27 Akim Demaille <akim@epita.fr>
1027
1028 * src/print.c, src/print_graph.c (escape): New.
1029 Use it to quote the TAGS outputs.
1030 * src/print_graph.c (print_state): Now errors are in red, and
1031 reductions in green.
1032 Prefer high to wide: output the state number on a line of its own.
1033
80dac38c
AD		 10342001-12-27 Akim Demaille <akim@epita.fr>
1035
1036 * src/state.h, src/state.c (reductions_new): New.
1037 * src/LR0.c (set_state_table): Let all the states have a
1038 `reductions', even if reduced to 0.
1039 (save_reductions): Adjust.
1040 * src/lalr.c (initialize_LA, initialize_lookaheads): Adjust.
1041 * src/print.c (print_reductions, print_actions): Adjust.
1042 * src/output.c (action_row): Adjust.
1043
2cec70b9
AD		 10442001-12-27 Akim Demaille <akim@epita.fr>
1045
1046 * src/state.h, src/state.c (errs_new, errs_dup): New.
1047 * src/LR0.c (set_state_table): Let all the states have an errs,
1048 even if reduced to 0.
1049 * src/print.c (print_errs, print_reductions): Adjust.
1050 * src/output.c (output_actions, action_row): Adjust.
1051 * src/conflicts.c (resolve_sr_conflict): Adjust.
1052
13ca549a
AD		 10532001-12-27 Akim Demaille <akim@epita.fr>
1054
1055 * src/lalr.c (set_goto_map, initialize_F): Use SHIFT_SYMBOL.
1056
5092aba5
AD		 10572001-12-27 Akim Demaille <akim@epita.fr>
1058
1059 * src/conflicts.c, src/conflicts.h (print_reductions): Move to...
1060 * src/print.c: here.
1061 (lookaheadset, shiftset): New, used as additional storage by
1062 print_reductions.
1063 (print_results): Adjust.
1064 (print_shifts, print_gotos, print_errs): New, extracted from...
1065 (print_actions): here.
1066 * src/print_graph.c (print_actions): Remove dead code.
1067
11e2beca
AD		 10682001-12-27 Akim Demaille <akim@epita.fr>
1069
1070 * src/reader.c (copy_dollar, copy_at): Better checking of `n' in
1071 `$n' and `@n'.
1072
dac3c910
AD		 10732001-12-27 Akim Demaille <akim@epita.fr>
1074
1075 * src/lalr.c (add_lookback_edge): Use state_t instead of ints.
1076 (build_relations): Adjust.
1077
d0b0fefa
AD		 10782001-12-27 Akim Demaille <akim@epita.fr>
1079
1080 * src/lalr.c (set_goto_map): Remove a wrong but benign loop
1081 duplication.
1082
adc8c848
AD		 10832001-12-27 Akim Demaille <akim@epita.fr>
1084
1085 * src/reader.c (packgram): Catch nitems overflows.
1086
14d293ac
AD		 10872001-12-27 Akim Demaille <akim@epita.fr>
1088
1089 * src/files.c, src/files.h (guard_obstack): Remove.
1090 * src/output.c (output): Adjust.
1091 * src/reader.c (parse_braces): New, factoring...
1092 (copy_action, copy_guard): these two which are renamed as...
1093 (parse_action, parse_guard): these.
1094 As a voluntary consequence, using braces around guards is now
1095 mandatory.
1096
f499b062
AD		 10972001-12-27 Akim Demaille <akim@epita.fr>
1098
1099 * src/gram.h (rule_t): `guard' and `guard_line' are new members.
1100 * src/reader.c (symbol_list): `guard' and `guard_line' are new
1101 members.
1102 (symbol_list_new): Adjust.
1103 (copy_action): action_line is the first line, not the last.
1104 (copy_guard): Just as for actions, store the `action' only, not
1105 the switch/case/break flesh.
1106 Don't parse the user action that might follow the guard, let...
1107 (readgram): do it, i.e., now, there can be an action after a
1108 guard.
1109 In other words the guard is just explicitly optional.
1110 (packgram): Adjust.
1111 * src/output.c (guards_output): New.
1112 (output_parser): Call it when needed.
1113 (output): Also free the guard and attrs obstacks.
1114 * src/files.c, src/files.h (obstack_save): Remove.
1115 (output_files): Remove.
1116 As a result, if one needs the former `.act' file, using an
1117 appropriate skeleton which requires actions and guards is now
1118 required.
1119 * src/main.c (main): Adjust.
1120 * tests/semantic.at: New.
1121 * tests/regression.at: Use `input.y' as input file name.
1122 Avoid 8+3 problems by requiring input.c when the test needs the
1123 parser.
1124
d945f5cd
AD		 11252001-12-27 Akim Demaille <akim@epita.fr>
1126
1127 * src/reader.c (symbol_list_new): Be sure to initialize all the
1128 fields.
1129
d200e455
AD		 11302001-12-27 Akim Demaille <akim@epita.fr>
1131
1132 All the hacks using a final pseudo state are now useless.
1133
1134 * src/LR0.c (set_state_table): state_table holds exactly nstates.
1135 * src/lalr.c (nLA): New.
1136 (initialize_LA, compute_lookaheads, initialize_lookaheads): Use it
1137 instead of lookaheadsp from the pseudo state (nstate + 1).
1138
f9507c28
AD		 11392001-12-27 Akim Demaille <akim@epita.fr>
1140
1141 * src/output.c (action_row, token_actions): Use a state_t instead
1142 of a integer, and nlookaheads instead of the following state's
1143 lookaheadsp.
1144
065fbd27
AD		 11452001-12-27 Akim Demaille <akim@epita.fr>
1146
1147 * src/conflicts.c (log_resolution, flush_shift)
1148 (resolve_sr_conflict, set_conflicts, solve_conflicts)
1149 (count_sr_conflicts, count_rr_conflicts, conflicts_output)
1150 (conflicts_print, print_reductions): Use a state_t instead of an
1151 integer when referring to a state.
1152 As much as possible, depend upon nlookaheads, instead of the
1153 `lookaheadsp' member of the following state (since lookaheads of
1154 successive states are successive, the difference between state n + 1
1155 and n served as the number of lookaheads for state n).
1156 * src/lalr.c (add_lookback_edge): Likewise.
1157 * src/print.c (print_core, print_actions, print_state)
1158 (print_results): Likewise.
1159 * src/print_graph.c (print_core, print_actions, print_state)
1160 (print_graph): Likewise.
1161 * src/conflicts.h: Adjust.
1162
1b177bd7
AD		 11632001-12-27 Akim Demaille <akim@epita.fr>
1164
1165 * src/bison.hairy: Formatting/comment changes.
1166 ANSIfy.
1167 Remove `register' indications.
1168 Add plenty of `static'.
1169
7742ddeb
AD		 11702001-12-27 Akim Demaille <akim@epita.fr>
1171
1172 * src/output.c (prepare): Drop the muscle `ntbase' which
1173 duplicates ntokens.
1174 * src/bison.simple: Formatting/comment changes.
1175 Use YYNTOKENS only, which is documented, but not YYNTBASE, which
1176 is an undocumented synonym.
1177
1fa14068
AD		 11782001-12-22 Akim Demaille <akim@epita.fr>
1179
1180 * src/output.c (output_table_data): Change the prototype to use
1181 `int' for array ranges: some invocations do pass an int, not a
1182 short.
1183 Reported by Wayne Green.
1184
b9752825
AD		 11852001-12-22 Akim Demaille <akim@epita.fr>
1186
1187 Some actions of web2c.y are improperly triggered.
1188 Reported by Mike Castle.
1189
1190 * src/lalr.c (traverse): s/F (i)[k] = F (j)[k]/F (j)[k] = F (i)[k]/.
1191 * tests/regression.at (Web2c): Rename as...
1192 (Web2c Report): this.
1193 (Web2c Actions): New.
1194
776209d6
AD		 11952001-12-22 Akim Demaille <akim@epita.fr>
1196
1197 Reductions in web2c.y are improperly reported.
1198 Reported by Mike Castle.
1199
1200 * src/conflicts.c (print_reductions): Fix.
1201 * tests/regression.at (Web2c): New.
1202
275fc3ad
AD		 12032001-12-18 Akim Demaille <akim@epita.fr>
1204
1205 Some host fail on `assert (!"foo")', which expands to
1206 ((!"foo") ? (void)0 : __assert("!"foo."", __FILE__, __LINE__))
1207 Reported by Nelson Beebee.
1208
1209 * src/output.c, src/vcg.c: Replace `assert (!"it succeeded")' with
1210 `#define it_succeeded 0' and `assert (it_succeeded)'.
1211
897668ee
MA		 12122001-12-17 Marc Autret <autret_m@epita.fr>
1213
1214 * src/bison.simple: Don't hard code the skeleton line and filename.
1215 * src/output.c (output_parser): Rename 'line' as 'output_line'.
1216 New line counter 'skeleton_line' (skeleton-line muscle).
1217
ab3399e0
PE		 12182001-12-17 Paul Eggert <eggert@twinsun.com>
1219
1220 * NEWS, doc/bison.texinfo, doc/bison.1, doc/bison.rnh: Document that
1221 YYDEBUG must be defined to a nonzero value.
1222
1223 * src/bison.simple (yytname): Do not assume that the user defines
1224 YYDEBUG to a properly parenthesized expression.
1225
3877f72b
AD		 12262001-12-17 Akim Demaille <akim@epita.fr>
1227
1228 * src/state.h (state_t): Rename lookaheads as lookaheadsp.
1229 nlookaheads is a new member.
1230 Adjust all users.
1231 * src/lalr.h (nlookaheads): Remove this orphan declaration.
1232 * src/lalr.c (initialize_lookaheads): Set nlookaheads for each
1233 state.
776209d6 1234
331dbc1b
AD		 12352001-12-17 Akim Demaille <akim@epita.fr>
1236
1237 * src/files.h, src/files.c (open_files, close_files): Remove.
1238 * src/main.c (main): Don't open/close files, nor invoke lex_free,
1239 let...
1240 * src/reader.c (reader): Do it.
776209d6 1241
be750e4c
AD		 12422001-12-17 Akim Demaille <akim@epita.fr>
1243
1244 * src/conflicts.c (print_reductions): Formatting changes.
776209d6 1245
709ae8c6
AD		 12462001-12-17 Akim Demaille <akim@epita.fr>
1247
1248 * src/conflicts.c (flush_shift): Also adjust lookaheadset.
1249 (flush_reduce): New.
1250 (resolve_sr_conflict): Adjust.
776209d6 1251
f87685c3
AD		 12522001-12-17 Akim Demaille <akim@epita.fr>
1253
1254 * src/output.c (output_obstack): Be static and rename as...
1255 (format_obstack): this, to avoid any confusion with files.c's
1256 output_obstack.
1257 * src/reader.h (muscle_obstack): Move to...
1258 * src/output.h: here, since it's defined in output.c.
1259
837491d8
AD		 12602001-12-17 Akim Demaille <akim@epita.fr>
1261
1262 * src/output.c (action_row, save_column, default_goto)
1263 (sort_actions, matching_state, pack_vector): Better variable
1264 locality.
1265
796d61fb
AD		 12662001-12-17 Akim Demaille <akim@epita.fr>
1267
1268 * src/output.c: Various formatting changes.
776209d6 1269
64d15509
AD		 12702001-12-17 Akim Demaille <akim@epita.fr>
1271
1272 * src/files.c (output_files): Free the output_obstack.
1273 * src/main.c (main): Call print and print_graph conditionally.
1274 * src/print.c (print): Work unconditionally.
1275 * src/print_graph.c (print_graph): Work unconditionally.
1276 * src/conflicts.c (log_resolution): Output only if verbose_flag.
1277
fbc8ecb7
MA		 12782001-12-16 Marc Autret <autret_m@epita.fr>
1279
1280 * src/output.c (actions_output): Fix. When we use %no-lines,
1281 there is one less line per action.
1282
f0440388
MA		 12832001-12-16 Marc Autret <autret_m@epita.fr>
1284
1285 * src/bison.simple: Remove a useless #line directive.
1286 s/#line %%line %%skeleton/#line %%line "%%parser-file-name"/'.
1287 * src/output.c (get_lines_number): New.
776209d6 1288 (output_parser): Adjust, now takes care about the lines of a
f0440388
MA		 1289 output muscles.
1290 Fix line numbering.
1291 (actions_output): Computes the number of lines taken by actions.
1292 (output_master_parser): Insert new skeleton which is the name of
1293 the output parser file name.
1294
a79986b8
MA		 12952001-12-15 Marc Autret <autret_m@epita.fr>
1296
1297 * src/bison.simple [YYERROR_VERBOSE]: Restore backward compatibility.
1298
4ec8e00f
MA		 12992001-12-15 Marc Autret <autret_m@epita.fr>
1300
1301 * src/output.c (output_gram): Keep track of the hairy one.
1302
1a4648ff
AD		 13032001-12-15 Akim Demaille <akim@epita.fr>
1304
1305 Make `make distcheck' work.
1306
1307 * lib/Makefile.am (INCLUDES): Add top_srcdir/intl, since hash uses
1308 system.h which uses libgettext.h.
1309
9c2c67e6
AD		 13102001-12-15 Akim Demaille <akim@epita.fr>
1311
1312 * src/nullable.c (set_nullable): Useless rules must be skipped,
1313 otherwise, since we range over their symbols, we might look at a
1314 nonterminal which no longer ``exists'', i.e., it is not counted in
1315 `nvars', hence we overflow our arrays.
1316
93ede233
AD		 13172001-12-15 Akim Demaille <akim@epita.fr>
1318
1319 The header can also be produced directly, without any obstack!
1320 Yahoo!
1321
1322 * src/files.c, src/files.h (defines_obstack): Remove.
1323 (compute_header_macro): Global.
1324 (defines_obstack_save): Remove.
1325 * src/reader.c (parse_union_decl): No longer output to
1326 defines_obstack: its content can be found in the `stype' muscle
1327 anyway.
1328 (output_token_translations): Merge into...
1329 (symbols_output): this.
1330 Rename as...
1331 (symbols_save): this.
1332 (reader): Adjust.
1333 * src/output.c (header_output): New.
1334 (output): Call it.
1335
2666f928
AD		 13362001-12-15 Akim Demaille <akim@epita.fr>
1337
1338 * src/reader.c (parse_union_decl): Instead of handling two obstack
1339 simultaneously, use one to define the `stype' muscle, and use the
1340 value of the latter to fill defines_obstack.
1341 (copy_comment): Remove.
1342 (copy_comment2): Work for a single obstack.
1343 Rename as...
1344 (copy_comment): this.
1345
428046f8
AD		 13462001-12-15 Akim Demaille <akim@epita.fr>
1347
1348 * src/lex.c, src/lex.h (xgetc): No longer static.
1349 * src/reader.c (parse_union_decl): Revamp.
1350
ea52d706
AD		 13512001-12-15 Akim Demaille <akim@epita.fr>
1352
1353 Still making progress in separating Bison into (i) input, (ii)
1354 process, (iii) output: now we can directly output the parser file
1355 without using table_obstack at all.
1356
1357 * src/files.c, src/files.h (table_obstack): Bye bye.
1358 (parser_file_name): New.
1359 * src/files.c (compute_output_file_names): Compute it.
1360 * src/output.c (actions_output, output_parser)
1361 (output_master_parser): To a file instead of an obstack.
1362
3f96f4dc
AD		 13632001-12-15 Akim Demaille <akim@epita.fr>
1364
1365 Attach actions to rules, instead of pre-outputting them to
1366 actions_obstack.
1367
1368 * src/gram.h (rule_t): action and action_line are new members.
1369 * src/reader.c (symbol_list): Likewise.
1370 (copy_action): Save the actions within the rule.
1371 (packgram): Save them in rule_table.
1372 * src/output.c (actions_output): New.
1373 (output_parser): Use it on `%%actions'.
1374 (output_rule_data): Don't free rule_table.
1375 (output): Do it.
1376 (prepare): Don't save the `action' muscle.
1377 * src/bison.simple: s/%%action/%%actions/.
1378
51576fb3
AD		 13792001-12-15 Akim Demaille <akim@epita.fr>
1380
1381 * src/reader.c (copy_action): When --yacc, don't append a `;'
1382 to the user action: let it fail if lacking.
dee049eb 1383 Suggested by Arnold Robbins and Tom Tromey.
51576fb3 1384
2648a72d
AD		 13852001-12-14 Akim Demaille <akim@epita.fr>
1386
1387 * src/lex.c (literalchar): Simply return the char you decoded, non
1388 longer mess around with obstacks and int pointers.
1389 Adjust all callers.
1390
92790e5b
AD		 13912001-12-14 Akim Demaille <akim@epita.fr>
1392
1393 * src/lex.c (literalchar): Don't escape the special characters,
1394 just decode them, and keep them as char (before, eol was output as
1395 the 2 char string `\n' etc.).
1396 * src/output.c (output_rule_data): Use quotearg to output the
1397 token strings.
1398
927c1557
PE		 13992001-12-13 Paul Eggert <eggert@twinsun.com>
1400
1401 * src/bison.simple (YYSIZE_T, YYSTACK_ALLOC, YYSTACK_FREE):
1402 Do not infringe on the global user namespace when using C++.
1403 (YYFPRINTF, YYSTDERR): New macros, needed for the above.
1404 All uses of `fprintf' and `stderr' changed.
1405
1406 * doc/bison.texinfo: Document YYFPRINTF, YYSTDERR.
1407
ed8e1f68
AD		 14082001-12-13 Akim Demaille <akim@epita.fr>
1409
1410 The computation of nullable is broken: it doesn't handle empty
1411 RHS's properly.
1412
1413 * tests/torture.at (GNU AWK Grammar): New.
1414 * tests/sets.at (Nullable): New.
1415 * src/nullable.c (set_nullable): Instead of blindly looping over
1416 `ritems', loop over the rules, and then over their rhs's.
1417
1418 Work around Autotest bugs.
1419
1420 * src/warshall.c (bitmatrix_print): Don't use `+--+' as table
1421 frame, because Autotest understand lines starting with a `+' as
1422 traces from the shell. Then, they are not processed properly.
1423 Admittedly an Autotest bug, but we don't have time to wait for
1424 Autotest to catch up.
1425 * tests/regression.at (Broken Closure): Adjust to the new table
1426 frames.
1427 Move to...
1428 * tests/sets.at: here.
1429
cb581495
AD		 14302001-12-13 Akim Demaille <akim@epita.fr>
1431
1432 * src/closure.c (closure): Use nrules instead of playing tricks
1433 with BITS_PER_WORD.
1434
2e729273
AD		 14352001-12-13 Akim Demaille <akim@epita.fr>
1436
1437 * src/print.c (print_actions): Output the handling of `$' as the
1438 traces do: shifting the token EOF. Before EOF was treated as a
1439 nonterminal.
1440 * tests/regression.at: Adjust some tests.
1441 * src/print_graph.c (print_core): Complete the set of items via
1442 closure. The next-to-final and final states are still unsatisfying,
1443 but that's to be addressed elsewhere.
1444 No longer output the rule numbers, but do output the state number.
1445 A single loop for the shifts + gotos is enough, but picked a
1446 distinct color for each.
1447 (print_graph): Initialize and finalize closure.
1448
107f7dfb
AD		 14492001-12-13 Akim Demaille <akim@epita.fr>
1450
1451 * src/reader.c (readgram): Remove dead code, an strip useless
1452 braces.
1453 (get_type): Remove, unused.
1454
9b53a24f
AD		 14552001-12-12 Akim Demaille <akim@epita.fr>
1456
1457 * src/complain.h, src/complain.c: Remove error_one_per_line, rely
1458 on that of lib/error.c.
1459
dbfb6dcd
AD		 14602001-12-12 Akim Demaille <akim@epita.fr>
1461
1462 Some hosts don't like `/' in includes.
1463
1464 * src/system.h: Include libgettext.h without qualifying the path.
1465 * src/Makefile.am (INCLUDES): Add $(top_srcdir)/intl, remove
1466 $(top_srcdir).
1467
c25fb648
MA		 14682001-12-11 Marc Autret <autret_m@epita.fr>
1469
1470 * src/output.c (output_parser): Remove useless muscle.
1471
710ddc4f
MA		 14722001-12-11 Marc Autret <autret_m@epita.fr>
1473
1474 * src/bison.simple: Remove #line just before %%epilogue. It
1475 is now handled in ...
1476 * src/reader.c (read_additionnal_code): Add the output of a
1477 #line for the epilogue.
1478
e83d80b8
MA		 14792001-12-10 Marc Autret <autret_m@epita.fr>
1480
927c1557 1481 * src/reader.c (copy_definition): Re-use CPP-outed code which
e83d80b8
MA		 1482 replace precedent remove.
1483 * src/bison.simple: Remove #line before %%prologue because
1484 %%input-line is wrong at this time.
1485
971d5158
MA		 14862001-12-10 Marc Autret <autret_m@epita.fr>
1487
1488 * src/reader.c (symbols_output): Clean up.
927c1557 1489 * src/output.c (output_gram, output): Clean up.
971d5158 1490
5edafffd
AD		 14912001-12-10 Akim Demaille <akim@epita.fr>
1492
1493 * src/lalr.c (initialize_lookaheads): New. Extracted from...
1494 * src/LR0.c (set_state_table): here.
1495 * src/lalr.c (lalr): Call it.
1496
0279f8e9
AD		 14972001-12-10 Akim Demaille <akim@epita.fr>
1498
1499 * src/state.h (shifts): Remove the `number' member: shifts are
1500 attached to state, hence no longer need to be labelled with a
1501 state number.
1502
190c4f5f
AD		 15032001-12-10 Akim Demaille <akim@epita.fr>
1504
1505 Now that states have a complete set of members, the linked list of
1506 shifts is useless: just fill directly the state's shifts member.
1507
1508 * src/state.h (shifts): Remove the `next' member.
1509 * src/LR0.c (first_state, last_state): Remove.
1510 Adjust the callers.
1511 (augment_automaton): Don't look for the shifts that must be added
1512 a shift on EOF: it is those of the state we looked for! But now,
1513 since shifts are attached, it is no longer needed to looking
1514 merely by its id: its number.
1515
2a73b93d
AD		 15162001-12-10 Akim Demaille <akim@epita.fr>
1517
1518 * src/LR0.c (augment_automaton): Better variable locality.
1519 Remove an impossible branch: if there is a state corresponding to
1520 the start symbol being shifted, then there is shift for the start
1521 symbol from the initial state.
1522
74392f6a
AD		 15232001-12-10 Akim Demaille <akim@epita.fr>
1524
1525 * src/LR0.c (augment_automaton): Call `insert_eof_shifting_state'
1526 only when appropriate: when insert_start_shifting_state' is not
1527 invoked.
1528 * tests/regression.at (Rule Line Numbers): Adjust.
1529
37c82725
AD		 15302001-12-10 Akim Demaille <akim@epita.fr>
1531
1532 * src/LR0.c (augment_automaton): Now that all states have shifts,
1533 merge the two cases addition shifts to the initial state.
1534
6a164e0c
AD		 15352001-12-10 Akim Demaille <akim@epita.fr>
1536
1537 * src/lalr.c (set_state_table): Move to...
1538 * src/LR0.c: here.
1539 * src/lalr.c (lalr): Don't call it...
1540 * src/LR0.c (generate_states): do it.
1541 * src/LR0.h (first_state): Remove, only the table is used.
1542
7215de24
AD		 15432001-12-10 Akim Demaille <akim@epita.fr>
1544
1545 * src/LR0.h (first_shift, first_reduction): Remove.
1546 * src/lalr.c: Don't use first_shift: find shifts through the
1547 states.
1548
80e25d4d
AD		 15492001-12-10 Akim Demaille <akim@epita.fr>
1550
1551 * src/LR0.c: Attach shifts to states as soon as they are
1552 computed.
1553 * src/lalr.c (set_state_table): Instead of assigning shifts to
1554 state, just assert that the mapping was properly done.
1555
0ab3728b
AD		 15562001-12-10 Akim Demaille <akim@epita.fr>
1557
1558 * src/LR0.c (insert_start_shift): Rename as...
1559 (insert_start_shifting_state): this.
1560 (insert_eof_shifting_state, insert_accepting_state): New.
1561 (augment_automaton): Adjust.
1562 Better locality of the variables.
1563 When looking if the start_symbol is shifted from the initial
1564 state, using `while (... symbol != start_symbol ...)' sounds
1565 better than `while (... symbol < start_symbol ...)': If fail
1566 to see how the order between symbols could be relevant!
1567
78af9bbc
AD		 15682001-12-10 Akim Demaille <akim@epita.fr>
1569
1570 * src/getargs.h: Don't declare `spec_name_prefix' and
1571 `spec_file_prefix', declared by src/files.h.
1572 * src/files.c, src/files.h: Default for spec_name_prefix is "yy".
1573 * src/muscle_tab.c (muscle_init): Default prefix to NULL.
1574 * src/output.c (prepare): Adjust.
1575 * src/reader.c (symbols_output): Likewise.
1576 * src/vmsgetargs.c: Vaguely adjust, but who cares?
1577
bdef2a41
AD		 15782001-12-10 Akim Demaille <akim@epita.fr>
1579
1580 * src/muscle_tab.c (muscle_init): NULL is a better default than
1581 `"0"'.
1582
3735969c
AD		 15832001-12-10 Akim Demaille <akim@epita.fr>
1584
1585 * src/reader.c (reader): Calling symbols_output once is enough.
1586
49701457
AD		 15872001-12-10 Akim Demaille <akim@epita.fr>
1588
1589 Now that states have a complete set of members, the linked list of
1590 reductions is useless: just fill directly the state's reductions
1591 member.
1592
1593 * src/state.h (struct reductions): Remove member `number' and
1594 `next'.
1595 * src/LR0.c (first_reduction, last_reduction): Remove.
1596 (save_reductions): Don't link the new reductions, store them in
1597 this_state.
1598 * src/lalr.c (set_state_table): No need to attach reductions to
1599 states, it's already done.
1600 * src/output.c (output_actions): No longer free the shifts, then
1601 the reductions, then the states: free all the states and their
1602 members.
1603
0edad749
AD		 16042001-12-10 Akim Demaille <akim@epita.fr>
1605
1606 * src/options.c (OPTN, DRTV, BOTH): New.
1607 (option_table): Use them.
1608
0edad749
AD		 1609 * src/muscle_tab.c: Don't include xalloc.h and string.h: that's
1610 the job of system.h.
1611 * src/options.c: Don't include stdio.h and xalloc.h for the same
1612 reasons.
1613
5449dd0f
AD		 16142001-12-10 Akim Demaille <akim@epita.fr>
1615
1616 * src/output.c (output, prepare): Make sure the values of the
1617 muscles `action' and `prologue' are 0-terminated.
1618
a870c567
AD		 16192001-12-10 Akim Demaille <akim@epita.fr>
1620
1621 Clean up GCC warnings.
1622
1623 * src/reader.c (copy_action): `buf' is not used.
1624 (parse_skel_decl): Be static.
1625 * src/muscle_tab.c (mhash1, mhash2, muscle_insert): Preserve `const'.
1626 * src/options.h (create_long_option_table): Have a real prototype.
1627 * lib/hash.c, lib/hash.h (hash_insert, hash_insert_at, hash_delete)
1628 (hash_delete_at): Return const void *.
1629 Adjust casts to preserve the const.
1630
80df8768
AD		 16312001-12-10 Akim Demaille <akim@epita.fr>
1632
1633 * configure.in: Require 2.52g.
1634 M4 is not needed, but AUTOM4TE is.
1635 * m4/m4.m4: Remove.
1636 * tests/Makefile.am: Adjust.
1637
f693ad14
AD		 16382001-12-10 Akim Demaille <akim@epita.fr>
1639
1640 One structure for states is enough, even though theoretically
1641 there are LR(0) states and LALR(1) states.
1642
1643 * src/lalr.h (state_t): Remove.
1644 (state_table): Be state_t **, not state_t *.
1645 * src/state.h (core, CORE_ALLOC): Rename as...
1646 (state_t, STATE_ALLOC): this.
1647 Add the LALR(1) members: shifts, reductions, errs.
1648 * src/LR0.c (state_table): Rename as...
1649 (state_hash): this, to avoid name clashes with the global
1650 `state_table'.
1651 * src/print_graph.c, src/LR0.c, src/LR0.h, src/conflicts.c
1652 * src/lalr.c, src/lalr.h, src/output.c, src/print.c: Adjust.
1653
74ffbcb6
AD		 16542001-12-10 Akim Demaille <akim@epita.fr>
1655
1656 Bison dumps core on bash.y.
1657 Reported by Pascal Bart.
1658
1659 * src/warshall.c (bitmatrix_print): New.
1660 (TC): Use it.
1661 When performing a transitive closure R(i, j) && R(j, k) => R(i, k),
1662 j must be the outer loop.
1663 * tests/regression.at (Broken Closure): New.
1664
07708e19
AD		 16652001-12-05 Akim Demaille <akim@epita.fr>
1666
1667 * tests/atlocal.in (CPPFLAGS): Do not leave a space between -I and
1668 its argument.
1669