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 29D927F616 for ; Fri, 24 Feb 2017 19:19:55 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=virgile.prevosto@gmail.com; spf=Pass smtp.mailfrom=virgile.prevosto@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f52.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of virgile.prevosto@gmail.com) identity=pra; client-ip=74.125.82.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="virgile.prevosto@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of virgile.prevosto@gmail.com designates 74.125.82.52 as permitted sender) identity=mailfrom; client-ip=74.125.82.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="virgile.prevosto@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-wm0-f52.google.com) identity=helo; client-ip=74.125.82.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="postmaster@mail-wm0-f52.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Aa0rLzBaoZfCr8M0FvN+SvFf/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMS+bnLW6fgltlLVR4KTs6sC0LuL9fq4EjVYsd6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCzbL52LBi6txvdutUZjYd/Nqo8yQbCr2dVde?= =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?= =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?= =?us-ascii?q?EaPDM/7WrZiNF/jLhDrR2jqRxxw4DaboKIOvRgYqzQZs8aSXZbU8pNSyBNHoGx?= =?us-ascii?q?Yo0SBOQBJ+ZYqIz9qkMBohu/HwmsC+LvyjtWiXTrx6M6yfouER/B3Aw7A9IOt2?= =?us-ascii?q?nfodLrNKcTS+C1w6jIzTHdYP9MwTf98pbHcg4mofGXQbJwdtHcyUwgGgLKlFmQ?= =?us-ascii?q?rpblPzyM2+kLrmOV4e1gVee1hG4mrQF8ujevxsYwionJm4Ia0UrI+jl+wIYwI9?= =?us-ascii?q?CzVU11Yca8HZZSuCyWLZZ6Tt0iTm1yuys21KcKtJ6lcCUM1Z8p3QTQa+adfIiN?= =?us-ascii?q?+h/jVPieITN/hH99fbKwnRey8Uy5xuzyU8m4zE9GriRFn9XSrHwN2BvT6s+ISv?= =?us-ascii?q?t54EitwyqA1wfW6u1cIEA0k7TUK4I5z7MymZcfq1nPEjH2lUnsj6KaaF8o9+i2?= =?us-ascii?q?5+j/Z7XpvJ6cN4t6igHkNaQun9SyAfo5MggUUGib+OC826P58U3hWrVFkOM2kq?= =?us-ascii?q?7CsJDGIsQWvaG5AwpP3YYi7xazFSup0NMdnXUfNlJKZAqHj5T1O1HJOP33Ee2w?= =?us-ascii?q?g1GokDtyw/DGP6bhAonWI3jYkLbheK595FRGxAoyy9Bf/ZNUBasbLPL9QE+i/O?= =?us-ascii?q?DfWzgSGimQi7LsAdB5k4cfQn6nA6mDMaqUv0Xetcw1JOzZWo4Ptzf5JrAd/fPw?= =?us-ascii?q?imQlnhdJY6iz0poTZTagBPl4JF6FZlLp3sdHFn0F6FltBNf2gUGPBGYAL025WL?= =?us-ascii?q?gxs2k2?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B/AQACeLBYhjRSfUpdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhAaBCQeDVKNzjSmCN4gBB0EWAQEBAQEBAQEBAQESAQEBCAsLCh0?= =?us-ascii?q?vgjMggh4GIx0BOQMMAQUFCw8CJgICIQESAQUBHAYTiVwDFQ6hbj+MA4ImgwkFg?= =?us-ascii?q?34nDYQpAgEFEnmFQYRvglGFCYJfBZtgOoIChHKHEIQhkRaKR4cfFB6BFSYBgTE?= =?us-ascii?q?1LEYXBYJagQlBgg4/NYopAQEB?= X-IPAS-Result: =?us-ascii?q?A0B/AQACeLBYhjRSfUpdHAEBBAEBCgEBFwEBBAEBCgEBhAa?= =?us-ascii?q?BCQeDVKNzjSmCN4gBB0EWAQEBAQEBAQEBAQESAQEBCAsLCh0vgjMggh4GIx0BO?= =?us-ascii?q?QMMAQUFCw8CJgICIQESAQUBHAYTiVwDFQ6hbj+MA4ImgwkFg34nDYQpAgEFEnm?= =?us-ascii?q?FQYRvglGFCYJfBZtgOoIChHKHEIQhkRaKR4cfFB6BFSYBgTE1LEYXBYJagQlBg?= =?us-ascii?q?g4/NYopAQEB?= X-IronPort-AV: E=Sophos;i="5.35,201,1484002800"; d="scan'208";a="214636169" Received: from mail-wm0-f52.google.com ([74.125.82.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Feb 2017 19:19:54 +0100 Received: by mail-wm0-f52.google.com with SMTP id r141so20865353wmg.1 for ; Fri, 24 Feb 2017 10:19:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to; bh=fr+2ZAv4+UO/guyrF8JJQ7UbjD99IqWtjlz8MuG0GvY=; b=NgshrnSLK8wYc8WOgiSKyxR+82EmC/Jp9zEYEZH/uiSgjRhIxL9HdbIx429VJm0rjD fcdc/b5ixXnMEMeUJ+x6QDDosnidpJtzwx0ZwCs/UxTKmZydp9SAzLJ0mREGPN3b84kH DKS+JoXPr8Yy83dAWUbVXj3tGzoq5nJL1SyME3Du8gex3kqFlhseFFC+tW8M1n8RtqVW T68bd6ENoxCoZ3aI6lYgw0kSFrL4y963sL9HXhSvNd/R+LpF6fkLXL7vCODaNXC2Kz0l 69W7Df8djF0HAJ8yauRBmoBofkKxCfsmPPDwwD8eiRU1LK02rIntpBmGPOb0nnH7W38K fPMg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:in-reply-to:references:from :date:message-id:subject:to; bh=fr+2ZAv4+UO/guyrF8JJQ7UbjD99IqWtjlz8MuG0GvY=; b=rLmoQ/bRsUqzUvoW0dCyGmjZCKaNcDGHtgD+lqVi+qruwOEVos3PUWSCgjEBi1QZPh M/6ICJIeeLCfg5/gYbXAFoqR1g1Aa0b7yFuiaAqEAA77/mthWwCBN/Fo1vbLqaswZpb1 ijZkEFRP7Oku95Wx3UU+GzQmji048SKk7DBWxLYjo/YH0vqTvq6jrcrR/B8umDgd726H J8cdkD3KUpHUWkWtwQZy+Ugaem3vHQSVOxmAPMX/QHzxcBdto6pnxOwvNhU5Lk5Yo7hP KnDOSFc4a/H+ys/ZofrJEM95VGpwMjEK/c21Cg28cKCRHmX9bgGkndti9HRbiwCe1uG6 kDpg== X-Gm-Message-State: AMke39lF2KtDZBXqQgHB1qL2OH1odQuoOpJY3mDFdLBekVy+uWfG76auUQxXbsG32UgPfMQAFtKQivb5gYFb7A== X-Received: by 10.28.105.68 with SMTP id e65mr3857881wmc.44.1487960394022; Fri, 24 Feb 2017 10:19:54 -0800 (PST) MIME-Version: 1.0 Sender: virgile.prevosto@gmail.com Received: by 10.80.153.120 with HTTP; Fri, 24 Feb 2017 10:19:53 -0800 (PST) In-Reply-To: References: From: Virgile Prevosto Date: Fri, 24 Feb 2017 19:19:53 +0100 X-Google-Sender-Auth: f1xGqDsO8KKUp3xaK_3jJ7xIDTQ Message-ID: To: OCAML Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] typechecking in 4.05+beta2 2017-02-24 17:14 GMT+01:00 Gabriel Scherer : > Thanks for the bisection work. The related code change reproduces, at > the level of functors, a change in handling of non-generalized > inference variables that was done at the module level in 4.04, and for > which there were a couple similar known regressions. I believe that > the conclusion would be the same here : it is unfortunate that your > code breaks, but we don't expect the new behavior of 4.05 (which plugs > a small soundness hole in the type system) to change to become more > permissive again. > > ( I posted in essence the same comment on the relevant pull request > discussion: https://github.com/ocaml/ocaml/pull/929#issuecomment-282283191 > ) > Thanks for your answer. I saw your comment on github that confirmed my fears ;-). Anyway, the fix is indeed only a couple of eta-expansions or type annotations and we can live with that. Best regards, -- E tutto per oggi, a la prossima volta Virgile