Re: No ThreadUnix.select in systhreads

From: Xavier Leroy (Xavier.Leroy@inria.fr)
Date: Wed Mar 10 1999 - 10:19:49 MET


Date: Wed, 10 Mar 1999 10:19:49 +0100
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: "Frank A. Christoph" <christo@nextsolution.co.jp>, caml-list@inria.fr
Subject: Re: No ThreadUnix.select in systhreads
In-Reply-To: <007601be6a36$b1ab89e0$6f50ebca@newton>; from Frank A. Christoph on Tue, Mar 09, 1999 at 11:11:12PM +0900

> The threadUnix.mli in otherlibs/systhreads lacks the function
> "select" which appears in otherlibs/threads/threadUnix.mli. Is this
> intentional? I fixed this by just adding
> let select = Thread.select

It's an oversight. Your fix is correct.

- Xavier Leroy



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:20 MET