From: Xavier Leroy <xleroy@pauillac.inria.fr>
To: caml-list@pauillac.inria.fr, comp-lang-ml@cs.cmu.edu
Subject: Objective Caml 1.05
Date: Fri, 21 Mar 1997 17:39:17 +0100 (MET) [thread overview]
Message-ID: <199703211639.RAA02975@pauillac.inria.fr> (raw)
The recently released version 1.04 of Objective Caml contains a few
embarassing bugs, in particular in the type-checker and in the
native-code compiler.
A bug-fix release, version 1.05, is now available at the usual place:
ftp://ftp.inria.fr/lang/caml-light
as complete sources, source diffs from 1.04, and Win32 binaries.
The list of changes is included below.
Several users have reported difficulties compiling Objective Caml with
gcc 2.7.2.1 on Intel platforms, e.g. Linux RedHat 4.1. We confirm this
is a gcc 2.7.2.1 bug, which generates amazingly wrong code on the
bytecode interpreter. The solution is to either downgrade to 2.7.2 or
upgrade to 2.7.2.2 -- both versions work all right.
- Xavier Leroy
General info on Objective Caml: http://pauillac.inria.fr/ocaml/
Objective Caml 1.05:
--------------------
* Typing: fixed bugs causing spurious type errors.
* Native-code compiler: fixed instruction selection bug causing GC to
see ill-formed pointers; fixed callbacks to support invocation from a
main program in C.
* Standard library: fixed String.lowercase; Weak no longer crash on integers.
* Toplevel: multiple phrases without intermediate ";;" now really supported;
fixed value printing problems where the wrong printer was selected.
* Debugger: fixed printing problem with local references; revised
handling of checkpoints; various other small fixes.
* Macintosh port: fixed signed division problem in bytecomp/emitcode.ml
next reply other threads:[~1997-03-21 16:54 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-03-21 16:39 Xavier Leroy [this message]
1997-03-25 7:47 ` Objective Label Trilogy 1.05 Jacques GARRIGUE
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=199703211639.RAA02975@pauillac.inria.fr \
--to=xleroy@pauillac.inria.fr \
--cc=caml-list@pauillac.inria.fr \
--cc=comp-lang-ml@cs.cmu.edu \
/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