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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0D9548027D for ; Fri, 13 Oct 2017 20:01:13 +0200 (CEST) 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-qk0-f177.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.220.177; 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.220.177 as permitted sender) identity=mailfrom; client-ip=209.85.220.177; 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-qk0-f177.google.com) identity=helo; client-ip=209.85.220.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-qk0-f177.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AYF0CiR8HrLNWnv9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?1OIcTK2v8tzYMVDF4r011RmSAtWdtqoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS46tL2HV93a76DpaBw7yLxE9?= =?us-ascii?q?cu/8H4qXi8Wsy8iz/YfSakNGnmzuT6l1KUCZpA/Lt8QSybBpKqsrxwGB9nRBcf?= =?us-ascii?q?5XyGcuPlmTkgzx/O+/+Zdi92JbvPd3pJ0IarnzY6ltFe8QNz8hKW1gvMA=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DXAAAL/+BZhrHcVdFdHgYMGQYMg1k/b?= =?us-ascii?q?icHg3OZUYsrjHoQggQKBSCBXIgLBz8YAQEBAQEBAQEBAQESAQEBCAsLCCgvgjg?= =?us-ascii?q?igm0dARseAxIQDwImAiQBEQEFAQ4BE4oXAQMVEJtzg0VAjAyCBQUBHIMJBYNsC?= =?us-ascii?q?hknDViDNAIGEnyCH4IHgVGJYQUBEgGDMoJhBaFGgi+FMI0MgnGQIZVbFAUfgRU?= =?us-ascii?q?fgTtWNCElXjWCHwEPCYIDDDUPEAyBaT42AQEBAYg3gjUBAQE?= X-IPAS-Result: =?us-ascii?q?A0DXAAAL/+BZhrHcVdFdHgYMGQYMg1k/bicHg3OZUYsrjHo?= =?us-ascii?q?QggQKBSCBXIgLBz8YAQEBAQEBAQEBAQESAQEBCAsLCCgvgjgigm0dARseAxIQD?= =?us-ascii?q?wImAiQBEQEFAQ4BE4oXAQMVEJtzg0VAjAyCBQUBHIMJBYNsChknDViDNAIGEny?= =?us-ascii?q?CH4IHgVGJYQUBEgGDMoJhBaFGgi+FMI0MgnGQIZVbFAUfgRUfgTtWNCElXjWCH?= =?us-ascii?q?wEPCYIDDDUPEAyBaT42AQEBAYg3gjUBAQE?= X-IronPort-AV: E=Sophos;i="5.43,371,1503352800"; d="scan'208";a="296130703" Received: from mail-qk0-f177.google.com ([209.85.220.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Oct 2017 20:01:12 +0200 Received: by mail-qk0-f177.google.com with SMTP id l194so5994851qke.13 for ; Fri, 13 Oct 2017 11:01:12 -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=LKTB65FKhsNViQobOudzqVS1eotZZczSgEhCCeDuTIA=; b=JEp2jU2mq4rb3mSF9Vmeee/JyARBY603+gqb3oAasWKfqOUvvEVE4aenv7kXZU2+/J zRIYtXq8SiZOBKcza/sHI07Aa+nCQ4f88qV5pn7lrd8sJQWjtnB4L7l91VEROQZWLx3t VeT96t4wta97EGS+o/5vGPCb0CoQEHHKRkG8KdPhxz3V9Qa7NJI+CnFRq6idTMOJvbVL cLbUby5DQrqI2h/aCE/xtAhdRrlh54z+vRjjyrMmZMsz5FvHVkRIgTnm0+ZX7MU3LcT/ 1Tcvglyvrb71zP6W7bzc1Uf/1qyx65rChjAAzfNt3un9ZLcThw3EiMIFIdM/TNf8C7Xr DpMQ== 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=LKTB65FKhsNViQobOudzqVS1eotZZczSgEhCCeDuTIA=; b=fFeSJbS/TSyOLXpdl07F6wpqZ5qJl+6yO3qBf/VbNeUL3KW5jdGjn0qULQz+l8VGx3 b5+8og34OG8b3ZaIjfwzGYvDITR9kdxgJAhHb4D0Wwh04qbPYkr0FbuIbVanRXEfzemJ /vdMuRrrtjCcSVFCMqB41ON+J6AleOn4KeaVOjDudIFRJCHCP7uBeLEmJUXHEoydmrSK 12mfPw3x+ilLNYLbX1BNoakWdN4hf6Aa0B+DPjoGwkktg9FrBO9X6/fnTddZkcXmLcFm Xi3qCF37gS/frbMZu4on+i/KK6/BGcr8N2rqwIAArO8qGH9uXg8oQ6fMA2Nk7+uQdjtV YWyQ== X-Gm-Message-State: AMCzsaV+15RRK/FwgmWhNc2HZE/Q66W3Q3aZbiZ9OyO57Y2klESadWwv zZzmcUizPmiKTwjjnUQkvje1fS7dHOLnu+gP9RQE9Q== X-Google-Smtp-Source: AOwi7QC3VbI1j3H5D2BHFuc4Tby4+fwhV/YJpktUu8zyiaC6XZfcCVRgcR2c5qZ26Jdq1Q6/LeYmrdpP4X23toCXczc= X-Received: by 10.55.153.69 with SMTP id b66mr3302729qke.107.1507917670587; Fri, 13 Oct 2017 11:01:10 -0700 (PDT) MIME-Version: 1.0 Received: by 10.12.191.16 with HTTP; Fri, 13 Oct 2017 11:00:29 -0700 (PDT) From: Gabriel Scherer Date: Fri, 13 Oct 2017 20:00:29 +0200 Message-ID: To: caml users Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] OCaml 4.06.0+beta2 Dear OCaml users, We have created a second beta version of the upcoming OCaml 4.06.0 release for your repeated testing pleasure. It is available as opam switches 4.06.0.+beta2 (or +beta2+flambda, etc.) opam switch 4.06.0+beta2 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+beta2.txt The more specific list of changes since 4.06.0+beta1 is included at the end of this email. Thanks to all of you who have been actively testing OCaml software and making strings immutable. Happy hacking, -- Gabriel Scherer for the OCaml team. (Changes that can break existing programs are marked with a "*") ### fixes of regressions introduced in 4.06 - the output of `ocamlc -config` in 4.06.0+beta1 did not include the 'bytecomp_c_compiler' and 'native_c_compiler' variables anymore, which broke some configuration/installation scripts. The variables are now restored. When possible, script authors are encouraged to use the new, more meaningful variables 'c_compiler' and 'ocaml{c,opt}_cflags'. (Jeremy Yallop and S=C3=A9bastien Hinderer) - GPR#1174 (Stop pushing default arguments when there is an unlabeled argument) was reverted, as it was causing an unplanned increase in allocations when defining functions with optional arguments. (Jacques Garrigue and Leo White) - a compilation failure on the Frama-C and CIL codebases introduced in 4.06.0+beta1 was fixed. (Gabriel Scherer and Jeremy Yallop) ### Code generation and optimizations: - MPR#7642, GPR#1411: ARM port: wrong register allocation for integer multiply on ARMv4 and ARMv5; possible wrong register allocation for floating-point multiply and add on VFP and for floating-point negation and absolute value on soft FP emulation. (Xavier Leroy, report by St=C3=A9phane Glondu and Ximin Luo, review and additional sightings by Mark Shinwell) ### Tools: - MPR#7048: ocamldoc, in -latex mode, don't escape Latin-1 accented letters (Xavier Leroy, report by Hugo Herbelin) * MPR#7363, GPR#830: ocamldoc, start heading levels at {1 not {2 or {6. This change modifies the mapping between ocamldoc heading level and html heading level, breaking custom css style for ocamldoc. (Florian Angeletti, request and review by Daniel B=C3=BCnzli) - MPR#7635, GPR#1383: ocamldoc, add an identifier to module and module type elements (Florian Angeletti, review by Yawar Amin and Gabriel Scherer) (this change was already in 4.06.0+beta1, but missing from the Changelgo) - GPR#1231: improved printing of unicode texts in the toplevel, unless OCAMLTOP_UTF_8 is set to false. (Florian Angeletti, review by Daniel B=C3=BCnzli, Xavier Leroy and Gabriel Scherer) ### Runtime system: * GPR#1416: switch the Windows 10 Console to UTF-8 encoding. (David Allsopp, reviews by Nicol=C3=A1s Ojeda B=C3=A4r and Xavier Leroy) * MPR#7640, GPR#1414: reimplementation of Unix.execvpe to fix issues with the 4.05 implementation. The main issue is that the current directory was always searched (last), even if the current directory is not listed in the PATH. (Xavier Leroy, report by Mantis users 'AltGr' and 'aalekseyev', review by Ivan Gotovchits) ### Bug fixes - MPR#7612, GPR#1345: afl-instrumentation bugfix for classes. (Stephen Dolan, review by Gabriel Scherer and David Allsopp) - GPR#1390: fix the [@@unboxed] type check to accept parametrized types (Leo White, review by Damien Doligez)