]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/getter/test.ml
transcript: now we can generate procedural output
[helm.git] / helm / software / components / getter / test.ml
1 (* $Id$ *)
2
3 let _ = Helm_registry.load_from "foo.conf.xml"
4 let fname = Http_getter.getxml ~format:`Normal ~patch_dtd:true Sys.argv.(1) in
5 let ic = open_in fname in
6 (try
7   while true do
8     let line = input_line ic in
9     print_endline line
10   done
11 with End_of_file -> ())
12