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 PAA21487 for caml-redistribution; Wed, 29 Nov 1995 15:59:05 +0100 Received: (from xleroy@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id PAA21192; Wed, 29 Nov 1995 15:45:34 +0100 From: Xavier Leroy Message-Id: <199511291445.PAA21192@pauillac.inria.fr> Subject: Caml Special Light 1.11 To: caml-list@pauillac.inria.fr, comp-lang-ml@cs.cmu.edu Date: Wed, 29 Nov 1995 15:45:33 +0100 (MET) Reply-To: caml-light@pauillac.inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis 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