2 Helm_registry.load_from "conf.xml";
3 let u = UriManager.uri_of_string "cic:/matita/tests/f.con" in
4 let o, _ = CicEnvironment.get_obj CicUniv.oblivion_ugraph u in
5 let l = OCic2NCic.convert_obj u o in
8 (List.map NCic2OCic.convert_nobj l) in
11 prerr_endline ("------- " ^ UriManager.string_of_uri u);
12 prerr_endline (CicPp.ppobj o);
13 try CicTypeChecker.typecheck_obj u o
15 CicTypeChecker.TypeCheckerFailure s
16 | CicTypeChecker.AssertFailure s ->
17 prerr_endline (Lazy.force s)
18 | CicEnvironment.Object_not_found uri ->
20 ("CicEnvironment: Object not found " ^ UriManager.string_of_uri uri))