Caml Special Light 1.11

Caml Special Light 1.11

[Xavier Leroy]

Announcing release 1.11 of the Caml Special Light system.

Main changes since 1.10:

* Streams and stream parsers a la Caml Light are back (thanks to
Daniel de Rauglaudre).

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

* The native-code compiler has been ported to the HP PA-RISC processor
  running under NextStep (sorry, no HPUX, its linker keeps dumping
  core on me).

* References not captured in a function are optimized into variables.

* Fixed several bugs related to exceptions.

* Floats behave a little more as specified in the IEEE standard
  (believe it or not, but x < y is not the negation of x >= y).

* Lower memory consumption for the native-code compiler.

The complete sources as well as diffs from release 1.10
are available by anonymous FTP at the usual place
ftp://ftp.inria.fr/lang/caml-light.

General info about Caml Special Light can be found on the Web, at
http://pauillac.inria.fr/csl/.

- Xavier Leroy

Re: Caml Special Light 1.11

[Christophe Raffalli]

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