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 0C89382355 for ; Tue, 6 Feb 2018 09:34:20 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f172.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.216.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.216.172 as permitted sender) identity=mailfrom; client-ip=209.85.216.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt0-f172.google.com) identity=helo; client-ip=209.85.216.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-qt0-f172.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ATvp+fBdhA7M4H48OkTYB21EBlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcu9bR7h7PlgxGXEQZ/co6odzbaO6ua4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahfL9+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM38G/ZhM9tgqxFvB2vqAdyw5LNYIyPKPZyYr/RcNEcSGFcXshRTStBAoak?= =?us-ascii?q?YoUOFeUOJvxYr4jjqFsKsBCwGBWjBOPxxT9SmHD2x7Ax3uMuEQ7cxwMgBdMOv2?= =?us-ascii?q?rQrNnvL6cdTeC1w7fSzTrddfNbwjj96I3SfRAgpfGAR65/cc3UyUQ2EQ7Ok1ue?= =?us-ascii?q?qYvgPzyP1+QNtXCW7+tmVeK1im4osRt9oja1xsoql4LHhZoVx0ja+SllxIs5P9?= =?us-ascii?q?61RU5hbdK6DZddtjuWO5Z0T888RWxjpTw0xaccuZGheSgH0JQnyADba/yAa4WI?= =?us-ascii?q?5wjsVOeVITthnXJlZK6ziw+88US9yODwSNO40FlNripCndnMsm4C2wbP5ciAT/?= =?us-ascii?q?tx5kah2TCR2ADP8uxIP1w4mK7BJ5MiwrM8jIQfvVnCEyPshUn7jrGael0h+uey?= =?us-ascii?q?6uTnZrvmpoWbN49xkgz+Pb4hldelAeQ5LAcOW3KX+f+g273j40L5WqtFjuctn6?= =?us-ascii?q?nWtZDVP8UbpqqjDwBJ1YYj7g6zDy2639QAgXkHMFVFdQqbgIfzPlHOJOn0DfO+?= =?us-ascii?q?g1S3jDdm3OvGP73kApXVNHfPirbhfbBn605d0gU/195f54gHQo0Gdfn6X0u5qc?= =?us-ascii?q?fVFARxZwe9xuKiDNRmyqsfX3iOC+mXKvWBn0WP47cAKuOWZYIR8A32K/U/6uSm?= =?us-ascii?q?2XAwk0UccK3vxpAXZWq1BNxpJkyYZTznhdJXQjRChRY3UOG/0A7KajVUfXvnB/?= =?us-ascii?q?tttAF+M5qvCML4fq7ohbWA2CmhGZgPPzJJD1mNFTHjcIDWAq5QOhLXGddol3k/?= =?us-ascii?q?bZbkU5UojEj8uwrzyr4hJe3RqHVB6MDTkeNt7uiWrikcsDx5C8PHjTOIRmBw23?= =?us-ascii?q?oUH3o4hf8l50N6zViH3O5zhPkKTdE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A2CQBOZ3lahqzYVdFdH4QKP3AoCoNbm?= =?us-ascii?q?DUfhgKDZIInjVKCAwojh2QHGQcEMxUBAQEBAQEBAQEBARIBAQEICwsIKC+COCK?= =?us-ascii?q?Ccx0BGx4DEhAPAiYCJAERAQUBIhuKFAEDFRCoY4NFQIwXggUFARyDCwWDZgoZJ?= =?us-ascii?q?w1ZWIIiAgYSfYNbgWorgVeKAAUBEgGDNoJlBYsEjVWLT4JKhU+NWYIeZ4U/i3a?= =?us-ascii?q?NcIl3FAUggRc1gQNwMxojUjKCBAEPCYIIVIITQDcBjGmCPAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0A2CQBOZ3lahqzYVdFdH4QKP3AoCoNbmDUfhgKDZIInjVK?= =?us-ascii?q?CAwojh2QHGQcEMxUBAQEBAQEBAQEBARIBAQEICwsIKC+COCKCcx0BGx4DEhAPA?= =?us-ascii?q?iYCJAERAQUBIhuKFAEDFRCoY4NFQIwXggUFARyDCwWDZgoZJw1ZWIIiAgYSfYN?= =?us-ascii?q?bgWorgVeKAAUBEgGDNoJlBYsEjVWLT4JKhU+NWYIeZ4U/i3aNcIl3FAUggRc1g?= =?us-ascii?q?QNwMxojUjKCBAEPCYIIVIITQDcBjGmCPAEBAQ?= X-IronPort-AV: E=Sophos;i="5.46,467,1511823600"; d="scan'208";a="312203817" Received: from mail-qt0-f172.google.com ([209.85.216.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Feb 2018 09:34:19 +0100 Received: by mail-qt0-f172.google.com with SMTP id s27so1185618qts.4 for ; Tue, 06 Feb 2018 00:34:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=4m3nzKKurctmg5zLnmXirEWBDZQQ7wrl/HeSapMVtjs=; b=U12mAsC+rSU2G02Obg8DMOPP7++fb4eP2jN+CUCq1f3Hna01NJXfUwy2sLtwyfyfL5 QRRyAgUleuHesYyD5mr6KL3fB79HuyOyjZLY+LfWuTecKjPsMWBt+5xQxtuR4aWsVGkd 4of3FsUgJOhXFp7Zt4f3rewoUMvOYTaf9j8umIiuuFru5Hw6s3XThZMxEFLeX0F+IBsY Xh3ZCojfWZzZIbidSd93JMkTaH+kJT1gjIMXaho8BjgaFD/UT0Jzd00FvVb7kh3VfoEf bf2Hh8MpK373QZ5p1snJcarObrMdAvm64Fjavy9l0q6hPMP+sH0P6omLPhec/gbAzFAu 7/Qg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=4m3nzKKurctmg5zLnmXirEWBDZQQ7wrl/HeSapMVtjs=; b=HfKaXcq/RE5ho5SFcWY9LXyILtRjLy3q7WyD9MnC4JtaoN0zXNNmr94TWw/FalynW8 NPlzuJZJBr9gSRnLD/fVT4FkKSnyyZO4r+2oUC1TE7VN0rTGyue++I/B0QkOUliM2JO1 XaYuQ2bAzqb7y5cqbwJCbfnIPhyR0xcdPY3YQU3ZNdSxoVJzIkSdIlwhOEDixCHjsF06 6wt1GUvf929lg40iFEEeJnqKn9nLgafzoxZX4CCgn1uithneAy98CZa76JAK+yd9DHUH tdSdVGtTdj77yBTVpc8m8+r1u03xbquwryJwMYQJrrWfnGwj/T8OFLSyenlq9+ESrdpR 1wtA== X-Gm-Message-State: APf1xPCJNE/bOp2TFeLdGF9DX1+FPUhRviJe2yyiUMwZ/1F7zbJoCKDV Hv4P7Xm1nxDQhNAO+zDrs4rGGljdgXG7uS9GM8TcsQ== X-Google-Smtp-Source: AH8x226QCdAL/jB8td7GvLLwA9JZSilaWVYwo0R/irq1xRjJkTIwpsnwFKolgAvqCCTP9gTQ0aAmyhI24dmTh3zQnH4= X-Received: by 10.200.62.1 with SMTP id z1mr2216625qtf.113.1517906057736; Tue, 06 Feb 2018 00:34:17 -0800 (PST) MIME-Version: 1.0 Received: by 10.12.212.214 with HTTP; Tue, 6 Feb 2018 00:33:37 -0800 (PST) From: Gabriel Scherer Date: Tue, 6 Feb 2018 09:33:37 +0100 Message-ID: To: caml users Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] OCaml 4.06.1+rc2 Dear OCaml users, The release of OCaml version 4.06.1 is still imminent. We have created a second release candidate for your testing pleasure. Please try it and let me know whether it works for you. It is available as opam switches 4.06.1.+rc2 (or +rc2+flambda, etc.) opam switch 4.06.0+rc2 or as source archives at http://caml.inria.fr/pub/distrib/ocaml-4.06/ The list of changes since 4.06.0 is included at the end of this email. The only change compared to 4.06.1+rc1 is that we backported some pattern-matching changes (GPR#1550) already present in the development version (trunk, 4.07.0+dev), which are necessary to prevent some compile-time errors when matching on extensible datatypes or GADTs. Happy hacking, -- Gabriel Scherer for the OCaml team. Changes: - MPR#7661, GPR#1459: fix faulty compilation of patterns using extensible variants constructors (Luc Maranget, review by Thomas Refis and Gabriel Scherer, report by Abdelraouf Ouadjaout and Thibault Suzanne) - MPR#7702, GPR#1553: refresh raise counts when inlining a function (Vincent Laviron, Xavier Clerc, report by Cheng Sun) - MPR#7704, GPR#1559: Soundness issue with private rows and pattern-matching (Jacques Garrigue, report by Jeremy Yallop, review by Thomas Refis) - MPR#7705, GPR#1558: add missing bounds check in Bigarray.Genarray.nth_dim. (Nicol=C3=A1s Ojeda B=C3=A4r, report by Jeremy Yallop, review by Gabriel = Scherer) - MPR#7713, GPR#1587: Make pattern matching warnings more robust to ill-typed columns; this is a backport of GPR#1550 from 4.07+dev (Thomas Refis, review by Gabriel Scherer, report by Andreas Hauptmann) - GPR#1470: Don't commute negation with float comparison (Leo White, review by Xavier Leroy) - GPR#1538: Make pattern matching compilation more robust to ill-typed colu= mns (Gabriel Scherer and Thomas Refis, review by Luc Maranget)