Re: [Libguestfs] [PATCH 02/27] daemon: Allow parts of the daemon and APIs to be written in OCaml.

On Thu, Jul 20, 2017 at 01:44:14PM +0200, Pino Toscano wrote: > An interface like: > val f : t -> ('a -> 'b) -> 'a -> 'b > val fn : t -> (unit -> unit) -> 'a I'm still not very clear. In any case you can't [without using unsafe OCaml features] have an interface that returns 'a without some parameter also being polymorphic.