From de5207244b5cbcc496683ba903c090b67e77c24c Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sun, 19 May 2019 08:15:08 +0200 Subject: 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. --- THANKS | 1 + 1 file changed, 1 insertion(+) (limited to 'THANKS') diff --git a/THANKS b/THANKS index eb690d22..50b33f48d 100644 --- a/THANKS +++ b/THANKS @@ -179,6 +179,7 @@ Tom Tromey tromey@cygnus.com Tommy Nordgren tommy.nordgren@chello.se Troy A. Johnson troyj@ecn.purdue.edu Tys Lefering gccbison@gmail.com +Uxio Prego uxio.prego@gmail.com Valentin Tolmer nitnelave1@gmail.com wcventure wcventure@126.com Victor Khomenko victor.khomenko@newcastle.ac.uk -- cgit v1.2.1