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 5FB9D5D4 for ; Sat, 18 Apr 2020 02:24:05 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.72,397,1580770800"; d="scan'208";a="445690351" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Apr 2020 04:24:04 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 300317F494; Sat, 18 Apr 2020 04:24:04 +0200 (CEST) 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 9FBDC7F47A for ; Sat, 18 Apr 2020 04:23:56 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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=3APO+t0RM8EfPh/uc3Quol6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lfn5rarrMEGX3/hxlliBBdydt6sZzbGG+P2/ESxYuNDd6SxEKMQNHzY+yu?= =?us-ascii?q?wo3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMYbjZZiJ6orxBbEoXREdu?= =?us-ascii?q?RUyGh1IV6fgwvw6t2/8ZJ+/Clcoe4t+9JFXa7nY6k2ULtUASgpPGwy+MDlrwTI?= =?us-ascii?q?QxGV5nsbXGUWkx5IDBbA4RrnQJr/sTb0u/Rk1iWCMsL4Ub47WTK576d2UxDokz?= =?us-ascii?q?sINyQ48G7MlMN9ir9QrQ+7qBx+x47UZ5yVNOZ7c6jAc94WWXZNU8BMXCFHH4iy?= =?us-ascii?q?bZYAD/AZMOhWr4fzuUYAoxixCgawGezi0SNIimPs0KEmz+gtDR/K0Qo9FNwOqn?= =?us-ascii?q?TUq9D1Ob8XX++ryqnIzCnMb/NX2Tzg9IXIaQouofCRVr93a8XR0lMgFwLeg1WR?= =?us-ascii?q?sozpJTSV2fgNs2eB9eZvT/6gh3QlqwFpuzWiwNonhIrRho8N11zJ+yt0zJw0KN?= =?us-ascii?q?C4UkJ2YNGpHIFNuy2GL4d6X90uTm9ytCokxLAKpYS3cScUxJg92hLSavKKfo6V?= =?us-ascii?q?6Rz5TumROy13hHd9dbK/mRmy9U+gx/XyV8aqy1lGtCtFksLWunAKyxPT6tKIRu?= =?us-ascii?q?Fn8Ui9wzqP1RjT5vlFIUAyi6XbN4YszqM+m5cdq0jOHy/7lF/3gaKZbEko5/Sk?= =?us-ascii?q?5/ziYrr8p5+cM4F0ihv5MqQrgsGwG/84PRIPX2WA+OS8z6fv/UrlT7VKlPI6iL?= =?us-ascii?q?PWv4zAKcQZvq61GxVV3Zo76xajEzem18wVkmUdI1JAfBKLlozpO1DVIPDkFvq/?= =?us-ascii?q?mFStkDJzx//cJLHhA5PNLmLCkLj7Z7p95VRcm0IPyoVU7pdQT7UAO+7bW0nrtd?= =?us-ascii?q?WeAAVqHRazxrPEBdN83YMfEUuUC67RZKrJuF6g5/lpJOKMbckcs3D/M652tLbV?= =?us-ascii?q?kXYllApFLuGS1pwNZSXgR6U0EwCieXPpx+w5PyIPtws6QvbtjQTfAz9IIXG5X6?= =?us-ascii?q?t67zp9Cpr0VN6fFLDou6SI2WKAJrMTfnpPUw3eEGyucI6EUrEFY2SQOp05y2FW?= =?us-ascii?q?Zf2aU4YkkCqWmkr6xr5gd7uG5SAS85P4kt9+5+SVnBp09yQmV8k=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ArAwBLZJpefQpAQYVmHgELHIFwC4NrM?= =?us-ascii?q?Y1JixmMcYtPAggBAwEKAQEtAgQBAYZVHAcBBDMGDgIQAQEFAQEBAgECAwQBEwE?= =?us-ascii?q?BCxQIG4V3gjsigy0ogVQBBQFXhgABowaBBD2MWoh/IYFWEoEmjFOCAIl6gneCL?= =?us-ascii?q?QSLCgeMQ4FKmFKCTgSCY5RwDB2CRQGNDIxtrEsCCgcGDyOBRYF6MxoIMIMlTxg?= =?us-ascii?q?NoC8zgTUmE411AQE?= X-IPAS-Result: =?us-ascii?q?A0ArAwBLZJpefQpAQYVmHgELHIFwC4NrMY1JixmMcYtPAgg?= =?us-ascii?q?BAwEKAQEtAgQBAYZVHAcBBDMGDgIQAQEFAQEBAgECAwQBEwEBCxQIG4V3gjsig?= =?us-ascii?q?y0ogVQBBQFXhgABowaBBD2MWoh/IYFWEoEmjFOCAIl6gneCLQSLCgeMQ4FKmFK?= =?us-ascii?q?CTgSCY5RwDB2CRQGNDIxtrEsCCgcGDyOBRYF6MxoIMIMlTxgNoC8zgTUmE411A?= =?us-ascii?q?QE?= X-IronPort-AV: E=Sophos;i="5.72,397,1580770800"; d="scan'208";a="445690337" X-MGA-submission: =?us-ascii?q?MDExgLL5fTJMFXZQtWt3p1dos8Ffq7lq0RsD5E?= =?us-ascii?q?YjhOS0qgi+ftHJ+J5agPNG7R62+AmyKiJdOnwmdLoqZ+BmntlPzkyu3j?= =?us-ascii?q?0tmkSpxzqOE2hJilOrrMsDe5q3NF1bgDjBMnI+FVm+QuktCmPdhNSfnz?= =?us-ascii?q?YF+x3sHZeLGhDCJToKNRJOSw=3D=3D?= Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail2-smtp-roc.national.inria.fr with ESMTP; 18 Apr 2020 04:23:30 +0200 Received: from mail-pg1-f199.google.com (mail-pg1-f199.google.com [209.85.215.199]) by web.is.ocha.ac.jp (Postfix) with ESMTP id DC7E920044C50 for ; Sat, 18 Apr 2020 11:23:27 +0900 (JST) Received: by mail-pg1-f199.google.com with SMTP id s19so3492035pgq.1 for ; Fri, 17 Apr 2020 19:23:27 -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:subject:message-id:mime-version :content-disposition; bh=NEjvjAaG65dwFsNNa8FwraWHMBupAj2jmN3fHNq/TFg=; b=rE0OMZFnvKLjhyzG5V8hJdrCT80twJTr4S1ogvS0qJR9wfAEveeoBejJWyoz3Gv4d6 t1CnXNlHKjIgirspAnlrHF51onaEz569CIDTvocY7j4hULmCxdSI1wkg7T0ayR7HbHhu qyMzbSpgSTOPOMEQsh0rxnP9uBti+anFHiqqTKV9oVVi+JbChjh+AxQcBJNZ6lg7xx3w TqFe7q52INpksWkX2b5mjMqhrP9a3yICi/vNbON0Dl8RmHUvaRbhH1YJpL+XmhtdAsdH 3GLaOukX5QBFATUOd0h6U1XffFyLhOvtn9gzpJ8WWfmJeTHqEpve1+aMOu6y6Nvhd/Xa z6oA== X-Gm-Message-State: AGi0PuYetqLBBCg1VgtTq1R7V8Tz+dXprwEMk4AYoZE4R748BaaRiaWW cFmgnPfCL7k73RNiKgsPoUtqRyLtv7aVBi15yRTT+iIuoL8aDK9O9K034xz3dsfQEe7XY1l5mYz VXk0q+wWvABm0 X-Received: by 2002:a63:7a50:: with SMTP id j16mr4757166pgn.449.1587176607223; Fri, 17 Apr 2020 19:23:27 -0700 (PDT) X-Google-Smtp-Source: APiQypK1rTmvqPLSVvr9uIIb3fMEgX9KgcVuNFYD2s2e8V5PYwsbDpbH+cpDpthdXbkEgxxTTW4enQ== X-Received: by 2002:a63:7a50:: with SMTP id j16mr4757155pgn.449.1587176607003; Fri, 17 Apr 2020 19:23:27 -0700 (PDT) Received: from localhost (123.230.42.163.er.eaccess.ne.jp. [123.230.42.163]) by smtp.gmail.com with ESMTPSA id a21sm2495383pfk.39.2020.04.17.19.23.25 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 17 Apr 2020 19:23:26 -0700 (PDT) Date: Sat, 18 Apr 2020 11:23:19 +0900 From: Kenichi Asai To: caml-list@inria.fr Message-ID: <20200418022319.GA75735@pllab.is.ocha.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Subject: [Caml-list] Locally abstract parameterized types? Reply-To: Kenichi Asai X-Loop: caml-list@inria.fr X-Sequence: 18102 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: OCaml allows locally abstract types: let f (type t) x = ... Can the t take parameters as in 'a t? I want to have a locally abstract type that has type parameters. The manual says the t in (type t) must be {typeconstr-name}+ which expands to a sequence of lowercase-ident, so probably this is not allowed... -- Kenichi Asai