helm/ocaml/cic_notation/TODO

   1
   2 TODO
   3
   4 * implementare type-checker per le trasformazioni
   5 * prestazioni trasformazioni 3 => 2 e 2 => 1
   6 * magic per gestione degli array?
   7 * gestione della notazione per i numeri
   8 * pretty printing verso testo
   9 * sintassi concreta
  10   - studiare/implementare sintassi con ... per i magic fold
  11 * trasformazioni
  12   - parentesi cagose (tail)
  13   - spacing delle keyword
  14   - hyperlink su head dei case pattern e sul tipo induttivo su cui si fa match
  15   - hyperlink multipli con il magic fold (e.g. notazione per le liste)
  16   - ident0 -> ident_0 ?
  17   - re-factoring della gestione degli attributi nell'ast: togliere
  18     Ast.AttributedTerm e aggiungere un record attr ad ogni costruttore dell'ast
  19 * bug di rimozione della notazione: pare che camlp4 distrugga un livello
  20   grammaticale quando toglie l'ultima produzione ivi definita
  21
  22 DONE
  23
  24 * gestione priorita'/associativita'
  25   - triplicare livelli nella grammatica?
  26 * implementare trasformazione 1 => 0
  27 * implementare istanziazione dei magic a livello 1 (2 => 1)
  28 * implementare compilazione dei default in 2 => 1
  29 * annotazioni nel livello 1 generato
  30 * problema con pattern overlapping per i magic al livello 2
  31 * gestione greedyness dei magic in 2 => 1
  32 * href multipli
  33 * integrazione
  34   - apportare all'ast le modifiche di CicAst (case, cast non come annotazione,
  35     tipi opzionali nel let rec e nelle definizioni)
  36 * integrazione
  37   - porting della disambiguazione al nuovo ast
  38   - refactoring: unico punto di accesso allo stato imperativo della notazione
  39   - gestire cast
  40   - salvare la notazione nei file .moo
  41   - portare le trasformazioni al nuovo ast
  42   - gestire i problemi di ridefinizione della stessa notazione?
  43   - togliere file non piu' utilizzati (caterva di cvs remove)
  44 * gtkmathview
  45   - aggiungere metodo per caricare un file di configurazione dell'utente (idem
  46     nel binding)
  47   - algoritmo di layout delle scatole
  48