From ea153d70c95d9cf6b54d768232d9c596fd47d581 Mon Sep 17 00:00:00 2001 From: David Scott Date: Wed, 30 Mar 2011 18:54:28 +0100 Subject: [PATCH] tools: ocaml: rename the domain_build_state types and functions The aims are: 1. make the records instantiable if they have field names in common; and 2. to make it easier to derive the names programatically from the IDL Signed-off-by: David Scott Signed-off-by: Ian Campbell Acked-by: Ian Jackson Committed-by: Ian Jackson [ijc: s/Device_build_state/Domain_build_state/g] --- tools/ocaml/libs/xl/xl.ml | 18 ++++++++++-------- tools/ocaml/libs/xl/xl.mli | 18 ++++++++++-------- 2 files changed, 20 insertions(+), 16 deletions(-) diff --git a/tools/ocaml/libs/xl/xl.ml b/tools/ocaml/libs/xl/xl.ml index 108ec69a39..a2a39e0144 100644 --- a/tools/ocaml/libs/xl/xl.ml +++ b/tools/ocaml/libs/xl/xl.ml @@ -70,13 +70,15 @@ module Domain_build_info = struct } end -type build_state = -{ - store_port : int; - store_mfn : int64; - console_port : int; - console_mfn : int64; -} +module Domain_build_state = struct + type t = + { + store_port : int; + store_mfn : int64; + console_port : int; + console_mfn : int64; + } +end type domid = int @@ -137,7 +139,7 @@ module Device_console = struct consoletype : console_type; } - external add : t -> build_state -> domid -> unit = "stub_xl_device_console_add" + external add : t -> Domain_build_state.t -> domid -> unit = "stub_xl_device_console_add" end module Device_vkb = struct diff --git a/tools/ocaml/libs/xl/xl.mli b/tools/ocaml/libs/xl/xl.mli index d131c0170a..d023289404 100644 --- a/tools/ocaml/libs/xl/xl.mli +++ b/tools/ocaml/libs/xl/xl.mli @@ -70,13 +70,15 @@ module Domain_build_info : sig } end -type build_state = -{ - store_port : int; - store_mfn : int64; - console_port : int; - console_mfn : int64; -} +module Domain_build_state : sig + type t = + { + store_port : int; + store_mfn : int64; + console_port : int; + console_mfn : int64; + } +end type domid = int @@ -137,7 +139,7 @@ module Device_console : sig consoletype : console_type; } - external add : t -> build_state -> domid -> unit = "stub_xl_device_console_add" + external add : t -> Domain_build_state.t -> domid -> unit = "stub_xl_device_console_add" end module Device_vkb : sig -- 2.39.5