> If it is reasonable for you to use version 3.01, then I think your problem
> is solved.  Here is an excerpt from the manual for the ThreadUnix module:
> 
>   This module is deprecated: its functionality has been merged back into
>   the Unix module. Threaded programs can now call the functions from
>   module Unix directly, and still get the correct behavior (block the
>   calling thread, if required, but do not block all threads in the
>   process). 

I'm afraid the documentation is ahead of the source :-(  
ThreadUnix will be deprecated as described above, however this
couldn't be completed in time for the 3.01 release.  I probably forgot
to "de-update" the documentation.

But, yes, the solution to Nicolas' need is to get rid of ThreadUnix
entirely.

- Xavier Leroy
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr