5 let _ = Helm_registry.load_from "gTopLevel.conf.xml"
9 Printf.printf "%s ... " uri;
10 let uri = UriManager.uri_of_string uri in
12 ignore (CicTypeChecker.typecheck uri);
14 with _ -> print_endline "failure");
20 test_uri (input_line stdin)
22 with End_of_file -> ()