From e8487ef88aa7246c046756f9eb741cedc0a20064 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Wed, 8 Jun 2011 12:10:11 +0200 Subject: [PATCH] updated the todo.txt --- todo.txt | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) diff --git a/todo.txt b/todo.txt index b83963b..87d7c00 100644 --- a/todo.txt +++ b/todo.txt @@ -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 ?