From: Xavier Leroy <xleroy@pauillac.inria.fr>
To: caml-list@pauillac.inria.fr, comp-lang-ml@cs.cmu.edu
Subject: Caml Special Light 1.13
Date: Thu, 4 Jan 1996 15:27:31 +0100 (MET) [thread overview]
Message-ID: <199601041427.PAA00793@pauillac.inria.fr> (raw)
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
reply other threads:[~1996-01-04 14:32 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=199601041427.PAA00793@pauillac.inria.fr \
--to=xleroy@pauillac.inria.fr \
--cc=caml-light@pauillac.inria.fr \
--cc=caml-list@pauillac.inria.fr \
--cc=comp-lang-ml@cs.cmu.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).