From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA25871 for caml-redistribution; Mon, 12 Apr 1999 08:42:13 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA08651 for ; Fri, 9 Apr 1999 22:01:41 +0200 (MET DST) Received: from zarya.maya.com (zarya.maya.com [192.70.254.128]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id WAA28420 for ; Fri, 9 Apr 1999 22:01:34 +0200 (MET DST) Received: (from prevost@localhost) by zarya.maya.com (8.8.7/8.8.7) id QAA29933; Fri, 9 Apr 1999 16:04:30 -0400 Sender: weis To: caml-list@inria.fr Subject: systhreads/threadUnix.ml{,i} missing select MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii From: John Prevost Date: 09 Apr 1999 16:04:29 -0400 Message-ID: User-Agent: Gnus/5.07008 (Pterodactyl Gnus v0.80) XEmacs/21.0(beta67) (20 minutes to Nikko) The interface and implementation of ThreadUnix in the systhreads package do not contain select, though the bytecode level threads do. The fix is pretty trivial, so I just thought I'd point it out. John.