Objective Caml 1.05

Objective Caml 1.05

[Xavier Leroy]

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

Objective Label Trilogy 1.05

[Jacques GARRIGUE]

Objective Label has been updated to follow Objective Caml.

New in version 1.05:

* a few bug fixes.

* make install now makes a full installation, like for O'Caml.

This was made necessary because O'Caml 1.04 appears not to be bytecode
compatible with previous versions, making problems if you update
O'Caml but not O'Labl.

So, please update to this version. You can get the full distribution,
only the patch for O'Caml 1.05, or a patch for O'Labl 1.04.

* a few changes in LablBrowser (LablTk unchanged).

* OCamlBrowser has been updated.

To get it:

	http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/
	ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/

---------------------------------------------------------------------------
Jacques Garrigue	Kyoto University      garrigue@kurims.kyoto-u.ac.jp