Caml Special Light 1.12

Xavier Leroy (xleroy@pauillac.inria.fr)
Thu, 30 Nov 1995 15:40:26 +0100 (MET)

From: Xavier Leroy <xleroy@pauillac.inria.fr>
Message-Id: <199511301440.PAA14691@pauillac.inria.fr>
Subject: Caml Special Light 1.12
To: caml-list@pauillac.inria.fr
Date: Thu, 30 Nov 1995 15:40:26 +0100 (MET)

Before releasing CSL version 1.11, I forgot to commit the fix to a
rather embarrassing bug in cslopt on references to floats.
Thanks to Christian Boos for pointing this out.

A corrected release (version 1.12) is now available on ftp.inria.fr,
in lang/caml-light.

For those who have already transferred 1.11, the diffs are so short
that I have included them at the end of this message.

My apologies for the inconvenience.

- Xavier Leroy

--------------------------------------------------

How to apply this patch:

* Go to the csl-1.11 directory.

* Run patch -p1 < [this patch].

* Redo "make opt".

* Rename the csl-1.11 directory to csl-1.12.

Index: csl/asmcomp/cmmgen.ml
diff -c csl/asmcomp/cmmgen.ml:1.21 csl/asmcomp/cmmgen.ml:1.22
*** csl/asmcomp/cmmgen.ml:1.21 Sat Nov 25 16:38:42 1995
--- csl/asmcomp/cmmgen.ml Thu Nov 30 13:33:31 1995
***************
*** 9,15 ****
(* *)
(***********************************************************************)

! (* cmmgen.ml,v 1.21 1995/11/25 15:38:42 xleroy Exp *)

(* Translation from closed lambda to C-- *)

--- 9,15 ----
(* *)
(***********************************************************************)

! (* cmmgen.ml,v 1.22 1995/11/30 12:33:31 xleroy Exp *)

(* Translation from closed lambda to C-- *)

***************
*** 149,155 ****
| Cassign(id, arg) ->
if Ident.same id boxed_id then begin
assigned := true;
! Cassign(unboxed_id, unbox_float arg)
end else
Cassign(id, subst arg)
| Ctuple argl -> Ctuple(List.map subst argl)
--- 149,155 ----
| Cassign(id, arg) ->
if Ident.same id boxed_id then begin
assigned := true;
! Cassign(unboxed_id, subst(unbox_float arg))
end else
Cassign(id, subst arg)
| Ctuple argl -> Ctuple(List.map subst argl)
Index: csl/utils/config.mlp
diff -c csl/utils/config.mlp:1.18 csl/utils/config.mlp:1.19
*** csl/utils/config.mlp:1.18 Thu Nov 9 14:24:14 1995
--- csl/utils/config.mlp Thu Nov 30 13:26:06 1995
***************
*** 9,15 ****
(* *)
(***********************************************************************)

! (* config.mlp,v 1.18 1995/11/09 13:24:14 xleroy Exp *)

let standard_library = "%%LIBDIR%%"

--- 9,15 ----
(* *)
(***********************************************************************)

! (* config.mlp,v 1.19 1995/11/30 12:26:06 xleroy Exp *)

let standard_library = "%%LIBDIR%%"

***************
*** 19,25 ****

let c_libraries = "%%CCLIBS%%"

! let version = "1.11"

let exec_magic_number = "Caml1999X001"
and cmi_magic_number = "Caml1999I002"
--- 19,25 ----

let c_libraries = "%%CCLIBS%%"

! let version = "1.12"

let exec_magic_number = "Caml1999X001"
and cmi_magic_number = "Caml1999I002"