Mathias Kende a écrit :
[...] I also want to write :
let rec h = t (f h)
(with t : ('a - 'b) - 'a - 'b) but here, I can't afford to use
let rec h x = t (f h) x
because t as some side effects and I need it to be evaluated only once.
Then what about:
let h =
let tmp = ref (fun x
On Fri, Oct 23, 2009 at 6:14 PM, Marc de Falco marc.defa...@gmail.com wrote:
I don't know the exact rule, but I guess that on the right-hand side of a
let rec defining a ground value named foo you can only write a term which
evaluates to a finite ground term on the currently defined variables +
Mathias Kende a écrit :
let rec g = f g
What about:
let rec g x = f g x
--
Stéphane
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's