helm/gTopLevel/typecheck_uri.ml

   1
   2
   3 open Printf
   4
   5 let _ = Helm_registry.load_from "gTopLevel.conf.xml"
   6
   7 let test_uri uri =
   8   (try
   9     Printf.printf "%s ... " uri;
  10     let uri = UriManager.uri_of_string uri in
  11     flush stdout;
  12     ignore (CicTypeChecker.typecheck uri);
  13     print_endline "ok";
  14   with _ -> print_endline "failure");
  15   flush stdout
  16
  17 let _ =
  18   try
  19     while true do
  20       test_uri (input_line stdin)
  21     done
  22   with End_of_file -> ()
  23