21 Jul
2017
21 Jul
'17
12:35 p.m.
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