moved some old stuff to the history

[helm.git] / helm / gTopLevel / typecheck_uri.ml

diff --git a/helm/gTopLevel/typecheck_uri.ml b/helm/gTopLevel/typecheck_uri.ml
deleted file mode 100644 (file)
index e6df5cd..0000000
--- a/helm/gTopLevel/typecheck_uri.ml
+++ /dev/null
@@ -1,23 +0,0 @@
-
-
-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 -> ()
-