diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-05-19 08:15:08 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-05-19 10:05:18 +0200 |
commit | de5207244b5cbcc496683ba903c090b67e77c24c (patch) | |
tree | 94d0c43e7c65c0d71ba0b03a1f4bd6f3a827d621 /.gitattributes | |
parent | cae813269066d0d7d8ae2fbc1df947fb568a6173 (diff) | |
download | bison-de5207244b5cbcc496683ba903c090b67e77c24c.tar.gz |
diagnostics: %pure-parser is obsolete
Reported by Uxio Prego.
http://lists.gnu.org/archive/html/bug-bison/2018-12/msg00029.html
* src/scan-gram.l, src/parse-gram.y (PERCENT_PURE_PARSER)
(handle_pure_parser): New.
Issue a deprecation/update notice for %pure-parser.
* doc/bison.texi (Java Bison Interface): Don't mention %pure-parser.
* tests/actions.at, tests/input.at: Adjust.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions