[Xavier.Leroy@inria.fr: [Caml-list] Objective Caml 3.09 released]
Hi everyone, ...
The long awaited release is here, and altough we decided to wait for 3.09.1
before switching to it, we may upload those to experimental or at least start
working on them.
As said i saddly don't have time for this right now, but i know others will
take the relay on this.
Friendly,
Sven Luther
----- Forwarded message from Xavier Leroy <Xavier.Leroy@inria.fr> -----
Message-ID: <4360E32F.1060905@inria.fr>
Date: Thu, 27 Oct 2005 16:24:47 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: caml-list@inria.fr, caml-announce@inria.fr
Subject: [Caml-list] Objective Caml 3.09 released
It is my pleasure to announce the release of Objective Caml version 3.09.0,
the "Halloween" release. Be very afraid :-)
Novelties in this release include:
- Introduction of private row types, for abstracting the row in object
and variant types. (See Jacques Garrigue's paper, " Private rows:
abstracting the unnamed", available from
http://www.math.nagoya-u.ac.jp/~garrigue/papers/).
- New warnings for variables locally bound and never used.
- A revised implementation of "ocamlopt -pack" that does not depend
on GNU binutils and should work on all platforms supported by ocamlopt.
The downside is that object files intended for later packing should
be compiled with an appropriate "-for-pack" option.
Plus the usual assortment of corrections and small improvements listed
below.
The release can be found at http://caml.inria.fr/ocaml/release
and is currently available as source code and Windows binaries.
More binaries will be added in the coming weeks.
Enjoy,
- Xavier Leroy, for the OCaml development team
----------------------------------------------------------------------
Objective Caml 3.09.0:
----------------------
(Changes that can break existing programs are marked with a "*" )
Language features:
- Introduction of private row types, for abstracting the row in object
and variant types.
Type checking:
- Polymorphic variants with at most one constructor [< `A of t] are no
longer systematically promoted to the exact type [`A of t]. This was
more confusing than useful, and created problems with private row
types.
Both compilers:
- Added warnings 'Y' and 'Z' for local variables that are bound but
never used.
- Added warning for some uses non-returning functions (e.g. raise), when
they are
passed extra arguments, or followed by extra statements.
- Pattern matching: more prudent compilation in case of guards; fixed PR#3780.
- Compilation of classes: reduction in size of generated code.
- Compilation of "module rec" definitions: fixed a bad interaction with
structure coercion (to a more restrictive signature).
Native-code compiler (ocamlopt):
* Revised implementation of the -pack option (packing of several compilation
units into one). The .cmx files that are to be packed with
"ocamlopt -pack -o P.cmx" must be compiled with "ocamlopt -for-pack P".
In exchange for this additional constraint, ocamlopt -pack is now
available on all platforms (no need for binutils).
* Fixed wrong evaluation order for arguments to certain inlined functions.
- Modified code generation for "let rec ... and ..." to reduce compilation
time (which was quadratic in the number of mutually-recursive functions).
- x86 port: support tail-calls for functions with up to 21 arguments.
- AMD64 port, Linux: recover from system stack overflow.
- Sparc port: more portable handling of out-of-bound conditions
on systems other than Solaris.
Standard library:
- Pervasives: faster implementation of close_in, close_out.
set_binary_mode_{out,in} now working correctly under Cygwin.
- Printf: better handling of partial applications of the printf functions.
- Scanf: new function sscanf_format to read a format from a
string. The type of the resulting format is dynamically checked and
should be the type of the template format which is the second argument.
- Scanf: no more spurious lookahead attempt when the end of file condition
is set and a correct token has already been read and could be returned.
Other libraries:
- System threads library: added Thread.sigmask; fixed race condition
in signal handling.
- Bigarray library: fixed bug in Array3.of_array.
- Unix library: use canonical signal numbers in results of Unix.wait*;
hardened Unix.establish_server against EINTR errors.
Run-time system:
- Support platforms where sizeof(void *) = 8 and sizeof(long) = 4.
- Improved and cleaned up implementation of signal handling.
Replay debugger:
- Improved handling of locations in source code.
OCamldoc:
- extensible {foo } syntax
- user can give .txt files on the command line, containing ocamldoc formatted
text, to be able to include bigger texts out of source files
- -o option is now used by the html generator to indicate the prefix
of generated index files (to avoid conflict when a Index module exists
on case-insensitive file systems).
Miscellaneous:
- Configuration information is installed in `ocamlc -where`/Makefile.config
and can be used by client Makefiles or shell scripts.
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
---------------------------------------------------------------------------------------
Wanadoo vous informe que cet e-mail a ete controle par l'anti-virus mail.
Aucun virus connu a ce jour par nos services n'a ete detecte.
----- End forwarded message -----
Reply to: