blob: 5a6e5b70e758243a2eaf5d24a5fbd9cc922bbb18 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
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 (utiliser Arg)
|
