]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/common/hbugs_messages.mli
debian release 0.3.99-1
[helm.git] / helm / hbugs / common / hbugs_messages.mli
index 1ab0e94004ad3adc6757bb5c97fcfb62d3ef397d..d035dcff11899651950196627b569438e545e9b8 100644 (file)
 
 open Hbugs_types;;
 
+exception Parse_error of string * string  (* parsing subject, reason *)
+
 val msg_of_string: string -> message
 val string_of_msg: message -> string
 
 val submit_req: url:string -> message -> message
+val respond_msg: message -> out_channel -> unit
+  (* exception_name, exception_value, output_channel *)
+val respond_exc: string -> string -> out_channel -> unit