X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/2ab9a04ffcf892a695e099c3a01d369d5101b5ea..66d30cd4eb907af83dffa8ed7db84485a28663dc:/TODO diff --git a/TODO b/TODO index 52b2457e..ef4a61fc 100644 --- a/TODO +++ b/TODO @@ -1,9 +1,38 @@ -*- outline -*- +* Header guards + +From Franc,ois: should we keep the directory part in the CPP guard? + + +* Yacc.c: CPP Macros + +Do some people use YYPURE, YYLSP_NEEDED like we do in the test suite? +They should not: it is not documented. But if they need to, let's +find something clean (not like YYLSP_NEEDED...). + + +* readpipe + +It should be replaced to avoid tmp files and to improve portability. +Also, as it is it does not call error () when execve fails, and +therefore, running M4='m4 --version' bison will silently fail instead +of: + + bison: cannot run m4 --version: No such file or directory + +BTW: I would really like to be able to pass arguments to m4... + + * URGENT: Documenting C++ output Write a first documentation for C++ output. +* Documentation +Before releasing, make sure the documentation refers to the current +`output' format. + + * Error messages Some are really funky. For instance @@ -11,30 +40,6 @@ Some are really funky. For instance is really weird. Revisit them all. -* Stupid error messages -An example shows it easily: - -src/bison/tests % ./testsuite -k calc,location,error-verbose -l -GNU Bison 1.49a test suite test groups: - - NUM: FILENAME:LINE TEST-GROUP-NAME - KEYWORDS - - 51: calc.at:440 Calculator --locations --yyerror-verbose - 52: calc.at:442 Calculator --defines --locations --name-prefix=calc --verbose --yacc --yyerror-verbose - 54: calc.at:445 Calculator --debug --defines --locations --name-prefix=calc --verbose --yacc --yyerror-verbose -src/bison/tests % ./testsuite 51 -d -## --------------------------- ## -## GNU Bison 1.49a test suite. ## -## --------------------------- ## - 51: calc.at:440 ok -## ---------------------------- ## -## All 1 tests were successful. ## -## ---------------------------- ## -src/bison/tests % cd ./testsuite.dir/51 -tests/testsuite.dir/51 % echo "()" | ./calc -1.2-1.3: parse error, unexpected ')', expecting error or "number" or '-' or '(' - * read_pipe.c This is not portable to DOS for instance. Implement a more portable @@ -47,6 +52,10 @@ check if %union is used, since the user is free to $n on her union, doesn't she? +* GLR & C++ +Currently, the GLR parser cannot compile with a C++ compiler. + + * Report ** GLR @@ -72,7 +81,7 @@ a sample text exhibiting the (LALR) ambiguity. See the paper from DeRemer and Penello: they already provide the algorithm. -* Extentions +* Extensions ** yyerror, yysymprint interface It should be improved, in particular when using Bison features such as @@ -121,19 +130,31 @@ this issue. Does anybody have it? * Documentation -** Vocabulary -Explain $axiom (and maybe change its name: BTYacc names it `goal', -byacc `$accept' probably based on AT&T Yacc, Meta `Start'...). -Complete the glossary (item, axiom, ?). Should we also rename `$'? -BYacc uses `$end'. `$eof' is attracting, but after all we may be -parsing a string, a stream etc. - ** History/Bibliography Some history of Bison and some bibliography would be most welcome. Are there any Texinfo standards for bibliography? +* Java, Fortran, etc. + + +** Java + +There are a couple of proposed outputs: + +- BYACC/J + which is based on Byacc. + + +- Bison Java + which is based on Bison. + + +Sébastien Serrurier (serrur_s@epita.fr) is working on this: he is +expected to contact the authors, design the output, and implement it +into Bison. + * Coding system independence Paul notes: @@ -159,7 +180,7 @@ Show reductions. [] ** %pure-parser [] ** %token-table [] ** Options which could use parse_dquoted_param (). -Maybe transfered in lex.c. +Maybe transferred in lex.c. *** %skeleton [ok] *** %output [] *** %file-prefix [] @@ -176,7 +197,7 @@ Find the best graph parameters. [] * doc/bison.texinfo ** Update informations about ERROR_VERBOSE. [] -** Add explainations about +** Add explanations about skeleton muscles. [] %skeleton. [] @@ -197,7 +218,7 @@ First, analyze the differences between byacc and btyacc (I'm referring to the executables). Find where the conflicts are preserved. ** Compare with the GLR tables -See how isomorphic the way BTYacc and the way the GLR adjustements in +See how isomorphic the way BTYacc and the way the GLR adjustments in Bison are compatible. *As much as possible* one should try to use the same implementation in the Bison executables. I insist: it should be very feasible to use the very same conflict tables.