]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/extractor/README
New framework for metadata generation.
[helm.git] / helm / metadata / extractor / README
diff --git a/helm/metadata/extractor/README b/helm/metadata/extractor/README
new file mode 100644 (file)
index 0000000..6c9fe0b
--- /dev/null
@@ -0,0 +1,9 @@
+Note:
+ - LetIn e Variabili con corpo: da pensarci (capita solamente una 30ina
+   di volte... per ora!) Per il momento ci mettiamo una pezza.
+ - Variabili: non consideriamo l'occorrenza di una variabile come una
+    vera occorrenza (perche' puo' essere istanziata). In ogni caso c'e'
+    l'attributo @params che fornisce questa informazione.
+ - META e IMPLICIT non trattati
+ - CAST non considerati ==> di default vado in ricorsione sia sul tipo
+   che sul corpo