From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 404297EE6B; Tue, 3 Dec 2013 14:01:15 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jerome.vouillon@pps.univ-paris-diderot.fr) identity=pra; client-ip=194.254.61.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jerome.vouillon@pps.univ-paris-diderot.fr"; x-sender="jerome.vouillon@pps.univ-paris-diderot.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jerome.vouillon@pps.univ-paris-diderot.fr) identity=mailfrom; client-ip=194.254.61.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jerome.vouillon@pps.univ-paris-diderot.fr"; x-sender="jerome.vouillon@pps.univ-paris-diderot.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@korolev.univ-paris7.fr) identity=helo; client-ip=194.254.61.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jerome.vouillon@pps.univ-paris-diderot.fr"; x-sender="postmaster@korolev.univ-paris7.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvwCAOTVnVLC/j2KlWdsb2JhbABagmZZulQWDgEBAQEJCwkJEiqCOCYBBUA9FhgDAgECAUsBDAgCh34DCcFgkzgDmUSFFYQGghKIYA X-IPAS-Result: AvwCAOTVnVLC/j2KlWdsb2JhbABagmZZulQWDgEBAQEJCwkJEiqCOCYBBUA9FhgDAgECAUsBDAgCh34DCcFgkzgDmUSFFYQGghKIYA X-IronPort-AV: E=Sophos;i="4.93,817,1378850400"; d="scan'208";a="39092197" Received: from korolev.univ-paris7.fr ([194.254.61.138]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 03 Dec 2013 14:00:59 +0100 Received: from potemkin.univ-paris7.fr (potemkin.univ-paris7.fr [IPv6:2001:660:3301:8000::1:1]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/46573) with ESMTP id rB3D0xXV012558 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 3 Dec 2013 14:00:59 +0100 Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by potemkin.univ-paris7.fr (8.14.4/8.14.4/relay2/46573) with ESMTP id rB3D0xwo024981; Tue, 3 Dec 2013 14:00:59 +0100 Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id 0BA545BE48; Tue, 3 Dec 2013 14:00:59 +0100 (CET) X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id GnU866mRcvR2; Tue, 3 Dec 2013 14:00:52 +0100 (CET) Received: from [172.23.252.14] (maths.r-prg.net.univ-paris7.fr [81.194.27.158]) (Authenticated sender: vouillon) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id BCDBD5BE93; Tue, 3 Dec 2013 14:00:52 +0100 (CET) Message-ID: <529DD604.5050500@pps.univ-paris-diderot.fr> Date: Tue, 03 Dec 2013 14:00:52 +0100 From: =?ISO-8859-1?Q?J=E9r=F4me_Vouillon?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131005 Icedove/17.0.9 MIME-Version: 1.0 To: caml-list@inria.fr, "ocsigen@inria.fr" Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [IPv6:2001:660:3301:8000::1:2]); Tue, 03 Dec 2013 14:00:59 +0100 (CET) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Tue, 03 Dec 2013 14:00:59 +0100 (CET) X-Miltered: at korolev with ID 529DD60B.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-Miltered: at potemkin with ID 529DD60B.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 529DD60B.000 from potemkin.univ-paris7.fr/potemkin.univ-paris7.fr/null/potemkin.univ-paris7.fr/ X-j-chkmail-Enveloppe: 529DD60B.000 from mailhub.math.univ-paris-diderot.fr/mailhub.math.univ-paris-diderot.fr/null/mailhub.math.univ-paris-diderot.fr/ X-j-chkmail-Score: MSGID : 529DD60B.000 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Score: MSGID : 529DD60B.000 on potemkin.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Status: Ham X-j-chkmail-Status: Ham X-Validation-by: jerome.vouillon@pps.univ-paris-diderot.fr Subject: [Caml-list] [ANN] Js_of_ocaml 1.4 Hi, I'm happy to announce release 1.4 of Js_of_ocaml, a compiler from OCaml bytecode to Javascript. This release brings compatibility with OCaml 4.01, provides improved Dom bindings and fixes a number of bugs. LINKS Project home page http://ocsigen.org/js_of_ocaml/ Download http://ocsigen.org/download/js_of_ocaml-1.4.tar.gz Get source code git clone https://github.com/ocsigen/js_of_ocaml.git Documentation http://ocsigen.org/js_of_ocaml/manual/ DETAILED CHANGES * Features/Changes ** Add missing primitives for OCaml 4.01 ** Improved Dom bindings (Hugo Heuzard and many other contributors) ** Add -linkall option to keep all provided primitives (Pierre Chambard) ** Improved tail-call optimization (Hugo Heuzard) ** Added optimization levels: -o {1,2,3} (Hugo Heuzard) * Bugfixes ** Fixed some incorrect Dom bindings ** Fixed hypot primitive (Pierre Chambard) ** Fixed tail call optimization bug (some incorrect code was generated when the number of arguments did not match the number of function parameters) ** Fixed a bug with empty strings ** Fixed weak.js (primitives for Weak module) -- Jérôme Vouillon