helm/software/components/ng_kernel/check.ml

   1 let _ =
   2   NCicTypeChecker.set_logger
   3     (function
   4     | `Start_type_checking s ->
   5        prerr_endline ("Start: " ^ NUri.string_of_uri s)
   6     | `Type_checking_completed s ->
   7        prerr_endline ("End: " ^ NUri.string_of_uri s));
   8   NCicPp.set_ppterm NCicPp.trivial_pp_term;
   9   Helm_registry.load_from "conf.xml";
  10   let alluris =
  11     try [Sys.argv.(1)]
  12     with Invalid_argument _ ->
  13       let r = ref [] in
  14       let ic = open_in "alluris.txt" in
  15       try while true do r := input_line ic :: !r; done; []
  16       with _ -> List.rev !r
  17   in
  18 (* uncomment to obtain the list of uris
  19   let uri_re = Str.regexp ".*\\(ind\\|var\\|con\\)$" in
  20   let uris = Http_getter.getalluris () in
  21   let alluris = List.filter (fun u -> Str.string_match uri_re u 0) uris in
  22   let oc = open_out "alluris.txt" in
  23   List.iter (fun s -> output_string oc (s^"\n")) alluris;
  24   close_out oc; exit 0;
  25 *)
  26   List.iter (fun uu ->
  27     prerr_endline ("************* INIZIO **************** " ^ uu);
  28     let u = UriManager.uri_of_string uu in
  29     let _,o = NCicEnvironment.get_obj (NUri.nuri_of_ouri u) in
  30     try
  31       NCicTypeChecker.typecheck_obj o;
  32       prerr_endline ("************* FINE ****************" ^ uu);
  33     with
  34     | NCicTypeChecker.AssertFailure s
  35     | NCicTypeChecker.TypeCheckerFailure s as e ->
  36        prerr_endline (Lazy.force s); raise e
  37     | CicEnvironment.Object_not_found s ->
  38         prerr_endline ("Obj not found: " ^ UriManager.string_of_uri s))
  39     alluris
  40 ;;