From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 2F7CD5D4 for ; Sat, 18 Apr 2020 11:01:11 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.72,398,1580770800"; d="scan'208";a="445719631" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Apr 2020 13:01:10 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 25D607F487; Sat, 18 Apr 2020 13:01:10 +0200 (CEST) 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 62D7D7EEDF for ; Sat, 18 Apr 2020 13:01:05 +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 IronPort-PHdr: =?us-ascii?q?9a23=3AeKaqxBSKMxlKCXA4Id949kinANpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa67bRWN2/xhgRfzUJnB7Loc0qyN7PCmBDRIyK3CmU5BWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnY6Uy/yPgtt?= =?us-ascii?q?J+nzBpWaz4Huj7jzqNXvZFBqiSCwZKI6HRyyqQLJ/p0HiI9mLb4ZxR7Ao38OcO?= =?us-ascii?q?NTkzBGP1WWyjXx4Ma7/J8r2j9Zurp1/tVJUI37ZOI/RrxRSj0tdWItsp64/SLf?= =?us-ascii?q?RBeCsyNPGl4dlQBFVk2ctEmjD8XB9xDiv+844xG0eMj/TLQ6QzOntvo5SQSujy?= =?us-ascii?q?wHPngw+yfVkp4p1f4JkFeavxV6hrXsTsSNLvMnI/HcZpUdTmpIGM9aES5ZUNvl?= =?us-ascii?q?Mtk/StEZNOMdlLHT4lsDqRznVFuzCempyyQOgXT21Osz2KIjCVOe0Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CMAABK3ZpefQpAQYVmHQEBAQkBEQUFA?= =?us-ascii?q?YFqBQELAYNqMY1Jo1gCCAEDAQoBAS0CBAEBhEQCgg8cBwEEMwYOAhABAQUBAQE?= =?us-ascii?q?CAQIDBAETAQELFAgbhXeCOwUBIwEGgwcCAQMSKD8QC0Y0AQUBHAY1hgABoluBB?= =?us-ascii?q?D2MWohxIYFWEoEmAYxSggCBEYMQPogSgi0EiwwHjhaYWIJOgmmUdgwdgkUBjRa?= =?us-ascii?q?MdqxYAgoHBg8jgUWBejMaCDA7gmpPGA2RZBeONDOBNSYTjBmBVAEB?= X-IPAS-Result: =?us-ascii?q?A0CMAABK3ZpefQpAQYVmHQEBAQkBEQUFAYFqBQELAYNqMY1?= =?us-ascii?q?Jo1gCCAEDAQoBAS0CBAEBhEQCgg8cBwEEMwYOAhABAQUBAQECAQIDBAETAQELF?= =?us-ascii?q?AgbhXeCOwUBIwEGgwcCAQMSKD8QC0Y0AQUBHAY1hgABoluBBD2MWohxIYFWEoE?= =?us-ascii?q?mAYxSggCBEYMQPogSgi0EiwwHjhaYWIJOgmmUdgwdgkUBjRaMdqxYAgoHBg8jg?= =?us-ascii?q?UWBejMaCDA7gmpPGA2RZBeONDOBNSYTjBmBVAEB?= X-IronPort-AV: E=Sophos;i="5.72,398,1580770800"; d="scan'208";a="346320965" X-MGA-submission: =?us-ascii?q?MDEBeG91z7VPiw4xMWkqeYPicG5eKpFlPD9+2T?= =?us-ascii?q?e9j8NFOFpXsk1kzVHNN9YB/+krGUzVW6uAu5/seT8PeXoHlOGpLGFHSk?= =?us-ascii?q?w1d8KevCyy3prH9X0nyU373O+7CVLkVhKVRh9zUvP/gnVmFiCQ6w9B50?= =?us-ascii?q?IpBfrPITwL2YbyiCcK66ZxbQ=3D=3D?= Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Apr 2020 13:01:03 +0200 Received: from mail-pl1-f198.google.com (mail-pl1-f198.google.com [209.85.214.198]) by web.is.ocha.ac.jp (Postfix) with ESMTP id 4422120044C38 for ; Sat, 18 Apr 2020 20:01:01 +0900 (JST) Received: by mail-pl1-f198.google.com with SMTP id z9so4000086plk.5 for ; Sat, 18 Apr 2020 04:01:01 -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; bh=4HK0BtfI9fLT35ktQ4gXQ62iY5NJupQqdcMSlzfWs2c=; b=nA8WlRb4Hs0YoF8IbM/n7ddsF221B60nosa2nppAClxbM64uN/Vslpvmr7Xz/YCcG+ sd9sm+ngj3PZnIG7saSj5TDaPfQg/a2tBaAuV/tkomalfMy1KTnESQdwNgeonapMR+pu gxkAvj0W8QiAJFPxp37o+Pl3feeJNxKV12RAlvFiwEyKNqjArdwwCwsiYrK00qwOQaNI 1FME7OEPRCnr+R46w409ScX9wOEN4CAqqv2y/VfgMHxB5s6dmho5EL9MSQW/lDNJQ8sX FqFKJCSSZHwaBBphqV/vH+Xj3U0nNfYOQsYwbJI4rnXhdw9kNakoQMTOisGzvaPGFS69 m1uw== X-Gm-Message-State: AGi0PuY2owdRXFf37Lcl2PYf5vXzwDDDBRq+JpQ8ItpP7Cdt1kzTNsff NO1e5MEvJTxza0YJav5Q95McyjezrBLYpe8XVZy9OuVie3Vn+KXm0SNqhuZnyupHlxuitJxhqXd HeVr1sww25mUg X-Received: by 2002:a63:b542:: with SMTP id u2mr7352459pgo.352.1587207660481; Sat, 18 Apr 2020 04:01:00 -0700 (PDT) X-Google-Smtp-Source: APiQypInRQdEJrZ4gBA8QolZ/7T1mlIm5MG0wITZ0i8zA614MdwDCmowBEd2tvuDmRtkh0OyE5DOOg== X-Received: by 2002:a63:b542:: with SMTP id u2mr7352437pgo.352.1587207660210; Sat, 18 Apr 2020 04:01:00 -0700 (PDT) Received: from localhost (123.230.42.163.er.eaccess.ne.jp. [123.230.42.163]) by smtp.gmail.com with ESMTPSA id w13sm6895056pfn.192.2020.04.18.04.00.59 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 18 Apr 2020 04:00:59 -0700 (PDT) Date: Sat, 18 Apr 2020 20:00:53 +0900 From: Kenichi Asai To: Jeremy Yallop Cc: Gabriel Scherer , caml users Message-ID: <20200418110053.GA81780@pllab.is.ocha.ac.jp> References: <20200418022319.GA75735@pllab.is.ocha.ac.jp> <20200418094736.GA80393@pllab.is.ocha.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Subject: Re: [Caml-list] Locally abstract parameterized types? Reply-To: Kenichi Asai X-Loop: caml-list@inria.fr X-Sequence: 18107 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Thank you, Gabriel and Jeremy. The GADT approach went well. I thought I considered GADTs, too, but it seems I did not pursue it enough. Thanks again. -- Kenichi Asai