Caml Special Light 1.12

Caml Special Light 1.12

[Xavier Leroy]

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"