X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FTODO;fp=helm%2Focaml%2Fcic_notation%2FTODO;h=0000000000000000000000000000000000000000;hb=9a0e4f3be9f70662f18d2d3b6dd60ae79fba565b;hp=a98131c074d08586091dba9690b507838d43ec11;hpb=f59550b5a9cdddbb348697201fae7d736d6b96c5;p=helm.git

diff --git a/helm/ocaml/cic_notation/TODO b/helm/ocaml/cic_notation/TODO
deleted file mode 100644
index a98131c07..000000000
--- a/helm/ocaml/cic_notation/TODO
+++ /dev/null
@@ -1,47 +0,0 @@
-
-TODO
-
-* implementare type-checker per le trasformazioni
-* prestazioni trasformazioni 3 => 2 e 2 => 1
-* magic per gestione degli array?
-* gestione della notazione per i numeri
-* sintassi concreta
-  - studiare/implementare sintassi con ... per i magic fold
-* trasformazioni
-  - parentesi cagose (tail)
-  - hyperlink multipli con il magic fold (e.g. notazione per le liste)
-  - ident0 -> ident_0 ?
-
-DONE
-
-* trasformazioni
-  - spacing delle keyword
-  - hyperlink su head dei case pattern e sul tipo induttivo su cui si fa match
-* bug di rimozione della notazione: pare che camlp4 distrugga un livello
-  grammaticale quando toglie l'ultima produzione ivi definita
-* pretty printing verso testo
-* gestione priorita'/associativita'
-  - triplicare livelli nella grammatica?
-* implementare trasformazione 1 => 0
-* implementare istanziazione dei magic a livello 1 (2 => 1)
-* implementare compilazione dei default in 2 => 1
-* annotazioni nel livello 1 generato
-* problema con pattern overlapping per i magic al livello 2
-* gestione greedyness dei magic in 2 => 1
-* href multipli
-* integrazione
-  - apportare all'ast le modifiche di CicAst (case, cast non come annotazione,
-    tipi opzionali nel let rec e nelle definizioni)
-* integrazione
-  - porting della disambiguazione al nuovo ast
-  - refactoring: unico punto di accesso allo stato imperativo della notazione
-  - gestire cast
-  - salvare la notazione nei file .moo
-  - portare le trasformazioni al nuovo ast
-  - gestire i problemi di ridefinizione della stessa notazione?
-  - togliere file non piu' utilizzati (caterva di cvs remove)
-* gtkmathview
-  - aggiungere metodo per caricare un file di configurazione dell'utente (idem
-    nel binding)
-  - algoritmo di layout delle scatole
-