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 PAA00931 for caml-redistribution; Thu, 4 Jan 1996 15:32:11 +0100 Received: (from xleroy@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id PAA00793; Thu, 4 Jan 1996 15:27:31 +0100 From: Xavier Leroy 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) Reply-To: caml-light@pauillac.inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis 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