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 1187C7F616 for ; Fri, 24 Feb 2017 17:15:32 +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-qt0-f173.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.216.173; 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.216.173 as permitted sender) identity=mailfrom; client-ip=209.85.216.173; 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-qt0-f173.google.com) identity=helo; client-ip=209.85.216.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-qt0-f173.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A/eb4WxxQLayNrMDXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2ugSIJqq85mqBkHD//Il1AaPBtSGragcwLqJ+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFIiTanf79+MBq6oAbTu8ILnYZsN6E9xwfTrHBVYe?= =?us-ascii?q?pW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbf?= =?us-ascii?q?VwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8rxmQwH0hi?= =?us-ascii?q?gZKzE58XnXis1ug6JdvBKhvAF0z4rNbI2IKPZyYqbRcNUdSmRcQ8ZRTDRBDZ2g?= =?us-ascii?q?YIsTAeQBOuNYoJP8p1sIsBCyAQahCefqxjJOm3T437A10/45HA7E0gwuH9wAvn?= =?us-ascii?q?fJotvrKKgfSvy1wLXSwDnfc/9axTXw5Y7VeR4hu/GMWrdwfNLQx0Y1DAzFlFSQ?= =?us-ascii?q?ppLhPziIy+oCr2ib4PR6Ve2xkW4stgZ8oje1ycg3kInJh5waylTe+SVi3Ik1Jc?= =?us-ascii?q?O3SFRlbt6+C5ZQuCSaOJF3QsMmWW1npCE6yrgftJO9YSMExpMnxxvFZPyGdYiF?= =?us-ascii?q?+hPjVOCLITd5nn1pYry/hwyq/Uivy+38Ssm00EtRoSZfjtbMsXUN2wTT68edSv?= =?us-ascii?q?t9+UCh1SyT2ADU7+FJJ10/m6nDK5M53LI8ip4evV7AEyL2gkn6krKae0Q+9uS1?= =?us-ascii?q?6enqbLPrrYKGOYBukAHxKKEul9S/AesmNggOWHCW+eGm273i+U31WaxKjuEqnq?= =?us-ascii?q?XAvpDWOMYWq6CjDw9a1YYj7Bm/DzO439gCgXYHK1dFdAqGj4jvJV7OPOj1Aemj?= =?us-ascii?q?j1moijtmxPDLMqf/DpnQL3XPiqrtcLRz5kJEzQo819Ff55ZaCrEbJ/LzX1f8tN?= =?us-ascii?q?PCARAiKQy0wvjoCNFn2oMFRW2PArGWMLnMvl+S/e8vLOyMa5UUuDb5MfQq+/nu?= =?us-ascii?q?jXohlV8HYaapxYcXaGy/Hvl+P0qWe3/sgtMYHWcOvwo+V/DqhUaZUT9TYnayR7?= =?us-ascii?q?gz6is6CIKgF4fDR5qijKaP3CehTdVqYTV4C0qDEHPlP72eVukLcz6Vapt/kyYL?= =?us-ascii?q?VLysDZc72A+prxP94787PqzT4CJO5rz5090gyOTZjxA/8XRPBMSQyWyXBzV7l2?= =?us-ascii?q?kSRjIymrt0oUFnx02r3q1xgvgeHttWsaAaGjwmPILRmrQpQ+v5XRjMK5LUEVs?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CeAQCkW7BYhq3YVdFdGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFgEBAQMBAQEJAQEBg0c/gQkHg1SbZ4I6hkCOSCqFeAKCBwdDFAEBAQE?= =?us-ascii?q?BAQEBAQEBEgEBAQgLCwodL4IzIoIcAQUjHQEbEgsBAwwGBQsNAgIJHQICIgERA?= =?us-ascii?q?QUBChIGExKJSQEDFQ6hHD+MA4IEBQEcgwkFg18KGScDClWDKgEBAQEBAQQBAQE?= =?us-ascii?q?BARsCBhJ5hUGEb4dagl8FhzoMgV+HKUuLAYIChHKLMYJOjkiRZhQegRU2gSIhF?= =?us-ascii?q?B9TF4QOGyCCCyI1iikBAQE?= X-IPAS-Result: =?us-ascii?q?A0CeAQCkW7BYhq3YVdFdGgEBAQECAQEBAQgBAQEBFgEBAQM?= =?us-ascii?q?BAQEJAQEBg0c/gQkHg1SbZ4I6hkCOSCqFeAKCBwdDFAEBAQEBAQEBAQEBEgEBA?= =?us-ascii?q?QgLCwodL4IzIoIcAQUjHQEbEgsBAwwGBQsNAgIJHQICIgERAQUBChIGExKJSQE?= =?us-ascii?q?DFQ6hHD+MA4IEBQEcgwkFg18KGScDClWDKgEBAQEBAQQBAQEBARsCBhJ5hUGEb?= =?us-ascii?q?4dagl8FhzoMgV+HKUuLAYIChHKLMYJOjkiRZhQegRU2gSIhFB9TF4QOGyCCCyI?= =?us-ascii?q?1iikBAQE?= X-IronPort-AV: E=Sophos;i="5.35,201,1484002800"; d="scan'208";a="214625872" Received: from mail-qt0-f173.google.com ([209.85.216.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Feb 2017 17:15:23 +0100 Received: by mail-qt0-f173.google.com with SMTP id x35so20394869qtc.2 for ; Fri, 24 Feb 2017 08:15:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=4p+QOJbE0rVlcEx4cDzRp0+CJ5d0PohIA+QeRckUpow=; b=GF34yOuuCPHEMSi0pi1xfwxDTJUPZmxvIMN/3LfS/auuXpGziayJ2KbNhulUA+kqbG VJMmSiW3oo0mzGgs3ucBiv531UVW8LoFKU8mKbj5snims35vA2IWiQS3IKye7hPcBSkH Q8BwXpc2T3yk5oBkc0YOa7bxwh5vr20IvWl7HeiEPU8vdIirKSW7r2FXTOXQLbp2Cr9v RmnAwIuPXAHWnkc9kpElgX0Kzc5nzetj5YPY/BaKBF33eiJP9767HR4NJfnEONQBiwdp l2Y9G8mRcsTE3aRxUdzpZ4fj7VSyxupDlG0mymKuf/wZTcb//8OE+A+3DfHJWjPS5rp+ /rag== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=4p+QOJbE0rVlcEx4cDzRp0+CJ5d0PohIA+QeRckUpow=; b=DfyeROsGTTS74VQZRGBA4U11tRephb8EgEZP04+8vbDPGT5jqNz93LNHqNzmvwkJrH ut+OnKM9n7/L5b54s00YJ7h60kJSqf1T/citgjvaYqp6D7lqdrRr7MSJvxXF4y3+fjF+ Pdv9mVAA5kU6Y5OpbbUhTyPCmy0qkQoDCVWeFGCkG6ZIK3mo3ojgti1zzpvcyKiyCXAb qhl73tbU+3Y1btpnlHNWwP66st5Jprw4QjknnyXbJNSpZe7+1vQva54Oi0ZzlwMi6I1O FSFKPYywCD5rO4vMimBgH6ip9ctS+aKhVCvGK+sdq3etVtMg2ZyRzr+rKrpf4dlCf8gj R2vA== X-Gm-Message-State: AMke39loO8fu+SWBEqbEZ/ifHpWLOWhLzIhsLiuNmoInt6F5CsMDzlBR5VRAROsyW4YTXooKdS0mr3VBFe8gJw== X-Received: by 10.237.35.231 with SMTP id k36mr3441381qtc.192.1487952922046; Fri, 24 Feb 2017 08:15:22 -0800 (PST) MIME-Version: 1.0 Received: by 10.12.182.91 with HTTP; Fri, 24 Feb 2017 08:14:41 -0800 (PST) In-Reply-To: References: From: Gabriel Scherer Date: Fri, 24 Feb 2017 11:14:41 -0500 Message-ID: To: Virgile Prevosto Cc: OCAML Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] typechecking in 4.05+beta2 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 ) On Fri, Feb 24, 2017 at 3:47 AM, Virgile Prevosto wrote: > Dear list, > > 2017-02-22 19:54 GMT+01:00 Virgile Prevosto : >> while playing with the new beta, I stumbled upon the following issue. >> The program below is now rejected by the compiler, while this was not >> the case with 4.04. >> [snip] > > I've bisected the issue and it is apparently caused by commit > 2bd22967b that fixes mantis issue 7414, which is about weak type > variables and first-class modules. I don't know the type-checker well > enough to understand whether it is possible to accept my example while > rejecting the one from MPR#7414. > > Best regards, > -- > E tutto per oggi, a la prossima volta > Virgile > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs