]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/test.ml
test branch
[helm.git] / helm / ocaml / getter / test.ml
diff --git a/helm/ocaml/getter/test.ml b/helm/ocaml/getter/test.ml
new file mode 100644 (file)
index 0000000..6fa236f
--- /dev/null
@@ -0,0 +1,12 @@
+(* $Id$ *)
+
+let _ = Helm_registry.load_from "foo.conf.xml"
+let fname = Http_getter.getxml ~format:`Normal ~patch_dtd:true Sys.argv.(1) in
+let ic = open_in fname in
+(try
+  while true do
+    let line = input_line ic in
+    print_endline line
+  done
+with End_of_file -> ())
+