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 B9E947F616 for ; Fri, 24 Feb 2017 09:47:15 +0100 (CET) Authentication-Results: mail2-smtp-roc.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-wr0-f181.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of virgile.prevosto@gmail.com) identity=pra; client-ip=209.85.128.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="virgile.prevosto@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of virgile.prevosto@gmail.com designates 209.85.128.181 as permitted sender) identity=mailfrom; client-ip=209.85.128.181; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wr0-f181.google.com) identity=helo; client-ip=209.85.128.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="postmaster@mail-wr0-f181.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ARlZmwBbape913bocb6zFzwP/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpsSzbnLW6fgltlLVR4KTs6sC0LuL9fmxEjVasN7B6ClEK8McEUddyI?= =?us-ascii?q?0/pE8JPo2sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7Mhdp?= =?us-ascii?q?dKyuQtaBx5f/6+fn3Lb6RiEA0DG0ZLc3KBStsS3QsNMXiM1sMPBi5AHOpy52ev?= =?us-ascii?q?5ZxGdlbWqJkgj7/du3tMp98j5fuvYssdZaXLv9ZLg/ZbkEHHIhKW9jt56jjgXK?= =?us-ascii?q?UQbavihUaW4RiBcdWwU=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DkAABc8q9YhrWAVdFdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhQ8Hg1S8bQdDFAEBAQEBAQEBAQEBEgEBAQgLCwodL4IzIIIeBiM?= =?us-ascii?q?dATkDDAEFBQsPAiYCAiISAQUBHAYTiVwDFaB6P4wDgiaDCQWEBCcNhCkCBhJ5h?= =?us-ascii?q?UGEb4dagl8FiSWHdIsBggKQI4FjjzORZhQegRU2gSE1LEYXBYJWgQkmG4IOPzW?= =?us-ascii?q?KKQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DkAABc8q9YhrWAVdFdHAEBBAEBCgEBFwEBBAEBCgEBhQ8?= =?us-ascii?q?Hg1S8bQdDFAEBAQEBAQEBAQEBEgEBAQgLCwodL4IzIIIeBiMdATkDDAEFBQsPA?= =?us-ascii?q?iYCAiISAQUBHAYTiVwDFaB6P4wDgiaDCQWEBCcNhCkCBhJ5hUGEb4dagl8FiSW?= =?us-ascii?q?HdIsBggKQI4FjjzORZhQegRU2gSE1LEYXBYJWgQkmG4IOPzWKKQEBAQ?= X-IronPort-AV: E=Sophos;i="5.35,200,1484002800"; d="scan'208";a="261902619" Received: from mail-wr0-f181.google.com ([209.85.128.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 24 Feb 2017 09:47:15 +0100 Received: by mail-wr0-f181.google.com with SMTP id g10so6749234wrg.2 for ; Fri, 24 Feb 2017 00:47:15 -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=r0V8xZRqkVp5b0xFRhxCYo/G0wv3WtHSHPmr/GYBtCw=; b=vPrYJNySVG3RYm/0pfA3WanD8mDmJMD1CjxEKk4Yh4Qcv463vJCR4JyhuCUBw+tsx2 SwZfF/XMK9etKrTtGKuSBBfgPVgTS2z0EXmsoCxU7csVhGvo/tqPN5mxygXvmT6QQZXW HZBO9dej53+82C16AqE1ab8oYfCoaNC4gcpTjeyZ8hc7pDK9Minwn6XYTPyrABDNIsq8 Mghboci2tg4PR5FOHQJIOZ/+7NHDqAyeJUCtlNDXLMf/acfAZ6aWyAyiSb1WZuD2p001 IWyi9Je3CMJ8xWZ3jTM0q6d9hk8+LJ60NBf9lbepsWR+HJgLcPopKHTvkWbBgnHe8HfE 0HvA== 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=r0V8xZRqkVp5b0xFRhxCYo/G0wv3WtHSHPmr/GYBtCw=; b=AU+rCOnGIl5q4AWOYU0Sq+Ze3hZ1gAioa8zEBX5nNaBw1SnEtZRiCGJIBXorvKBP6R lD+QN3TlzSPrroHTnr4Q/kEQrz5HdaK+hfh6N8JN5XySQqA7Du6vcijxEIdlmcxmTYWY kRAB/tIuDFDBUf1gyLdyajKshCH/6nP8DknHq+fFuDuazP0QFhQ8BacsqMn18AhDYUis WxoUy3PoCLGpxhCRO7g27NK3lSbI6pJmg0X/M8yu1ZExKornVWYWJLtv8M2xlXEe+zQh PIhKt13cT6WG0+Mea1tVkVkc99s/LsZzBmRF5h6Zlpop5zxgRcKg3gEPmFDMY165deMJ o41g== X-Gm-Message-State: AMke39n38sDzpfPRV1DtIq2IH+yzlqPDXnVNrvYaVqYj2id7A+B5evHzQPlDS2otmV+xLJW8uav5HFmU+uO+lA== X-Received: by 10.223.160.220 with SMTP id n28mr1431423wrn.31.1487926035097; Fri, 24 Feb 2017 00:47:15 -0800 (PST) MIME-Version: 1.0 Sender: virgile.prevosto@gmail.com Received: by 10.80.153.120 with HTTP; Fri, 24 Feb 2017 00:47:14 -0800 (PST) In-Reply-To: References: From: Virgile Prevosto Date: Fri, 24 Feb 2017 09:47:14 +0100 X-Google-Sender-Auth: QCci8MjuqI1k9DNcQ6Xh2lOPRdA Message-ID: To: OCAML Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] typechecking in 4.05+beta2 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