Version française
Home     About     Download     Resources     Contact us    
Browse thread
No ThreadUnix.select in systhreads
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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