From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA19061; Tue, 26 Aug 2003 10:19:57 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA26277 for ; Tue, 26 Aug 2003 10:19:56 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h7Q8Jtf18821 for ; Tue, 26 Aug 2003 10:19:55 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA24629 for caml-list@inria.fr; Tue, 26 Aug 2003 10:19:55 +0200 (MET DST) Date: Tue, 26 Aug 2003 10:19:55 +0200 From: Xavier Leroy To: caml-list@inria.fr Subject: [Caml-list] OCaml test release 3.07 beta 2 Message-ID: <20030826101955.A17466@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; 3.07:01 pre-release:01 3.07:01 beta-test:01 pre-release:01 bug:01 intensively:01 source-only:01 bug:01 ocamlinit:01 inferred:01 ocamlc:01 caml-bugs:01 ocaml:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Many of you provided very useful feedback on the pre-release 3.07 beta 1 of OCaml. Thanks! Since this beta-test worked so well, we're now making available a beta 2 pre-release of what should very soon become the next stable release of Objective Caml. It is available for testing at http://caml.inria.fr/ocaml/distrib-3.07beta2.html The modifications since beta 1 are almost exclusively bug fixes. The only programmer-visible change affects the typing of polymorphic variants in pattern matching (see change log below). So, we're especially looking for testers who intensively use polymorphic variants in their code. As usual, this is a source-only release, and feedback is much appreciated: bug reports to caml-bugs@inria.fr, and "everything is OK" messages to caml@inria.fr. Barring major problems, the final 3.07 release should be essentially identical to this beta 2, and released second week of september. - Xavier Leroy -------------------------------------------------- Changes since 3.07 beta 1: Type-checking: - The typing of polymorphic variants in pattern matching has changed. It is intended to be more regular, sticking to the principle of "closing only the variants which would be otherwise incomplete". Two potential consequences: (1) some types may be left open which were closed before, and the resulting type might not match the interface anymore (expected to be rare); (2) in some cases an incomplete match may be generated. Toplevel interactive system: - Look for .ocamlinit file in home directory in addition to the current dir. Standard library: - Module Lexing: added function Lexing.flush_input. Emacs mode: - Improved display of inferred type information produced by ocamlc -dtypes. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners