projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6230dde) | patch
tools/ocaml: make type of Xsraw.sync more precise
authorChristian Lindig <christian.lindig@citrix.com>
Tue, 30 Oct 2018 10:19:06 +0000 (10:19 +0000)
committerIan Jackson <ian.jackson@eu.citrix.com>
Thu, 1 Nov 2018 11:24:03 +0000 (11:24 +0000)
commit87e89bd112e16503f37d219a525a5b5d470e08f9
treee5d6b789cfa6616340b2c0f2fa33e7cc823f015ctree | snapshot
parent6230dde2ed4fa75a35d09c2b0e260d7566b679cecommit | diff
tools/ocaml: make type of Xsraw.sync more precise

The type of Xsraw.sync is made more precise:

from val sync : (Xenbus.Xb.t -> 'a) -> con -> string
to   val sync : (Xenbus.Xb.t -> unit) -> con -> string

The first argument is enforced to return unit rather than a value that
is not used anyway.

[ No functional change. -iwj ]

Signed-off-by: Christian Lindig <christian.lindig@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
tools/ocaml/libs/xs/xsraw.mli diff | blob | history
tools/ocaml/xenstored/process.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.