Date: Wed, 29 Nov 1995 17:14:03 +0100 (MET)
Message-Id: <199511291614.RAA24495@lips.cs.chalmers.se>
From: Christophe Raffalli <raffalli@cs.chalmers.se>
To: caml-light@pauillac.inria.fr
Subject: Re: Caml Special Light 1.11
> * 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