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 LAA01111 for caml-redistribution; Tue, 12 Sep 1995 11:58:40 +0200 Received: (from xleroy@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id LAA00417 for caml-list@pauillac.inria.fr; Tue, 12 Sep 1995 11:27:13 +0200 From: Xavier Leroy Message-Id: <199509120927.LAA00417@pauillac.inria.fr> Subject: Release 1.06 of Caml Special Light To: caml-list@pauillac.inria.fr Date: Tue, 12 Sep 1995 11:27:13 +0200 (MET DST) Reply-To: caml-light@pauillac.inria.fr X-Mailer: ELM [version 2.4 PL21] Content-Type: text Sender: weis Announcing Caml Special Light 1.06, the first public release of the Caml Special Light system. Caml Special Light is a complete reimplementation of Caml Light that adds a powerful module system in the style of Standard ML. The module system is based on the notion of manifest types / translucent sums; it supports Modula-style separate compilation, and fully transparent higher-order functors (see the papers in the POPL 94 and 95 proceedings). Caml Special Light comprises two compilers: a bytecode compiler in the style of Caml Light (but up to twice as fast), and a high-performance native code compiler for the following platforms: Alpha processors: DecStation 3000 under OSF1 Sparc processors: Sun Sparcstation under SunOS 4.1 or Solaris 2 Intel 386 / 486 / Pentium processors: PCs under Linux Mips processors: DecStation 3100 and 5000 under Ultrix 4 The native-code compiler delivers excellent performance (better than Standard ML of New Jersey 1.08 on our tests), while retaining the moderate memory requirements of the bytecode compiler. Caml Special Light is still in the experimental state: the base language has changed and will change again in significant ways, source-level compatibility is not ensured, the implementation is alpha-release quality, and many Caml Light tools and libraries have not yet been ported to Caml Special Light. The present release is targeted towards testers, adventurous souls, and users with strong interest in modules and high-performance compilation; other users are encouraged to stay with Caml Light 0.7 for a while. The source distribution (for Unix machines only) is available by anonymous FTP on ftp.inria.fr, directory lang/caml-light. More information on Caml Special Light is available on the World Wide Web, at http://pauillac.inria.fr/csl/. Bug reports and technical questions should be directed to caml-light@pauillac.inria.fr. For general questions and comments, use the Caml mailing list caml-list@pauillac.inria.fr (to subscribe: caml-list-request@pauillac.inria.fr). - Xavier Leroy %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Caml Special Light "Taste Caml in a whole new Light" % % caml-light@pauillac.inria.fr % % Projet Cristal, INRIA, B.P.105, 78153 Le Chesnay, France. % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%