Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-03-09 12:23:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

TODO: more

Browse Source
This commit is contained in:
Akim Demaille
2018-09-10 19:41:58 +02:00
parent 9458250968
commit c53d599df4
1 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
TODO
View File

@@ -196,6 +196,14 @@ DeRemer and Penello: they already provide the algorithm.
* Extensions * Extensions
** Multiple start symbols
Would be very useful when parsing closely related languages.
** Better error messages
The users are not provided with enough tools to forge their error messages.
See for instance "Is there an option to change the message produced by
YYERROR_VERBOSE?" by Simon Sobisch, on bison-help.
** %include ** %include
This is a popular demand. We already made many changes in the parser that This is a popular demand. We already made many changes in the parser that
should make this reasonably easy to implement. should make this reasonably easy to implement.
@@ -241,6 +249,10 @@ XML output for GNU Bison and gcc
XML output for GNU Bison XML output for GNU Bison
http://yaxx.sourceforge.net/ http://yaxx.sourceforge.net/
** Counterexample generation
https://lists.gnu.org/archive/html/bug-bison/2016-06/msg00000.html
http://www.cs.cornell.edu/andru/papers/cupex/
* Unit rules * Unit rules
Maybe we could expand unit rules, i.e., transform Maybe we could expand unit rules, i.e., transform