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 0126B7FA5E for ; Thu, 20 Apr 2017 17:13:47 +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=3AWHxlExVpz2ylINzlW6Rcz7RGNjDV8LGtZVwlr6E/?= =?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?A0BZAACWz/hYlwpAQYVcHQEFAQsBGAEFA?= =?us-ascii?q?QsBlASoYgGGIwKDfEIVAQEBAQEBAQEBAQESAQEBAQEIFgZXgjMiAYJAAwMnEz8?= =?us-ascii?q?QCw4TJQ8FIAEFASKKLgGeJT+NcDqHaBqDGgEBAQEBBQEBAQEBIxKLN4gLgjEFh?= =?us-ascii?q?ysHggOHT4U8hnSSdg2BaIh7hnKSTDOBFTWBJyYdCC2FOoF+ihQBAQE?= X-IPAS-Result: =?us-ascii?q?A0BZAACWz/hYlwpAQYVcHQEFAQsBGAEFAQsBlASoYgGGIwK?= =?us-ascii?q?DfEIVAQEBAQEBAQEBAQESAQEBAQEIFgZXgjMiAYJAAwMnEz8QCw4TJQ8FIAEFA?= =?us-ascii?q?SKKLgGeJT+NcDqHaBqDGgEBAQEBBQEBAQEBIxKLN4gLgjEFhysHggOHT4U8hnS?= =?us-ascii?q?Sdg2BaIh7hnKSTDOBFTWBJyYdCC2FOoF+ihQBAQE?= X-IronPort-AV: E=Sophos;i="5.37,225,1488841200"; d="scan'208";a="220990658" Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail3-smtp-sop.national.inria.fr with ESMTP; 20 Apr 2017 17:13:46 +0200 Received: from mail-io0-f198.google.com (mail-io0-f198.google.com [209.85.223.198]) by web.is.ocha.ac.jp (Postfix) with ESMTP id B060920115180 for ; Fri, 21 Apr 2017 00:13:44 +0900 (JST) Received: by mail-io0-f198.google.com with SMTP id l21so81711185ioi.2 for ; Thu, 20 Apr 2017 08:13:44 -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=d8zuiOhQIJ0RQTzwojrVfUk9j3vnrGgkbZ+dq70bsM4=; b=bFmx4wU2uAxPj3B952z9vKgWkl6I4q+tts1QNDfPqg3Y5GKRzI11nFaAa8Nm1g25xS dg2hvGz7v7xdPIkCwB+1HzYrpVNuQs7q54cqcE/4tNYns7UgyjTYG2MLJqYFKUHzZSDU R2CQbNxFJ+ardMk92PkoaPyi30AyGQF4W24rpLYoVfPUWLCvFrTDYzzxv8rtTIU6j5wr 0LkuN0Z9niH++wju9bWiiUBleXMumqsCd1+4vX6oSFcdzadnrkuJ98JQKCoCiBrFnuH3 4cupb/4ZsvvUrVMKPtxGgReuj8v0aOjfkjU2ZrafIqMQ3bKl2wwGF+NoPghomTH7fwQv Vmkg== X-Gm-Message-State: AN3rC/5H8kBjqo9C7xGaYdcd2vbXIG6Xd00pC2sl714ZPyxIUBvOyar6 RXHE51iHR4hhJtR4J1Qg6pXkl8J6EWnGGBAJJbnR5fkKFVtnjZ+wORUYUH8fGbQlX2/ALKupcVP pW9U= X-Received: by 10.99.44.209 with SMTP id s200mr8539563pgs.25.1492701223926; Thu, 20 Apr 2017 08:13:43 -0700 (PDT) X-Received: by 10.99.44.209 with SMTP id s200mr8539559pgs.25.1492701223778; Thu, 20 Apr 2017 08:13:43 -0700 (PDT) Received: from localhost (112.136.65.224.er.eaccess.ne.jp. [112.136.65.224]) by smtp.gmail.com with ESMTPSA id z21sm11187038pfk.95.2017.04.20.08.13.42 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 20 Apr 2017 08:13:43 -0700 (PDT) Date: Fri, 21 Apr 2017 00:13:31 +0900 From: Kenichi Asai To: Leo White Cc: caml users Message-ID: <20170420151331.GA3452@pllab.is.ocha.ac.jp> References: <20170419104058.GA63988@pllab.is.ocha.ac.jp> <20170420001502.GA65316@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" Thank you! That's very clear. So instead of writing assert false, if I could write a "value" of type 'a, then the type of x becomes 'a. I confirmed it with the following file: -------------------------------- let v = assert false let g1 = let a = v in let f = fun x -> 1 in f let g2 = let a = assert false in let f = fun x -> 1 in f -------------------------------- If I see the types of variables via "ocamlc -i", I obtained: val v : 'a val g1 : 'a -> int val g2 : '_a -> int Thank you again! -- Kenichi Asai