X.xml_nempty "rdf:RDF"
["xml:lang","en" ;
"xmlns:rdf","http://www.w3.org/1999/02/22-rdf-syntax-ns#";
- "xmlns:h","http:/www.cs.unibo.it/helm/schemas/schema-h.rdf#"]
+ "xmlns:h","http://www.cs.unibo.it/helm/schemas/schema-h.rdf#"]
(try
Stream.empty content ; (* raise Stream.failure if not empty *)
let get_obj uri =
let cicfilename = Getter.getxml uri in
- let res =
- match CicParser.term_of_xml cicfilename uri false with
- (annobj, None) ->
- Deannotate.deannotate_obj annobj
- | _ -> assert false
- in
+ let res = CicParser.obj_of_xml cicfilename uri in
Unix.unlink cicfilename ;
res
;;
| C.Appl _ -> assert false
| C.Const (uri,_) ->
UriHash.add_uri (U.string_of_uri uri) kind
- | C.Abst _ -> assert false
| C.MutInd (uri,_,typeno) ->
H.add_uri
(U.string_of_uri uri ^ "#xpointer(1/" ^
List.iter process_body_aux l
| C.Const (uri,_) ->
UriHash.add_uri (U.string_of_uri uri) H.InBody
- | C.Abst _ -> assert false
| C.MutInd (uri,_,typeno) ->
H.add_uri
(U.string_of_uri uri ^ "#xpointer(1/" ^