Alessandro Baretta wrote:

> If you want synchronous killing you're in a mess, but if I
> can live with an asynchronous model, here's how you might go
> about with it.

I can live with asynchronous killing :)

> This requires that Foo.f work cooperatively by periodically
> checking Foo.run to verify that it still has time. When,

That's what I thought. Unfortunately, not all functions can
be cooperative, and I wanted to stop a gethostbyname and
open_connection (+reads and writes) if it took too long.
I know how to do this for reads and writes, but not the others.
And I could live with the bytecode version, but I wouldn't want
to maintain 2 ocaml distributions ...

Thanks for your time,
nadji


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners