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: Frank A. Christoph <christo@n...>
Subject: 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

.

--FC