Commit 8cb43224 authored by POTTIER Francois's avatar POTTIER Francois

TODO items.

parent 5083f4ed
......@@ -24,12 +24,17 @@
Then, one could remove Makefile.shared and ocamldep.wrapper.
* Suite des patchs de Frédéric Bour.
API d'inspection complète.
Librairie(s) pour la gestion des erreurs.
Librairie pour la complétion du parsing.
* Meilleurs messages d'erreur de syntaxe.
Revenir en arrière après une erreur, car l'erreur
n'est détectée qu'après quelques réductions. Une fois que l'on est
revenu, on peut examiner les items de l'état courant et donner des
positions de début d'item qui devraient être intéressantes.
Possibilité de coloriser ce qu'on a lu en indiquant ce qu'on a compris
(sortie HTML).
* bundle the Coq library with menhir, and add demos/calc-coq
to show how it is used
......
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