[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] [PATCH 1/1] tools/ocaml: make type of Xsraw.sync more precise

Christian Lindig writes ("[Xen-devel] [PATCH 1/1] 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.

I'm not much of an ocaml programmer but this seems like it has no
overall functional change ?

I take it that ignore is the trivial function with type ('a -> unit).


Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.