Caml Special Light 1.13

Xavier Leroy (xleroy@pauillac.inria.fr)
Thu, 4 Jan 1996 15:27:31 +0100 (MET)

From: Xavier Leroy <xleroy@pauillac.inria.fr>
Message-Id: <199601041427.PAA00793@pauillac.inria.fr>
Subject: Caml Special Light 1.13
To: caml-list@pauillac.inria.fr, comp-lang-ml@cs.cmu.edu
Date: Thu, 4 Jan 1996 15:27:31 +0100 (MET)

Release 1.13 of Caml Special Light is now available. Main novelties:

* Pattern-matching compilation revised to factor out accesses inside
matched structures.

* Callbacks and signals now supported in cslopt.
Signals are only detected at allocation points, though.
Added callback functions with 2 and 3 arguments.

* In patterns, "C _" allowed even if the constructor C has several arguments.

* && and || allowed as alternate syntax for & and or.

* More explicit error messages when a native-code program aborts due
to array or string bound violations.

* cslopt for the Intel: code generation for floating-point
operations entirely redone for the third time (a pox on whomever at
Intel decided to organize the floating-point registers as a stack).

* cslopt for the Sparc: don't use Sparc V8 smul and sdiv instructions,
emulation on V7 processors is abysmal.

The complete sources as well as diffs from release 1.12
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