Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Caml Special Light 1.11
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1995-11-29 (14:59)
From: Xavier Leroy <xleroy@p...>
Subject: Caml Special Light 1.11

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

General info about Caml Special Light can be found on the Web, at

- Xavier Leroy