From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2E4787EEF8 for ; Mon, 27 Jul 2015 17:30:46 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.15,554,1432591200"; d="scan'208";a="171786975" Received: from ec-ap-2-13-07.rocq.inria.fr (HELO [192.168.1.3]) ([128.93.40.21]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 27 Jul 2015 17:30:45 +0200 From: Damien Doligez Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Date: Mon, 27 Jul 2015 17:30:45 +0200 Message-Id: <6AD6F287-83CD-4894-BE8A-EC17445B24FE@inria.fr> To: caml users , caml announce Mime-Version: 1.0 (Apple Message framework v1283) X-Mailer: Apple Mail (2.1283) Subject: [Caml-list] Released: OCaml version 4.02.3 Dear OCaml users, We have the pleasure of celebrating the anniversary of the first transatlantic telegraph cable by announcing the release of OCaml version 4.02.3. This is mainly a bug-fix release, see the list of changes below. It is (or soon will be) available as an OPAM switch, or as a source download here: < http://caml.inria.fr/download.en.html > Happy hacking, -- Damien Doligez for the OCaml team. OCaml 4.02.3: ------------- Bug fixes: - PR#6908: Top-level custom printing for GADTs: interface change in 4.02.2 (Gr=E9goire Henry, report by Jeremy Yallop) - PR#6919: corrupted final_table (ygrek) - PR#6926: Regression: ocamldoc lost unattached comment (Damien Doligez, report by Fran=E7ois Bobot) - PR#6930: Aliased result type of GADT constructor results in assertion fai= lure (Jacques Garrigue) Feature wishes: - PR#6691: install .cmt[i] files for stdlib and compiler-libs (David Sheets, request by Gabriel Radanne) - GPR#37: New primitive: caml_alloc_dummy_function (Hugo Heuzard)