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

[Ian Jackson <ian.jackson@xxxxxxxxxx>]

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).

Ian.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel