Commit 1f316cb3 authored by POTTIER Francois's avatar POTTIER Francois

TODO update.

parent f46f4add
......@@ -57,6 +57,11 @@
Possibilité de coloriser ce qu'on a lu en indiquant ce qu'on a compris
(sortie HTML).
* Test and document --lalr (maybe).
* Tenter une minimisation a posteriori de l'automate. Sur la grammaire
OCaml on devrait retrouver l'automate LALR, non?
* Could we avoid listing the contents of MenhirLib in 4 different files?
* bundle the Coq library with menhir, and add demos/calc-coq
......@@ -128,6 +133,9 @@
(ça aurait un sens au moins quand on inline dans une production unité?)
(ou plus généralement quand on inline en dernière position?)
* Reconnaître les directives # n "foo" dans le fichier .mly et en tenir
compte dans les locations.
* BUG: message de Valentin Gatien-Baron du 09/01/2010: le bug de --explain
est-il bien le bug connu? peut-on le corriger? ne suffirait-il pas de
passer sous silence les conflits qui ont lieu dans une partie inaccessible
......
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