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.
Rich.
--
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-p2v converts physical machines to virtual machines. Boot with a
live CD or over the network (PXE) and turn machines into KVM guests.
http://libguestfs.org/virt-v2v
_______________________________________________
Libguestfs mailing list
[email protected]
https://www.redhat.com/mailman/listinfo/libguestfs
