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 025347FA5E for ; Thu, 20 Apr 2017 02:15:26 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=asai@is.ocha.ac.jp; spf=Pass smtp.mailfrom=asai@is.ocha.ac.jp; spf=None smtp.helo=postmaster@web.is.ocha.ac.jp Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of asai@is.ocha.ac.jp) identity=pra; client-ip=133.65.64.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="asai@is.ocha.ac.jp"; x-sender="asai@is.ocha.ac.jp"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of asai@is.ocha.ac.jp designates 133.65.64.10 as permitted sender) identity=mailfrom; client-ip=133.65.64.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="asai@is.ocha.ac.jp"; x-sender="asai@is.ocha.ac.jp"; 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@web.is.ocha.ac.jp) identity=helo; client-ip=133.65.64.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="asai@is.ocha.ac.jp"; x-sender="postmaster@web.is.ocha.ac.jp"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A4YOuDRWOlUn2N7zRj0KH9R4PGGLV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxKHt8tkgFKBZ4jH8fUM07OQ6PG8HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLd9IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlD?= =?us-ascii?q?kIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZDI2y?= =?us-ascii?q?b5UBAfcCM+ZWoIbyu0YBohmwCgS3GOPj1iVFimPq0aAgzegsFxzN0gw6H9IJtX?= =?us-ascii?q?TZtND7O7kUUeC00KbIzTTDZO5K1Dfm8ofIcw0qrPaWUrJra8XRyFIiFwLejlmK?= =?us-ascii?q?rozqIzOV2f4Xv2eB8+VsT+Cvi3Y+pgx3vzOhxd8sh5HUio8bxF3I7yR0zYYvKd?= =?us-ascii?q?C5R0N3e8OoHIdIuy2HKod6XNkuT3xmtSs70LELuJ62cDIUxJg5yBPSbeGMfZKS?= =?us-ascii?q?7RL5TumRJC91hHJ7d7K7gBa/6UahxfPnWcWu0VZKtTBJkt7QuXANzRPf8NKIRe?= =?us-ascii?q?dn8kejwTaDzwHT6udaLkAojafXNpAsz7AqmpcSsUnPBC77lUrsgKOLakko4u2o?= =?us-ascii?q?5P7mYrXiqJ+cLYh0igTmP6s0gcywG+U4PxMPX2iA4+i806Hs/U3jT7lQlPI5jr?= =?us-ascii?q?PVsJLCJcgDvK62HxdV0po/6xa4FzqpzM4XnXwDLF5cfBKHjpPpO03VLfDjDfa/?= =?us-ascii?q?hkysny1xy/DHOL3hGJTNIWLZnLfvZ7Yuo3JbnS4+yphg55NIB/lVJO3zW1P8nN?= =?us-ascii?q?7RCBIiLxa5zvqhA9J4gNAwQ2WKV4yUNqLZsV7Az/kmIqHYbZQcuR78ML4i7P7n?= =?us-ascii?q?y3Yy310FK/r6laALYWy1S6w1a36SZmDh15JYST8H?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CwAgAg/fdYfwpAQYVcHQEFAQsBGAEFA?= =?us-ascii?q?QsBlASQb5dxAYYjAoQFQhUBAQEBAQEBAQEBARIBAQsWXYIzIgGCQAECAgEnEz8?= =?us-ascii?q?FCwsOEyUPBSABBQEiiiQHAZ4bP41wOodrGoMaAQEBAQEFAQEBAQEjEos3iAuCM?= =?us-ascii?q?QWHKgeJUYwtkm8NgWiId4ZtkkkzgRU1gScmHQgthziJUQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CwAgAg/fdYfwpAQYVcHQEFAQsBGAEFAQsBlASQb5dxAYY?= =?us-ascii?q?jAoQFQhUBAQEBAQEBAQEBARIBAQsWXYIzIgGCQAECAgEnEz8FCwsOEyUPBSABB?= =?us-ascii?q?QEiiiQHAZ4bP41wOodrGoMaAQEBAQEFAQEBAQEjEos3iAuCMQWHKgeJUYwtkm8?= =?us-ascii?q?NgWiId4ZtkkkzgRU1gScmHQgthziJUQEBAQ?= X-IronPort-AV: E=Sophos;i="5.37,222,1488841200"; d="scan'208";a="220896955" Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail3-smtp-sop.national.inria.fr with ESMTP; 20 Apr 2017 02:15:25 +0200 Received: from mail-io0-f200.google.com (mail-io0-f200.google.com [209.85.223.200]) by web.is.ocha.ac.jp (Postfix) with ESMTP id BBF582011517B for ; Thu, 20 Apr 2017 09:15:21 +0900 (JST) Received: by mail-io0-f200.google.com with SMTP id o22so42285805iod.6 for ; Wed, 19 Apr 2017 17:15:21 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:subject:message-id:references :mime-version:content-disposition:in-reply-to:user-agent; bh=nY3XTcLoQqQAyK8Vy7RjW/mzQ2ofBHGMDs65ELU8SK4=; b=Z+k+/jL0878OzvQIjpOwpZDHBwx3iswAlb+XEbbpPs7glp8tFGih4b4A20EDY2i/u+ gJipWpEZX5qV0caQKQnq9K99hvBQ4WPEm0n1jot5v7BZ0QdtdczSYMxFV8JQ9wS4mKGw NZYxeW0+p+0EFBMpd+5xai1peA003Cb1dD/Qbcw/rjGfVrrGWq4ovo/yl3ytb3iR2nKY 8Z4KapKkBUmV15MADHdpPIXRV/Wkes2B1JO6oc2eJDx7VdZxP2uy5s/4vlR58V3Neehh q01/ae9wpBUT73MENIY96x/chlF1YPjIKuViYWwpJBI2swNb8bZ/UXK6Cf3lZEuLY90F ueUg== X-Gm-Message-State: AN3rC/7sBjIpowqAzq+WhgI9KBVEKu+RGVmkxLftrtWP137lm/mVlgCv DofOon8swHDZKrE/A2aRCeghZJJ1E/zq88/duFGcH1GpJNVv90zV32Oj3TA5U9tdFJ62pWlkvsP Obzs= X-Received: by 10.98.194.69 with SMTP id l66mr5467459pfg.55.1492647320667; Wed, 19 Apr 2017 17:15:20 -0700 (PDT) X-Received: by 10.98.194.69 with SMTP id l66mr5467446pfg.55.1492647320462; Wed, 19 Apr 2017 17:15:20 -0700 (PDT) Received: from localhost (112.136.65.224.er.eaccess.ne.jp. [112.136.65.224]) by smtp.gmail.com with ESMTPSA id z123sm6528282pfz.56.2017.04.19.17.15.19 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 19 Apr 2017 17:15:19 -0700 (PDT) Date: Thu, 20 Apr 2017 09:15:02 +0900 From: Kenichi Asai To: Leo White Cc: caml users Message-ID: <20170420001502.GA65316@pllab.is.ocha.ac.jp> References: <20170419104058.GA63988@pllab.is.ocha.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.7.2 (2016-11-26) Subject: Re: [Caml-list] Question on "more general" > Without looking too closely at your question I would assume that is just the > value restriction. But both in the expressions: > let a = 1 in fun x -> 1 > let a = assert false in fun x -> 1 the variable a is not used in fun x -> 1. How can the type of x be affected by an unused binding for a around fun x -> 1? It also seems that assert false can be used polymorphically (because of the relaxed value restriction?): # fun () -> let a = assert false in (a 1, a true);; Warning 20: this argument will not be used by the function. Warning 20: this argument will not be used by the function. - : unit -> 'a * 'b = -- Kenichi Asai