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)
|
