blob: 76cb9dd53cb23712c32262f6c21070b89d3ab470 (
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
26
27
28
29
30
31
32
33
34
|
o Lib
- �crire une fonction d'export qui supprimme les FrozenState,
v�rifie qu'il n'y a pas de section ouvert, et pr�sente les
d�clarations dans l'ordre chronologique (y compris dans les
sections ferm�es). A utiliser dans Library pour sauver un module.
o Convertibilit�
- utiliser une exception plut�t qu'un type somme Convert. | Non Convert.
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)
|
