Commit 7614d0fc authored by POTTIER Francois's avatar POTTIER Francois

TODO update.

parent 4532a6e5
* Gabriel veut pouvoir inclure MenhirLib dans le parser engendré
* Develop an alternate src/Makefile that does not require ocamlbuild?
Could use OCamlMakefile instead, for instance.
......@@ -18,14 +20,9 @@
expansion of the parameterized non-terminals.)
This would allow some simplifications in CompCert's grammar.
* Document %on_error_reduce
* --compile-errors could warn about messages wider than 80 columns
could also warn statically about out-of-range $i?
* --on-error-reduce should warn about arguments which are not names of terminal symbols
and should remove any spaces in the names!
* 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
......@@ -42,8 +39,6 @@
De toute façon il faudra compliquer la notion de explanation
qui ne pourra plus toujours être basée sur un item...
* Gabriel veut pouvoir inclure MenhirLib dans le parser engendré
* gros BUG à corriger: il ne faut pas exiger le prochain token
AVANT une réduction par défaut. Il faut suivre ocamlyacc et
bison. Réfléchir... et corriger les deux back-ends. Attention
......
Markdown is supported
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