[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Xavier Leroy <Xavier.Leroy@i...> |
| Subject: | Re: No ThreadUnix.select in systhreads |
> 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