Commit a715d325 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO.

parent 08976b17
......@@ -115,10 +115,6 @@
recognizing the default message as irrelevant.
(Gabriel Scherer.)
* At level -la 2, display a minimal terminal sentence
for each nonterminal symbol. (Code in attic/.)
Check Purdom, "A sentence generator for testing parsers", 1972.
* Add a facility to produce a set of *valid* sentences that reach *every*
(reachable) state of the automaton. Also, a set of valid sentences that
exercise *every* production. This could be useful in regression testing,
......@@ -127,7 +123,9 @@
* Dans les avantages de Menhir versus ocamlyacc (dans la doc et
sur la page Web), ajouter le back-end Coq, l'API incrémentale
et l'API d'inspection, les règles anonymes, la gestion fine des
erreurs de syntaxe...
erreurs de syntaxe... Indiquer qu'avec %inline+symboles paramétrés+règles anonymes
on va en fait beaucoup plus loin que LR(1), à condition que la grammaire
après macro-expansion soit encore LR(1).
* Document the fact that (ocaml)yacc and Menhir do not have the same
behavior concerning default reductions (one performs the default
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment