]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/pass1.ml
update in basic_2
[helm.git] / helm / www / lambdadelta / bin / xhtbl / pass1.ml
index 1c53e7d6fba432d98e0a63a13e2b2df1909d747b..bedd9619fffe702d2368a5328cb8e15d4261a6cc 100644 (file)
@@ -6,10 +6,12 @@ module F = Fold
 type status = {
    ts: T.size; (* current dimensions *)
    tc: T.css;  (* current class *)
+   tu: T.uri;  (* current uri *)
+   tx: T.ext;  (* current extension *)
 }
 
 let empty = {
-   ts = T.no_size; tc = [];
+   ts = T.no_size; tc = []; tu = ""; tx = ""
 }
 
 let init b ts =
@@ -38,8 +40,8 @@ let deinit ts = {ts with
 (****************************************************************************)
 
 let open_table st t =
-   t.T.tc <- t.T.tc @ st.tc;
-   {st with tc = t.T.tc}
+   t.T.tc <- t.T.tc @ st.tc; t.T.tu <- st.tu ^ t.T.tu; t.T.tx <- st.tx ^ t.T.tx; 
+   {st with tc = t.T.tc; tu = t.T.tu; tx = t.T.tx}
 
 let close_table st t =
    t.T.ts <- st.ts; st