From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id PAA15067 for caml-redistribution; Thu, 30 Nov 1995 15:54:59 +0100
Received: (from xleroy@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id PAA14691 for caml-list@pauillac.inria.fr; Thu, 30 Nov 1995 15:40:27 +0100
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)
Reply-To: caml-light@pauillac.inria.fr
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis


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"