let send_string j =

raise (DisplayOutput.Completion j)

let send_json json =

send_string (string_of_json json)

class request_handler com report_times (id,name,params) = object(self)

method send_error jl =

send_json (JsonRpc.error id 0 ~data:(Some (JArray jl)) "Compiler error")

end