diff options
Diffstat (limited to 'dev/TODO')
| -rw-r--r-- | dev/TODO | 20 |
1 files changed, 17 insertions, 3 deletions
@@ -1,11 +1,25 @@ - o Minicoq - utilisation de Himsg + o Univers + - définir un type d'ensemble de contraintes, et sauver cet ensemble + pour chaque module et non pas le graphe complet + + o configure + - il faut tester la version du programme correspondant à $bytecamlc + qui peut être ocamlc ou ocamlc.opt, et non pas la version de "ocamlc" + seulement + + o Environnements compilés (type Environ.compiled_env) + - pas de timestamp mais plutôt un checksum avec Digest (mais comment ?) + + o Efficacité + - utiliser DOPL plutôt que DOPN (sauf pour Case) + - batch mode => pas de undo, ni de reset + - conversion : déplier la constante la plus récente o Lexer à compléter o Toplevel - boucle principale, affichage des erreur, du prompt - - parsing de la ligne de commande (Arg ?) + - parsing de la ligne de commande (utiliser Arg) |