open Printf

let _ = Helm_registry.load_from "gTopLevel.conf.xml"

let test_uri uri =
  (try
    Printf.printf "%s ... " uri;
    let uri = UriManager.uri_of_string uri in
    flush stdout;
    ignore (CicTypeChecker.typecheck uri);
    print_endline "ok";
  with _ -> print_endline "failure");
  flush stdout

let _ =
  try
    while true do
      test_uri (input_line stdin)
    done
  with End_of_file -> ()