From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id RAA23721 for caml-redistribution; Wed, 29 Nov 1995 17:47:41 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id RAA22875; Wed, 29 Nov 1995 17:13:48 +0100 Received: from animal.cs.chalmers.se (root@animal.cs.chalmers.se [129.16.225.30]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id RAA14027; Wed, 29 Nov 1995 17:13:47 +0100 (MET) Received: from lips.cs.chalmers.se (raffalli@lips-be0.cs.chalmers.se [129.16.233.25]) by animal.cs.chalmers.se (8.7.2/8.7.1) with ESMTP id RAA22326; Wed, 29 Nov 1995 17:13:43 +0100 (MET) Received: (from raffalli@localhost) by lips.cs.chalmers.se (8.7.1/8.7.1) id RAA24495; Wed, 29 Nov 1995 17:14:03 +0100 (MET) Date: Wed, 29 Nov 1995 17:14:03 +0100 (MET) Message-Id: <199511291614.RAA24495@lips.cs.chalmers.se> From: Christophe Raffalli To: caml-light@pauillac.inria.fr CC: caml-list@pauillac.inria.fr, comp-lang-ml@cs.cmu.edu In-reply-to: <199511291445.PAA21192@pauillac.inria.fr> (message from Xavier Leroy on Wed, 29 Nov 1995 15:45:33 +0100 (MET)) Subject: Re: Caml Special Light 1.11 MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Sender: weis > * Streams and stream parsers a la Caml Light are back (thanks to > Daniel de Rauglaudre). Yes, many thanks to him ! > * User-level concurrent threads, with low-level shared memory primitives > (locks and conditions) as well as channel-based communication primitives > with first-class synchronous events, in the style of Reppy's CML. Is it possible to kill a thread as an alternative to Control-C (when we want to do something that might loop or be too long one put it in a thread so that it can be interrupted by the user ? ---- Christophe Raffalli Dept. of Computer Sciences Chalmers University of Technology URL: http://www.logique.jussieu.fr/www.raffalli