* No ThreadUnix.select in systhreads
@ 1999-03-09 14:11 Frank A. Christoph
1999-03-10 9:19 ` Xavier Leroy
0 siblings, 1 reply; 2+ messages in thread
From: Frank A. Christoph @ 1999-03-09 14:11 UTC (permalink / raw)
To: caml-list
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
.
--FC
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: No ThreadUnix.select in systhreads
1999-03-09 14:11 No ThreadUnix.select in systhreads Frank A. Christoph
@ 1999-03-10 9:19 ` Xavier Leroy
0 siblings, 0 replies; 2+ messages in thread
From: Xavier Leroy @ 1999-03-10 9:19 UTC (permalink / raw)
To: Frank A. Christoph, caml-list
> 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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1999-03-10 9:25 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-03-09 14:11 No ThreadUnix.select in systhreads Frank A. Christoph
1999-03-10 9:19 ` Xavier Leroy
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).