helm/ocaml/cic_notation/TODO

   1
   2 TODO
   3
   4 * gestione priorita'/associativita'
   5   - triplicare livelli nella grammatica?
   6 * implementare type-checker per le trasformazioni
   7 * prestazioni trasformazioni 3 => 2 e 2 => 1
   8 * magic per gestione degli array?
   9 * gestione speciale dei numeri
  10 * sintassi concreta
  11   - studiare/implementare sintassi con ... per i magic fold
  12 * integrazione
  13   - portare le trasformazioni al nuovo ast
  14   - salvare la notazione nei file .moo
  15   - togliere file non piu' utilizzati (caterva di cvs remove)
  16
  17 DONE
  18
  19 * implementare trasformazione 1 => 0
  20 * implementare istanziazione dei magic a livello 1 (2 => 1)
  21 * implementare compilazione dei default in 2 => 1
  22 * annotazioni nel livello 1 generato
  23 * problema con pattern overlapping per i magic al livello 2
  24 * gestione greedyness dei magic in 2 => 1
  25 * href multipli
  26 * integrazione
  27   - apportare all'ast le modifiche di CicAst (case, cast non come annotazione,
  28     tipi opzionali nel let rec e nelle definizioni)
  29 * integrazione
  30   - porting della disambiguazione al nuovo ast
  31   - refactoring: unico punto di accesso allo stato imperativo della notazione
  32   - gestire cast
  33