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 3C7847F61E for ; Sun, 29 Oct 2017 12:49:44 +0100 (CET) Authentication-Results: mail3-smtp-sop.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-qk0-f169.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.220.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.220.169 as permitted sender) identity=mailfrom; client-ip=209.85.220.169; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk0-f169.google.com) identity=helo; client-ip=209.85.220.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-qk0-f169.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AIBZfWBTZHj3C7laTixhELMIh7Npsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa67YxyN2/xhgRfzUJnB7Loc0qyN7PCmBDRIyK3CmU5BWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnZBUin4YAF8?= =?us-ascii?q?I+C9B5Xfld//g+u7/pmWZwRTmBK8Z6lzJVO4t1OCmNMRhN5NI6wryxbN6kBDe+?= =?us-ascii?q?lMyHkgcV2alQz968P255Vj/j5dodou8sdBVePxeKFuHu8QNygvL21gvJ6jjhLE?= =?us-ascii?q?VwbavnY=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BRAgDOv/VZhqncVdFbHQEFAQsBGAEFA?= =?us-ascii?q?QsBg1k/bicHg3WZMIs7jROCAQoFIIlcB0MUAQEBAQEBAQEBAQESAQEBCAsLCCg?= =?us-ascii?q?vgjgigm0dARseAxIQBQoCJgIkAREBBQEiih0BAxUQlyiDRUCMDIIFBQEcgwkFg?= =?us-ascii?q?1UKGScNWIMSAgYSfYIfggeBU4g1gTcFARIBgncMMYJhBaIDgjCFNo0WgnOQOox?= =?us-ascii?q?fiR0UBR+BFTaBJGU0ISVeNYIfAQ8Jgg81H4F0QDYBAQEBiRWCNQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BRAgDOv/VZhqncVdFbHQEFAQsBGAEFAQsBg1k/bicHg3W?= =?us-ascii?q?ZMIs7jROCAQoFIIlcB0MUAQEBAQEBAQEBAQESAQEBCAsLCCgvgjgigm0dARseA?= =?us-ascii?q?xIQBQoCJgIkAREBBQEiih0BAxUQlyiDRUCMDIIFBQEcgwkFg1UKGScNWIMSAgY?= =?us-ascii?q?SfYIfggeBU4g1gTcFARIBgncMMYJhBaIDgjCFNo0WgnOQOoxfiR0UBR+BFTaBJ?= =?us-ascii?q?GU0ISVeNYIfAQ8Jgg81H4F0QDYBAQEBiRWCNQEBAQ?= X-IronPort-AV: E=Sophos;i="5.44,314,1505772000"; d="scan'208";a="242731007" Received: from mail-qk0-f169.google.com ([209.85.220.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 29 Oct 2017 12:49:43 +0100 Received: by mail-qk0-f169.google.com with SMTP id 17so13047177qkq.8 for ; Sun, 29 Oct 2017 04:49:43 -0700 (PDT) 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=aXSYDyLof2IkgoywI0AplRFFkYb0BV/FC4VRbor6RfY=; b=eoEK5x63v+nSFcLJBMXqkWQQGoBM5L7ZCHfolf6/njMigG5v+/UsIxaGMkFBPnGGny yEyepv2BwQSvFJj+dPG50FmTH4TtJWZwhqJHcFDz26UFyrn9RCbzOmJv+/ZIu8xyx3bv 6mxM/1CZtKXw8hHSF+7o7VmjgJK9Gleo8duVS+XPvSaY7iLTfvKBd2gQRT45TkHS1pmw 4ytWL2fzT3/N1t34IcQ7P7S3JYyLVD+Q2anjVFyUEToq3CdVABi7HsVSxv8kfu2pNwGP Z0ql35yoraidtSCYKn8qQ2hA2oGTMgPONlmJA9mtlU928yo3FhdLO3/4GDdPd5l51Ksx Epxw== 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=aXSYDyLof2IkgoywI0AplRFFkYb0BV/FC4VRbor6RfY=; b=fQ2VwoqU5OWnUf+na3Sg64X31eNXXuT7S5vgS8MA9BkeYcH3vZx9gd7Vy5tn3oebUx sG7hi+R2SL6H0E4AkVSmjOtu8P+w1jeKCu7Cr7j+duDX1g/H8EAS6iO9VKMCzd/8Txge GMMFt67IoFoY1WAmhr/EA675bRF6DHbh9/ghubw9vHwaS8uEGE1jzqNJxbx5qhiZ79PF eRIbdPjEddqIfc21LP7hGBSAAQLlHEpfi1Owjbo+r0eX8DN4ORLdDOZ/RTN22fd2Wljm p/3C9F5g1rOjD1lxXwtyTUWQ8NHySgRPxmI3SfSjW6yMLEyO8kM6tCzPlfYnzlSNaKyl LXwA== X-Gm-Message-State: AMCzsaVXQSl+mzzPHUo3HueiDVMWAr6sdLi1TdlnuTgWraeJLF4JUUrN PAVz9bSmrjjZK6jt0QtxNWQUc15VLTokUI+OcXfqVA== X-Google-Smtp-Source: ABhQp+TWvxXSWT0mdGj8STjYK5Yo3dlC9ouwO7BQgIeMfU0C742i6q96jEW6+GHjJ9aaJQr8Q1brQf6TUDjttF4bOX8= X-Received: by 10.55.73.70 with SMTP id w67mr8908530qka.215.1509277781405; Sun, 29 Oct 2017 04:49:41 -0700 (PDT) MIME-Version: 1.0 Received: by 10.12.178.65 with HTTP; Sun, 29 Oct 2017 04:49:00 -0700 (PDT) From: Gabriel Scherer Date: Sun, 29 Oct 2017 12:49:00 +0100 Message-ID: To: caml users Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] OCaml 4.06.0+rc1 Dear OCaml users, We have created a first release candidate of the upcoming OCaml 4.06.0 release for your repeated testing pleasure. It is available as opam switches 4.06.0.+rc1 (or +rc1+flambda, etc.) opam switch 4.06.0+rc1 or as source archives at http://caml.inria.fr/pub/distrib/ocaml-4.06/ The Changelog since 4.05.0 is available at http://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes.4.06.0+rc1.txt The more specific list of changes since 4.06.0+beta2 is included at the end of this email. We are hoping to make the actual 4.06.0 release shortly. If you are the maintainer of a publicly-distributed OCaml package, now is the time to make sure you have made a 4.06-ready release. Happy hacking, -- Gabriel Scherer for the OCaml team. Changes since beta2: * MPR#7598, GPR#1402: the magic numbers used by the OCaml compiler (versioning numbers for object files and the binary AST format) have been updated, which means that some tools may have to be updated to the 4.06-specific magic numbers, even if they appeared to work fine in 4.06.0+beta2. (Apologies updating so late in the release cycle.) (Damien Doligez, review by Alain Frisch, Xavier Leroy and S=C3=A9bastien = Hinderer, report by Bart Jacobs) - GPR#594: New manual chapter on polymorphism troubles: weakly polymorphic types, polymorphic recursion,and higher-ranked polymorphism. (Florian Angeletti, review by Damien Doligez, Gabriel Scherer, and Gerd Stolpmann) You can preview this chapter (and the whole 4.06.0 manual) at: http://www.polychoron.fr/ocaml-beta-manual/4.06+rc1/polymorphism.html - GPR#1409: Fix to enable NetBSD/powerpc to work. (H=C3=A5vard Eidnes) - MPR#7657, GPR#1424: ensures correct call-by-value semantics when eta-expanding functions to eliminate optional arguments (Alain Frisch, report by sliquister, review by Leo White and Jacques Garrigue) - GPR#1457, ocamldoc: restore label for exception in the latex backend (omitted since 4.04.0) (Florian Angeletti, review by Gabriel Scherer) - MPR#6329, GPR#1437: Introduce padding word before "data_end" symbols to ensure page table tests work correctly on an immediately preceding block of zero size. (Mark Shinwell, review by Xavier Leroy) - MPR#7658, GPR#1439: Fix Spacetime runtime system compilation with -force-safe-string (Mark Shinwell, report by Christoph Spiel, review by Gabriel Scherer) - GPR#1407: Fix raw_spacetime_lib (Leo White, review by Gabriel Scherer and Damien Doligez)