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