]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/extractor/README
ocaml 3.09 transition
[helm.git] / helm / metadata / extractor / README
1 Note:
2  - LetIn e Variabili con corpo: da pensarci (capita solamente una 30ina
3    di volte... per ora!) Per il momento ci mettiamo una pezza.
4  - Variabili: non consideriamo l'occorrenza di una variabile come una
5     vera occorrenza (perche' puo' essere istanziata). In ogni caso c'e'
6     l'attributo @params che fornisce questa informazione.
7  - META e IMPLICIT non trattati
8  - CAST non considerati ==> di default vado in ricorsione sia sul tipo
9    che sul corpo