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"