From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA02067 for caml-redistribution; Mon, 29 Dec 1997 15:26:14 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA02039 for ; Mon, 29 Dec 1997 15:25:39 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.5) with ESMTP id PAA27729 for ; Mon, 29 Dec 1997 15:25:38 +0100 (MET) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA02027 for caml-list@inria.fr; Mon, 29 Dec 1997 15:25:37 +0100 (MET) From: Pierre Weis Message-Id: <199712291425.PAA02027@pauillac.inria.fr> Subject: Caml Light 0.74 To: caml-list@inria.fr Date: Mon, 29 Dec 1997 15:25:36 +0100 (MET) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis Nous sommes heureux d'annoncer la disponibilite de Caml Light version 0.74. Cette version n'apporte pas de nouveautes majeures, mais corrige un certains bugs mineurs qui nous ont ete signales sur la version 0.73. Une liste complete des changements est a la fin de ce message. La version 0.74 est disponible pour Unix, pour le Macintosh et pour MS Windows (95 et NT, ainsi que 3.1 avec la bibliotheque de compatibilite Win32s). Des binaires precompiles pour Linux RedHat sont egalement disponibles. La distribution 0.74 complete, ainsi qu'un patch par rapport a la 0.73, sont disponibles par FTP anonyme a l'endroit habituel: machine: ftp.inria.fr repertoire: lang/caml-light fichiers: cl74* Une distribution de toutes ces versions sur CD-ROM, integrant Win32s et un programme d'installation automatique en francais, sera disponible aupres du centre de diffusion de l'INRIA dans le courant du mois de Janvier. Veuillez envoyer vos rapports d'anomalies a caml-light@pauillac.inria.fr. Pierre Weis Xavier Leroy [English version:] It is our pleasure to announce the release of Caml Light version 0.74. No major novelty in this release, but it fixes several bugs that were reported for release 0.73. See the end of this message for a complete list of changes. Release 0.74 is available for Unix, Macintosh and MS Windows (95 and NT, and also 3.1 with the Win32s compatibility system). Precompiled binaries for Linux RedHat are also available. The complete 0.74 distribution, as well as patches from 0.73, are available by anonymous FTP from the usual place: host: ftp.inria.fr directory: lang/caml-light Bug reports should be mailed to caml-light@pauillac.inria.fr. Pierre Weis Xavier Leroy Caml Light 0.74: --------------- * Typing: when typing a sequence (e1;e2), warn if e1 does not have type "unit". * Standard library: - module string: added index_char, rindex_char, index_char_from, rindex_char_from. - module vect: added init_vect. - module format: added a printf facility to control the pretty-printer. - module float: more floating-point functions (all ANSI-C functions). - The iterators do_list, do_vect et al have more restricted types, e.g. ('a -> unit) -> 'a list -> unit instead of ('a -> 'b) -> 'a list -> unit. - module sys: new function sys__time to measure elapsed time. * MS Windows port: fixed bugs in functions over graphics__image. * libnum: square root rewritten. Many bug fixes to support 64 bits architectures. Lot of functions rewritten or added. More tests added. Module nat: now performs sanity checks. New module fnat: the same functionality as module nat, without sanity checks. The toplevel "camlnum" now comes with printers installed for the num types. Assembly code for pentium processors is now supported (on average this implementation is approximately 3 times faster than the pure C implementation) (set the variable BIGNUM_ARCH to pentium in the Makefile of the contrib directory). * camllex: fixed bug causing undetected type errors in lexer definitions. Pierre Weis INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/