exit (-1)
end
) usage_msg ;
- while true do
- begin
- try
- CicTypeChecker.typecheck (UriManager.uri_of_string (read_line ()))
- with
- e ->
- print_newline() ;
- flush stdout ;
- raise e
- end ;
- print_endline "END"
- done
+ try
+ while true do
+ begin
+ try
+ CicTypeChecker.typecheck (UriManager.uri_of_string (read_line ()))
+ with
+ End_of_file -> raise End_of_file
+ | e ->
+ print_newline() ;
+ flush stdout ;
+ raise e
+ end ;
+ print_endline "END"
+ done
+ with
+ End_of_file -> ()
;;
CicCooking.init() ;
+Logger.log_callback :=
+ (Logger.log_to_html
+ ~print_and_flush:(function s -> print_string s ; flush stdout)) ;
main ();;