> You probably mean the case where x has already computed a result. Yes.
> > When developing Uq_engines, I was a bit unsure how to treat this case. > In the initial version, I just disallowed this case: There was simply no > way to run into it. If you wanted to create a thread that just yields a In Async and Lwt I think it quite possible to have this case even if x was not just giving you a constant value. For example, x could be read_char (), and if you have buffered input (like Async does, and probably Lwt) it is quite possible that read_char will be determined immediately (since there is no need to issue a system call) -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
