From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 28 Jul 2005 13:21:03 +0000 (+0000)
Subject: added attributes re-factoring item
X-Git-Tag: V_0_7_2~19
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3224a2614b5734dd9c32e17049253a9427507c4f;p=helm.git

added attributes re-factoring item
---

diff --git a/helm/ocaml/cic_notation/TODO b/helm/ocaml/cic_notation/TODO
index ad5df1a6f..cb864bcb9 100644
--- a/helm/ocaml/cic_notation/TODO
+++ b/helm/ocaml/cic_notation/TODO
@@ -14,6 +14,8 @@ TODO
   - hyperlink su head dei case pattern e sul tipo induttivo su cui si fa match
   - hyperlink multipli con il magic fold (e.g. notazione per le liste)
   - ident0 -> ident_0 ?
+  - re-factoring della gestione degli attributi nell'ast: togliere
+    Ast.AttributedTerm e aggiungere un record attr ad ogni costruttore dell'ast
 * bug di rimozione della notazione: pare che camlp4 distrugga un livello
   grammaticale quando toglie l'ultima produzione ivi definita