24 Jul
2017
24 Jul
'17
11:04 a.m.
On Friday, 21 July 2017 14:35:10 CEST Richard W.M. Jones wrote:
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.
Ah ok, I see -- a pity IMHO. Thanks, -- Pino Toscano