exception Bad_response_from_server;; let server_address = (gethostbyname "localhost").h_addr_list.(0);; let server_port = 8000;; let remote_query q = match remote_query server_address server_port q with Exception e -> raise e | r -> r;; let get_day j = match remote_query (Get_day j) with Day d -> d | _ -> raise Bad_response_from_server;; let get_agenda () = match remote_query Get_agenda with Agenda a -> a | _ -> raise Bad_response_from_server;; match remote_query Get_agenda with Agenda a -> a | _ -> raise Bad_response_from_server;; let add_event name day start finish info = match remote_query (Add_event (name,day,start,finish,info)) with Unit -> () | _ -> raise Bad_response_from_server;; let delete_event name day = match remote_query (Delete_event (name, day)) with Unit -> () | _ -> raise Bad_response_from_server;; |