]> matita.cs.unibo.it Git - helm.git/blob - components/getter/test.ml
Level-1/LambdaDelta now compiles fine
[helm.git] / 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