(* Utility functions to map a markup attribute to something useful *)
+let uri = ref (UriManager.uri_of_string "cic:/none.con")
+
+let set_uri u =
+ uri := u
+
let cic_attr_of_xml_attr =
function
Pxp_types.Value s -> Cic.Name s
function
Pxp_types.Value "Prop" -> Cic.Prop
| Pxp_types.Value "Set" -> Cic.Set
- | Pxp_types.Value "Type" -> Cic.Type
+ | Pxp_types.Value "Type" ->
+ Cic.Type (CicUniv.fresh ~uri:!uri ()) (* ORRIBLE HACK *)
| _ -> raise (IllFormedXml 2)
let int_of_xml_attr =
assert (exp_named_subst = []) ;
let n = self#node in
let id = string_of_xml_attr (n#attribute "id") in
- Cic.AImplicit id
+ Cic.AImplicit (id, None)
end
;;