Change uses of "with rpc" camlp4 syntax to ppx

By running
      sed -i 's/with rpc/\[@@deriving rpc\]/g' **/*.ml

This commit corresponds to 773dbc9 on master.

Signed-off-by: Gabor Igloi <[email protected]>

Author: gaborigloi

ocaml/doc/jsapi.ml

@@ -16,7 +16,7 @@ open Datamodel_types
 
 type change_t = lifecycle_change * string * string
 and changes_t = change_t list
-with rpc
+[@@deriving rpc]
 
 let _ =
   let api = (Datamodel.all_api) in

ocaml/idl/datamodel_types.ml

@@ -98,7 +98,7 @@ type ty =
   | Map of ty * ty
   | Ref of string
   | Record of string
-with rpc
+[@@deriving rpc]
 
 type api_value =
     VString of string
@@ -111,7 +111,7 @@ type api_value =
   | VSet of api_value list
   | VRef of string
   | VCustom of string * api_value
-with rpc
+[@@deriving rpc]
 
 (** Each database field has a qualifier associated with it:
   * "Static" means the initial value is specified as a parameter in the object constructor.
@@ -122,14 +122,14 @@ type qualifier =
   | RW        (** Implicitly static: set in constructor and updatable through API *)
   | StaticRO  (** Specified in constructor; no autogenerated setter in XenAPI. *)
   | DynamicRO (** Initial value is a default; no autogenerated setter in XenAPI. *)
-with rpc
+[@@deriving rpc]
 
 (** Release keeps track of which versions of opensource/internal products fields and messages are included in *)
 type release = {
   opensource: string list;
   internal: string list;
   internal_deprecated_since: string option; (* first release we said it was deprecated *)
-} with rpc
+} [@@deriving rpc]
 
 type lifecycle_change =
   | Prototyped
@@ -140,7 +140,7 @@ type lifecycle_change =
   | Removed
 
 and lifecycle_transition = lifecycle_change * string * string
-with rpc
+[@@deriving rpc]
 
 (** Messages are tagged with one of these indicating whether the message was
     specified explicitly in the datamodel, or is one of the automatically
@@ -219,7 +219,7 @@ and error = {
 and mess = {
   mess_name: string;
   mess_doc: string;
-} with rpc
+} [@@deriving rpc]
 
 let default_message = {
   msg_name = "";
@@ -258,12 +258,12 @@ let default_message = {
 type content =
   | Field of field                     (** An individual field *)
   | Namespace of string * content list (** A nice namespace for a group of fields *)
-with rpc
+[@@deriving rpc]
 
 (* Note: there used be more than 2 persist_options -- that's why it isn't a bool.
    I figured even though there's only 2 now I may as well leave it as an enumeration type.. *)
 
-type persist_option = PersistNothing | PersistEverything with rpc
+type persist_option = PersistNothing | PersistEverything [@@deriving rpc]
 (* PersistEverything - all creates/writes persisted;
    PersistNothing - no creates/writes to this table persisted *)
 
@@ -285,7 +285,7 @@ type obj = {
   obj_release: release;
   in_database: bool; (* If the object is in the database *)
   obj_doc_tags: doc_tag list;
-} with rpc
+} [@@deriving rpc]
 
 (* val rpc_of_obj : obj -> Rpc.t *)
 (* let s = Jsonrpc.to_string (rpc_of_obj o) *)

ocaml/idl/ocaml_backend/event_types.ml

@@ -25,7 +25,7 @@ type event = {
   op: op;
   reference: string;
   snapshot: Rpc.t option;
-} with rpc
+} [@@deriving rpc]
 
 let ev_struct_remap = [
   "id","id";
@@ -48,15 +48,15 @@ let rpc_of_event ev =
 let event_of_rpc rpc =
   event_of_rpc (remap (List.map (fun (k,v) -> (v,k)) ev_struct_remap) rpc)
 
-type events = event list with rpc
+type events = event list [@@deriving rpc]
 
-type token = string with rpc
+type token = string [@@deriving rpc]
 
 type event_from = {
   events: event list;
   valid_ref_counts: (string * int32) list;
   token: token;
-} with rpc
+} [@@deriving rpc]
 
 let rec rpc_of_event_from e =
   Rpc.Dict

ocaml/idl/ocaml_backend/gen_api.ml

@@ -57,12 +57,12 @@ let gen_non_record_type highapi tys =
     | DT.Map (_, DT.Record _) :: t
     | DT.Set (DT.Record _)    :: t -> aux accu t
     | DT.Set (DT.Enum (n,_) as e) as ty :: t ->
-      aux (sprintf "type %s = %s list with rpc" (OU.alias_of_ty ty) (OU.alias_of_ty e) :: accu) t
+      aux (sprintf "type %s = %s list [@@deriving rpc]" (OU.alias_of_ty ty) (OU.alias_of_ty e) :: accu) t
     | ty                      :: t ->
       let alias = OU.alias_of_ty ty in
       if List.mem_assoc alias overrides
       then aux ((sprintf "type %s = %s\n%s\n" alias (OU.ocaml_of_ty ty) (List.assoc alias overrides))::accu) t
-      else aux (sprintf "type %s = %s with rpc" (OU.alias_of_ty ty) (OU.ocaml_of_ty ty) :: accu) t in
+      else aux (sprintf "type %s = %s [@@deriving rpc]" (OU.alias_of_ty ty) (OU.ocaml_of_ty ty) :: accu) t in
   aux [] tys
 
 (** Generate a list of modules for each record kind *)
@@ -93,8 +93,8 @@ let gen_record_type ~with_module highapi tys =
         else [
           sprintf "let rpc_of_%s_t x = Rpc.Dict [ %s ]" obj_name (map_fields make_of_field);
           sprintf "let %s_t_of_rpc x = on_dict (fun x -> { %s }) x" obj_name (map_fields make_to_field);
-          sprintf "type ref_%s_to_%s_t_map = (ref_%s * %s_t) list with rpc" record obj_name record obj_name;
-          sprintf "type %s_t_set = %s_t list with rpc" obj_name obj_name;
+          sprintf "type ref_%s_to_%s_t_map = (ref_%s * %s_t) list [@@deriving rpc]" record obj_name record obj_name;
+          sprintf "type %s_t_set = %s_t list [@@deriving rpc]" obj_name obj_name;
           ""
         ] in
       aux (type_t :: others @ accu) t
@@ -131,14 +131,14 @@ let gen_client_types highapi =
   List.iter (List.iter print)
     (List.between [""] [
         [
-          "type failure = (string list) with rpc";
+          "type failure = (string list) [@@deriving rpc]";
           "let response_of_failure code params =";
           "  Rpc.failure (rpc_of_failure (code::params))";
           "let response_of_fault code =";
           "  Rpc.failure (rpc_of_failure ([\"Fault\"; code]))";
         ]; [
           "include Rpc";
-          "type string_list = string list with rpc";
+          "type string_list = string list [@@deriving rpc]";
         ]; [
           "module Ref = struct";
           "  include Ref";

ocaml/xapi/cancel_tests.ml

@@ -69,7 +69,7 @@ type operation =
   | VBD_unplug
   | VIF_plug
   | VIF_unplug
-with rpc
+[@@deriving rpc]
 
 let operations = [
   VBD_plug

ocaml/xapi/config_file_sync.ml

@@ -20,7 +20,7 @@ open Stdext.Xstringext
 
 let superuser = "root"
 
-type config = { password : string } with rpc
+type config = { password : string } [@@deriving rpc]
 
 (* Increment this if config type changes *)
 let config_sync_version = 2

ocaml/xapi/features.ml

@@ -54,7 +54,7 @@ type feature =
   | Live_patching
   | Live_set_vcpus
   | PVS_proxy
-with rpc
+[@@deriving rpc]
 
 type orientation = Positive | Negative
 

ocaml/xapi/sparse_dd_wrapper.ml

@@ -37,7 +37,7 @@ type t = {
 
 (* Store sparse_dd pids on disk so we can kill them after a xapi restart *)
 module State = struct
-  type pids = int list with rpc
+  type pids = int list [@@deriving rpc]
 
   let filename = ref "/var/run/nonpersistent/xapi/sparse_dd_pids.json"
 

ocaml/xapi/storage_impl.ml

@@ -98,7 +98,7 @@ let info  (fmt: ('a, unit, string, unit) format4) = if !print_debug then log_to_
 let host_state_path = ref "/var/run/nonpersistent/xapi/storage.db"
 
 module Dp = struct
-  type t = string with rpc
+  type t = string [@@deriving rpc]
   let make username = username
 end
 
@@ -112,7 +112,7 @@ module Vdi = struct
     attach_info :  attach_info option;    (** Some path when attached; None otherwise *)
     dps: (Dp.t * Vdi_automaton.state) list; (** state of the VDI from each dp's PoV *)
     leaked: Dp.t list;                        (** "leaked" dps *)
-  } with rpc
+  } [@@deriving rpc]
   let empty () = {
     attach_info = None;
     dps = [];
@@ -159,11 +159,11 @@ end
 
 module Sr = struct
   (** Represents the state of an SR *)
-  type vdis = (string, Vdi.t) Hashtbl.t with rpc
+  type vdis = (string, Vdi.t) Hashtbl.t [@@deriving rpc]
 
   type t = {
     vdis: vdis; (** All tracked VDIs *)
-  } with rpc
+  } [@@deriving rpc]
 
   let empty () = {
     vdis = Hashtbl.create 10;
@@ -184,7 +184,7 @@ module Host = struct
   (** Represents the state of a host *)
   type t = {
     srs: (string, Sr.t) Hashtbl.t;
-  } with rpc
+  } [@@deriving rpc]
 
   let empty () = {
     srs = Hashtbl.create 10
@@ -207,9 +207,9 @@ module Errors = struct
     sr: string;
     vdi: string;
     error: string
-  } with rpc
+  } [@@deriving rpc]
 
-  type t = error list with rpc
+  type t = error list [@@deriving rpc]
 
   let max = 100
   let errors = ref []
@@ -234,7 +234,7 @@ module Everything = struct
   type t = {
     host: Host.t;
     errors: Errors.t;
-  } with rpc
+  } [@@deriving rpc]
 
   let make () = { host = !Host.host; errors = !Errors.errors }
 

ocaml/xapi/storage_migrate.ml

@@ -41,7 +41,7 @@ module State = struct
       leaf_dp : dp;
       parent_vdi : vdi;
       remote_vdi : vdi;
-    } with rpc
+    } [@@deriving rpc]
   end
 
   module Send_state = struct
@@ -55,7 +55,7 @@ module State = struct
       tapdev : Tapctl.tapdev;
       mutable failed : bool;
       mutable watchdog : Updates.Scheduler.t option;
-    } with rpc
+    } [@@deriving rpc]
   end
 
   module Copy_state = struct
@@ -66,15 +66,15 @@ module State = struct
       dest_sr: sr;
       copy_vdi: vdi;
       remote_url : string;
-    } with rpc
+    } [@@deriving rpc]
   end
 
   let loaded = ref false
   let mutex = Mutex.create ()
 
-  type send_table = (string, Send_state.t) Hashtbl.t with rpc
-  type recv_table = (string, Receive_state.t) Hashtbl.t with rpc
-  type copy_table = (string, Copy_state.t) Hashtbl.t with rpc
+  type send_table = (string, Send_state.t) Hashtbl.t [@@deriving rpc]
+  type recv_table = (string, Receive_state.t) Hashtbl.t [@@deriving rpc]
+  type copy_table = (string, Copy_state.t) Hashtbl.t [@@deriving rpc]
 
   type osend
   type orecv