From: Xavier Leroy <xleroy@pauillac.inria.fr>
To: caml-list@pauillac.inria.fr
Subject: Objective Caml 1.02 released
Date: Fri, 27 Sep 1996 17:32:19 +0200 (MET DST) [thread overview]
Message-ID: <199609271532.RAA27814@pauillac.inria.fr> (raw)
It's my pleasure to announce release 1.02 of Objective Caml.
In addition to numerous bug fixes, the native-code compiler has been
ported to three more platforms (HPPA under HP/UX, Intel x86 under
Solaris 2, PowerMacintosh under MkLinux), and the "unix" and "threads"
libraries are now available under Windows.
A more complete list of changes from 1.01 is given at the end of this
message.
Sources, diffs from 1.01, documentation, and Win32 binaries are
available from the usual location:
ftp://ftp.inria.fr/lang/caml-light/
Please report all problems to caml-light@inria.fr.
- Xavier Leroy
Objective Caml 1.02:
--------------------
* Typing:
- fixed bug with type names escaping their scope via unification
with non-generalized type variables '_a;
- keep #class abbreviations longer;
- faster checking of well-formed object types in declarations;
- stricter checking of "with" constraints over signatures (arity
mismatch, overriding of an already manifest type).
* Compilation (ocamlc and ocamlopt):
- fixed bug in compilation of recursive classes;
- [|...|] and let...rec... allowed inside definitions of recursive
data structures;
* Bytecode compilation: fixed overflow in linker for programs with
more than 65535 globals and constants.
* Native-code compilation:
- ocamlopt ported to HPPA under HP/UX, Intel x86 under Solaris 2,
PowerMacintosh under MkLinux;
- fixed two bugs related to floating-point arrays (one with "t array"
where t is an abstract type implemented as float, one with
comparison between two float arrays on 32 bit platforms);
- fixed reloading/spilling problem causing non-termination of
register allocation;
- fixed bugs in handling of () causing loss of tail recursion;
- fixed reloading bug in indirect calls.
* Windows NT/95 port:
- complete port of the threads library (Pascal Cuoq);
- partial port of the Unix library (Pascal Cuoq);
- expansion of *, ? and @ on the command line.
* Standard library:
- bug in in List.exists2 fixed;
- bug in "Random.int n" for very large n on 64-bit machines fixed;
- module Format: added a "general purpose" type of box (open_box);
can output on several formatters at the same time.
* The "threads" library:
- implementation on top of native threads available for Win32 and
POSIX 1003.1c;
- added -thread option to select a thread-safe version of the
standard library, the ThreadIO module is no longer needed.
* The "graph" library: avoid invalid pixmaps when doing
open_graph/close_graph several times.
* The "dynlink" library: support for "private" (no re-export) dynamic loading.
* ocamlyacc: skip '...' character literals correctly.
* C interface: C code linked with O'Caml code can provide its own main()
and call caml_main() later.
reply other threads:[~1996-09-27 15:51 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=199609271532.RAA27814@pauillac.inria.fr \
--to=xleroy@pauillac.inria.fr \
--cc=caml-light@inria.fr \
--cc=caml-list@pauillac.inria.fr \
/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).