helm/ocaml/cic_notation/TODO

   1
   2 TODO
   3
   4 * implementare trasformazione 1 => 0
   5 * gestione priorita'/associativita'
   6   - annotazioni nel livello 1 generato?
   7   - triplicare livelli nella grammatica?
   8 * implementare type-checker per le trasformazioni
   9 * prestazioni trasformazioni 3 => 2 e 2 => 1
  10 * problema con pattern overlapping per i magic al livello 2
  11 * magic per gestione degli array?
  12 * gestione speciale dei numeri
  13 * gestione greedyness dei magic in 2 => 1
  14 * sintassi concreta / prelexing
  15   - studiare/implementare sintassi con ... per i magic fold
  16 * integrazione
  17   - porting della disambiguazione al nuovo ast
  18   - apportare all'ast le modifiche di CicAst (case, cast non come annotazione,
  19     tipi opzionali nel let rec e nelle definizioni)
  20 * href multipli
  21
  22 DONE
  23
  24 * implementare istanziazione dei magic a livello 1 (2 => 1)
  25 * implementare compilazione dei default in 2 => 1
  26   -> Tue, 07 Jun 2005 17:17:36 +0200 zack
  27