jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

updated the todo.txt

Browse source
This commit is contained in:
Léonard Gérard 2011-06-08 12:10:11 +02:00
parent fe74030f78
commit e8487ef88a
1 changed files with 12 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
todo.txt
View file

@ -1,22 +1,29 @@
Plus ou moins ordonné du plus urgent au moins urgent.
*- Bugs related to matching types without unaliasing it. In lots of parts. Use Modules.unalias_type.
Bugs :
*- Typer les signatures (verifier que les contraintes sont bien des bools)
*- Hept mapfold ne parcourt pas les types partout..... cf TODO du code.
*- Bugs related to matching types without unaliasing it. In lots of parts. Use Modules.unalias_type.
*- Les types des patterns dans les boucles crées par concatenate ( entre autres ) sont faux.
Ameliorations :
*- Permettre des equations sans variables a gauche. Ou au moins ne pas donner de nom au pattern : _
*- Collision entre les noms de params et les idents dans les noeuds.
*- Optimisations du genre "if true then ... else ... " ou genre "x,y = if b then a,c else a2,c" qui devrait etre transformé en "x = if b then a else s2; y = c" ...
*- Optimisation de la traduction des automates : pas besoin de variables de reset pour les états "continue", etc.
*- (LG) Rajouter les annotations d'horloge dans le source (les mettres comme contrainte de sous typage en ck_base ?? voir avec lucy-n)
*- Compléter la passe "static.ml" pour gérer l'ensemble des opérateurs de pervasives
*- Permettre les déclarations des types et des noeuds et des constantes dans un ordre quelconque.
*- Permettre la définition de constantes locales.
*- Optimiser le reset en utilisant un memcopy ? ou autre chose ?