> * 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