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 E015D5D4 for ; Sat, 23 May 2020 11:01:03 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,425,1583190000"; d="scan'208";a="450999457" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 May 2020 13:01:02 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 688E0E1E85; Sat, 23 May 2020 13:01:02 +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 497A8E1E7D for ; Sat, 23 May 2020 13:00:56 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=fox@orbitalfox.eu; spf=Pass smtp.mailfrom=fox@orbitalfox.eu; spf=Pass smtp.helo=postmaster@orbitalfox.eu IronPort-PHdr: =?us-ascii?q?9a23=3AeKcmJBFYgDS4TAh4M1fljJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zpcuwAkXT6L1XgUPTWs2DsrQY0reQ6vm9Ejdbqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5yIRmssAndq8kbjYRsJ6s/1xDEvmZGd+?= =?us-ascii?q?NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLD?= =?us-ascii?q?TRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljj?= =?us-ascii?q?oMOiUn+2/LlMN/kKNboAqgpxNhxY7UfJqVP+d6cq/EYN8WWXZNUsNXWidcAI2z?= =?us-ascii?q?cpEPAvIcM+hGoYnzp1gAoxWwCgajBuzg1jBGi2Tq3aA4yektDR3K0QIiEt8IrX?= =?us-ascii?q?/arM/1NKAXUe2ty6nI1y7Mb/JY2Tby9YPFdR4hofaDXL9rdsrR01IgFwLZjlqK?= =?us-ascii?q?rYzlMTSV1+sXv2eF8uptTOSigHMopA9tuDag3NssipXXiYIPzFDJ7St3zogpKd?= =?us-ascii?q?CkVEJ2Y9GqHIVfuiyZKYd7QsMvTmN1tCs11LEIuYC3cDYKxpg52RPSaOGLfpWW?= =?us-ascii?q?7x7+W+icIjN1inxjdbmihBiy6VCtx+n8W8WuzVpHrDRJnsPSun0DyRDf8NaLRu?= =?us-ascii?q?dj8kqnxD2BzRrc6vteLkAxjafbK4Auwro3lpcLtkTDBDT5mETqjKCMckUk9O+o?= =?us-ascii?q?6uv9brr4u5+QL450igfgPaQygsGyBeQ1PhITU2WZ5+iwzqPv8EPnTLlQkPE6jr?= =?us-ascii?q?fVvIjfJcsBp665BwFV0pwk6xa6Fzqm3tMYnHYcIVJCYhKIlInpO03UL/D8A/e/?= =?us-ascii?q?hFutnC11yPDbJrHhGInCLmDfkLf9erZw81JTxxA2zdBb/p5UDrABIOnvWkLqr9?= =?us-ascii?q?zZDho5MxSuzOr9CdV90JkeWWOVDaODPqPSqwzA2uV6AOSKZYQVuX7UMPEkr6rn?= =?us-ascii?q?lnY4sV4GO66i3ZJRYXv+HOwwZw2SaH/ox9MACnsivwwkTeWshkfRfyRUYiO1Ra?= =?us-ascii?q?g96CFzXIyhHa/EXIqsnLWF0iCrWJBLMDMVQmuQGGvlIt3XE8wHbzifd4o4ymRd?= =?us-ascii?q?CeqRDrQ53BTrjzfUjqJ9J7OJqCoCv5P/3dx74P2VmAxgrWUlXfTY6HmESiRPpk?= =?us-ascii?q?1NQjY32K5lpkkklwWEy6J5n/VcG9tDof5UAF5jaMzsitdiAtW3YTrvO9eETFH/?= =?us-ascii?q?H4ehGzswUts1zdgeJUtgSYyv?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C8CgBXAcleicrorF9mDhABAQsSDECEZ?= =?us-ascii?q?VEBMiyEJI9JAQEGgRIzg2WXcwsBAwEMLAECBAEBhEQCC4ISHQYBBDQTAhABAQU?= =?us-ascii?q?BAQECAQIDBAETAQEBCgsLKwSFXQyCOykBgw4DAyMVCAEBOA8LGgImAgJXBgEMC?= =?us-ascii?q?AEBgyKCWCmsBIEygwEBAQWCSYUeCYEOKoxEGnmBB4E4DIE0gSk+h2KCYJk5mXG?= =?us-ascii?q?COSWCLZYpI4JSAY1zjTyPc1ueCoFpgXhzEjuCaVAYDZBADA4JhFCJFz9AAzA3A?= =?us-ascii?q?gYIAQEDCVcBjQoBAQ?= X-IPAS-Result: =?us-ascii?q?A0C8CgBXAcleicrorF9mDhABAQsSDECEZVEBMiyEJI9JAQE?= =?us-ascii?q?GgRIzg2WXcwsBAwEMLAECBAEBhEQCC4ISHQYBBDQTAhABAQUBAQECAQIDBAETA?= =?us-ascii?q?QEBCgsLKwSFXQyCOykBgw4DAyMVCAEBOA8LGgImAgJXBgEMCAEBgyKCWCmsBIE?= =?us-ascii?q?ygwEBAQWCSYUeCYEOKoxEGnmBB4E4DIE0gSk+h2KCYJk5mXGCOSWCLZYpI4JSA?= =?us-ascii?q?Y1zjTyPc1ueCoFpgXhzEjuCaVAYDZBADA4JhFCJFz9AAzA3AgYIAQEDCVcBjQo?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.73,425,1583190000"; d="scan'208";a="349417486" X-MGA-submission: =?us-ascii?q?MDE2+2PQZAStYHPN8nK4V9lsYMz9aGm+fH1dcE?= =?us-ascii?q?49FgJY/WfvmhnJTj3yv+60B/9XDC6dL9obtWpz8HhIVdDu9fIjJ8m2Z6?= =?us-ascii?q?ldxYbkZOjeMXB2s8lgZjyG2VptJuVm4jKgrROD83ae/40Q2kf/JhZHQ9?= =?us-ascii?q?6AvW8yZvjC7eWfWIBWsnR/ow=3D=3D?= Received: from orbitalfox.eu ([95.172.232.202]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 23 May 2020 13:00:55 +0200 Received: from [192.168.88.5] (unknown [192.168.88.5]) by orbitalfox.eu (Postfix) with ESMTPSA id 52446AA00FA; Sat, 23 May 2020 12:00:53 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=orbitalfox.eu; s=orbitalfox; t=1590231654; bh=21eY96LzKxu7R7fr6/RTZRdwfDic0UQ2o55i3XtlNdc=; h=Subject:To:References:From:Date:In-Reply-To; b=VqOmPsPKM/uC5enmaNoCp1yXp3e7F9H8NgK4viFBlb5iTKQVtsu4GRzJN/BPFde/w AnKtkVgHCkcRu1776YVl6W0+vkVeu1gI/gd/rnMtsvdR3P5M/TMwnfsrkOV5aSZHdx riGZ6Yu4TrT0tDsXbcyGgn6PVoU8IhC1kcXLdkxoijfPk+Y1UTX8ZOvULDhlym/SCR Ddnhxsp++X3OyCsi89Wb57OwmAy933tcNZ6WazLO5cBW9v630r8cVYTfhCTsykzMZX FnXCrozZRWfjlcMVvTu37b5tdeqB/ln5whsAKVq2Kuapo+hlc+05chePRqJFpnLkqJ VoBBkpc84s3bA== To: Kenichi Asai , caml-list@inria.fr References: <20200518113203.GA26442@pllab.is.ocha.ac.jp> <20200519093406.GA55524@pllab.is.ocha.ac.jp> <20200522055046.GA7203@pllab.is.ocha.ac.jp> From: orbifx Message-ID: Date: Sat, 23 May 2020 12:00:54 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:68.0) Gecko/20100101 Thunderbird/68.8.0 MIME-Version: 1.0 In-Reply-To: <20200522055046.GA7203@pllab.is.ocha.ac.jp> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-GB Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] expansion of #use? Reply-To: orbifx X-Loop: caml-list@inria.fr X-Sequence: 18152 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Kenichi Asai, 2020/05/22: > My attempt succeeded! Here is what I did. Thanks for sharing your findings. It's good to have them on the list :D