From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id TAA11062 for caml-redistribution; Tue, 20 Jun 1995 19:25:00 +0200
Received: (from xleroy@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id PAA06589 for caml-list@pauillac.inria.fr; Tue, 20 Jun 1995 15:36:09 +0200
From: Xavier Leroy <xleroy@pauillac.inria.fr>
Message-Id: <199506201336.PAA06589@pauillac.inria.fr>
Subject: Caml Light, release 0.7 beta 5
To: caml-list@pauillac.inria.fr
Date: Tue, 20 Jun 1995 15:36:09 +0200 (MET DST)
X-Mailer: ELM [version 2.4 PL21]
Content-Type: text/plain
Sender: weis

The latest (and hopefully last) beta release of Caml Light 0.7 is now
available from the usual place:

        host:      ftp.inria.fr
        directory: lang/caml-light/Release7beta

In addition to the Unix and MSDOS versions, the Macintosh version is
now available as well. It's a "fat binary" that runs in native mode on
PowerMacs (and delivers respectable performance).

Other changes since release 0.7 beta 4:

* "for" loop index now correctly captured in closures.
* Syntactic sugar: optional `;' at end of sequences now supported more
  consistently; `:=' is no longer synonymous for `<-' in record, array
  and string assignments (too ambiguous).
* Bug with #open and redefinition of identifiers fixed.
* library: new functions set__choose, hashtbl__new_table_rev.
* Bug in printing abstract types in camllight -g and in the debugger fixed.
* camlyacc: more syntax checks on the input grammar.
* camltk GUI: more efficient communication between Caml and TCL.
* German and italian translations of the error messages.
* Examples and documentation cleaned up.

As usual, please address bug reports to caml-light@pauillac.inria.fr.

Regards,

- Xavier Leroy