helm/ocaml/getter/test.ml

   1
   2 let _ = Helm_registry.load_from "foo.conf.xml"
   3 let fname =
   4   Http_getter.getxml ~format:`Normal ~patch_dtd:true
   5     "cic:/Coq/Init/Logic/False.ind"
   6 in
   7 let ic = open_in fname in
   8 (try
   9   while true do
  10     let line = input_line ic in
  11     print_endline line
  12   done
  13 with End_of_file -> ());
  14 Sys.remove fname
  15