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 5F8E45D4 for ; Fri, 7 Sep 2018 08:37:09 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.53,341,1531778400"; d="scan'208";a="345355332" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Sep 2018 10:37:07 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1E1D6824DB; Fri, 7 Sep 2018 10:37:07 +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 25A71824B2 for ; Fri, 7 Sep 2018 10:37:00 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alain.frisch@lexifi.com; spf=Pass smtp.mailfrom=alain.frisch@lexifi.com; spf=Pass smtp.helo=postmaster@FRA01-PR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3AmE2MXBCzfOIb7jQY2ZBOUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPX6oMbcNUDSrc9gkEXOFd2Cra4c1KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUhjexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iS?= =?us-ascii?q?cHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRttfWTJPAo28?= =?us-ascii?q?bIUBAeQOMulaoIbhqFUOrACzBRWvCe711jNEmnH70K883u88EQ/GxgsgH9cWvX?= =?us-ascii?q?nIqNX6LqYSUeaox6fI1zXDbuhW1iv96IPVdR0uu/WMUqhxccrX00UvGRnFjlSL?= =?us-ascii?q?qYP5PzOYzeANvHaU7uphW+KvinQrpB12ojiq38ohjJTCiIENyl3c+ih13Jw5Kc?= =?us-ascii?q?CkREN5e9KoDYVcuzuHO4drRs4uW3xktSU6x7Ecp5K2cjIGxZA5yxLFdvCKfIeF?= =?us-ascii?q?7xT+X+iLOzh4nmhqeLenihay70egzur8W9G03lhWsidJjsTAumkX2RLP9MSLU/?= =?us-ascii?q?x98Vy/1jqV0ADT9/1ELlszlarGLZ4u36Q8loIJsUTEAi/5hln5jLOXdkUj/Oik?= =?us-ascii?q?8ePnYqj6pp+YMI90jQL+Pr4ylcy4BOQ0KgkOX26F9uSgzLDu8lH1TK9XgvEqkK?= =?us-ascii?q?TVqo3WKdoBqqKkHgNY1p4v6xOlADen1NQYk2MHLFVAeB+flYfpP0vBIPH+Dful?= =?us-ascii?q?jVSsijZrx+vaMb3hGZjNKmbMkbjgfbZz6k5Q0hY8zdda555MELEOPOrzWlPttN?= =?us-ascii?q?zfFhI2Lxa7w+PjCNlk0oMeWHmPArOCPaPJsV6I4/ovLPOWaI8Uvjb9Mfkl6OT0?= =?us-ascii?q?gX83g18XZbOp0ocPaHCkAvRmJF2UYWb2jdcaCmcKvxEzTe3riF2HSjFTfWy9U7?= =?us-ascii?q?g95jE9EoKmDJ3MSpqjgLybj2+HGch0b2tfF12XWVjhbZ+FVOoBIHadK9V7kzMZ?= =?us-ascii?q?WJCkQpMhkxenuwjrwv96aOPfvC8A48HNzt9wssTXnBA0vRJuDt+W0ynZRmV9n2?= =?us-ascii?q?VOSSU3x6t/iUhw2laN0O5zhPkORo8b3O9ATgpvbc2U9Od9Ed2nH1uZJo7YGmbj?= =?us-ascii?q?ec2vBHQKdvx0xtYPZ0hnHND71ELH0jqrDb5TnLuOVsVtrvDsmkPpLsM48E7okb?= =?us-ascii?q?E7hgB8EM9CJWyoh+h08A2BX9eUwXXcrL6jcOEn5ACI9GqHyjbR7m9ieVYpFJ3/?= =?us-ascii?q?BzUYbEaQqsnl7ETfSbPoEa4gLgZK1c+FLO1Nd8HtilJFAvzkPYaHbg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BdAQC4N5JbfXcMayhbDg4BAQEEAQEKA?= =?us-ascii?q?QGDS4FVAwQzCoNog0gBAYUoinqCKS2XVQNTCyyEQAKDeAYBBDQUAQIBAQIBAQE?= =?us-ascii?q?BARMBAQsUCEwMgjUkAYJeAQEBAwEjBAsBBQgBATcBBAsLGAICJgICVwYNCAEBg?= =?us-ascii?q?x2BagMNCwGaEAKKBm97M4J1AQEFgXCCTRiCOwgJAYEBizA/gTmCPS6FKoJVgle?= =?us-ascii?q?beQcCggQEjXMGF4FAhD+CV4YTjhCFTQIEAgQFAg0BAQWBWIF2MxojUIJsghmDa?= =?us-ascii?q?IoYPG2BFopuAYEcAQE?= X-IPAS-Result: =?us-ascii?q?A0BdAQC4N5JbfXcMayhbDg4BAQEEAQEKAQGDS4FVAwQzCoN?= =?us-ascii?q?og0gBAYUoinqCKS2XVQNTCyyEQAKDeAYBBDQUAQIBAQIBAQEBARMBAQsUCEwMg?= =?us-ascii?q?jUkAYJeAQEBAwEjBAsBBQgBATcBBAsLGAICJgICVwYNCAEBgx2BagMNCwGaEAK?= =?us-ascii?q?KBm97M4J1AQEFgXCCTRiCOwgJAYEBizA/gTmCPS6FKoJVglebeQcCggQEjXMGF?= =?us-ascii?q?4FAhD+CV4YTjhCFTQIEAgQFAg0BAQWBWIF2MxojUIJsghmDaIoYPG2BFopuAYE?= =?us-ascii?q?cAQE?= X-IronPort-AV: E=Sophos;i="5.53,341,1531778400"; d="scan'208";a="278076945" Received: from mail-eopbgr120119.outbound.protection.outlook.com (HELO FRA01-PR2-obe.outbound.protection.outlook.com) ([40.107.12.119]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 07 Sep 2018 10:36:59 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lexifi1.onmicrosoft.com; s=selector1-lexifi-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=pA2yqPWAJNjxEGX1FrMhM0qgBC7GPCcUSPC5Zq5327o=; b=LG7MuBrDCUf3AGDaBE1gyOOxje9XXEVByex/xaC4Qhm09dHnYQ4OJe0J7yuq1uPc9aIFS4IfPBsOjXsPb6qEYHQ8xYjpQ4n4K8D11HVQWXvPfYvn2JurN6YUfBQUnwLB2rlVWwhSvMAFXqu0BTnkqpDibbXH6AtoqbTx+kYkDH8= Received: from [10.0.210.111] (185.23.92.144) by MRXP264MB0630.FRAP264.PROD.OUTLOOK.COM (2603:10a6:500:20::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1122.15; Fri, 7 Sep 2018 08:36:57 +0000 To: Jacques Garrigue Cc: Enrico Tassi , Mailing List OCaml References: <20180906113622.lcuamhs6g6juv2r5@gargamel> <3bd16eb6-392e-51ea-03e0-1180ee47d2e5@lexifi.com> <19F1F466-19C4-482E-BB2E-553047888A2E@math.nagoya-u.ac.jp> From: Alain Frisch Message-ID: <990e9e46-1e1b-7d5d-b776-f8c23739f91a@lexifi.com> Date: Fri, 7 Sep 2018 10:36:54 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 MIME-Version: 1.0 In-Reply-To: <19F1F466-19C4-482E-BB2E-553047888A2E@math.nagoya-u.ac.jp> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit X-Originating-IP: [185.23.92.144] X-ClientProxiedBy: AM5PR0701CA0051.eurprd07.prod.outlook.com (2603:10a6:203:2::13) To MRXP264MB0630.FRAP264.PROD.OUTLOOK.COM (2603:10a6:500:20::18) X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: b8e02b2a-709d-455e-9bae-08d6149d12cc X-Microsoft-Antispam: BCL:0;PCL:0;RULEID:(7020095)(4652040)(8989137)(4534165)(4627221)(201703031133081)(201702281549075)(8990107)(5600074)(711020)(2017052603328)(7153060)(7193020);SRVR:MRXP264MB0630; X-Microsoft-Exchange-Diagnostics: 1;MRXP264MB0630;3:r3QkiAMfzwOeb4xXjXxYbFWNv/zAlL592TqF0tTKQG2KTdCEymJuVX04arbsR8waAbqW/4YkcajO/wEj1eYzOKbj71c/5D/z1srq0IAwxcLSYqR2+OPh60bxg/Tukzw7rWuPsrzLpEsfLLfQtpS9zzZIElrfojgnAIQr46JrDerX5a1d6SVlj6WY7lomevF5BX5ExLImBZWE0tjriQVoMSgREprIUnbIigJ4fBF4kbK+p2n1MHOyvXdrFghoU8Ca;25:OA+No/mMk3Rwp0hEiZvoJ/ca2F7rV06Zir2hBVXy7+SvnuqtBL8yK7jP/l48Fvx7HgtqLOazNmpGRJsYXl08+Ux0Penef8obdW5b/9/lbnOE7JzWuK7aukhFwpSZGLIi04ne2u5uFWMDdGwjoo72YmyagvT5dKpAeSvrXse/MYiJb7fdrXEtuvU+wHA5ZTyjuhxgEQ1W1MTkawnBj1Ye6KkhpbGXbeS2RjUNNCaBIwJzusZ9tLl/vqDQ+6dQvFWEQzinTKYqT/ZcEhiHr46e2TltVQitEQJgJnkVlfRMrfF1kpU1B5UTtnSx+Guru3uV7GsBqvzqv1o2jq7w6/T8YA==;31:+a8hvIKLVfzSLeXofnouVxaNiyoEdTnGaBOCjVuKR8je/wv8JLVlL+DQmqSSH2ehYcg+WE0btZUz1EDH2vxTE5mey3JtTTICqjQouT5Ue0tME/7wSx4R1PtQYU7hH4V1NmdGjV8G35UmvGYGEWhCpUGg0MSdGkbYrXAFcIgGah6rSNvYiowSzUjxnpkiOIM4T51fmEVvHO36FWWyGshJqv+M11NhSrfBYTLj6xPWW08= X-MS-TrafficTypeDiagnostic: MRXP264MB0630: X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:(278428928389397); X-MS-Exchange-SenderADCheck: 1 X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040522)(2401047)(5005006)(8121501046)(3231311)(944501410)(52105095)(10201501046)(3002001)(93006095)(93001095)(149027)(150027)(6041310)(20161123558120)(20161123564045)(20161123560045)(20161123562045)(201703131423095)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(201708071742011)(7699050);SRVR:MRXP264MB0630;BCL:0;PCL:0;RULEID:;SRVR:MRXP264MB0630; X-Microsoft-Exchange-Diagnostics: 1;MRXP264MB0630;4:ip2mmc9P6cERWboIX7WLk23OXC7pLIPA1faY5dpaJjAF+GglUF/oybj3NZGP1y8I/u5HK9nydRBlAQuV9/xOtoEhh/Qbf/fO+YeYaGtWu+r68eY6UMnsTJhxsmRt0JuuU2/mlJtREQHSKwlzWGlvpbMMQ71P3WO10ML1EF21haHi+Imlx+hVAvrdbEH8b4CATLgcUKjdCeKYc2x1KOUIQiSieR6xqiSzZGdbzuzaLyKVEDVNu9NixNkEsTSDUlty+3Zf+MHqq/YNKlWoaTTz/SMka8VehHTEB882wNv5wG7s32eI/1pe6gSCL0VGc4nm X-Forefront-PRVS: 07880C4932 X-Forefront-Antispam-Report: SFV:NSPM;SFS:(10019020)(6049001)(376002)(136003)(346002)(39840400004)(396003)(366004)(199004)(189003)(2870700001)(186003)(386003)(53546011)(106356001)(2906002)(66066001)(77096007)(65956001)(65806001)(26005)(16526019)(6486002)(47776003)(97736004)(3846002)(65826007)(6116002)(5660300001)(36756003)(58126008)(2616005)(476003)(486006)(86362001)(16576012)(316002)(54906003)(44832011)(478600001)(11346002)(446003)(6666003)(956004)(6916009)(31696002)(105586002)(53936002)(7736002)(305945005)(50466002)(8936002)(81166006)(14444005)(5024004)(31686004)(229853002)(81156014)(68736007)(6246003)(52116002)(3260700006)(25786009)(64126003)(4326008)(8676002)(76176011)(52146003)(23676004)(93886005)(2486003)(67846002);DIR:OUT;SFP:1102;SCL:1;SRVR:MRXP264MB0630;H:[10.0.210.111];FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtNUlhQMjY0TUIwNjMwOzIzOjdRcGlmSkpRU3I3M25aUGRYeEJQV2x6KzBm?= =?utf-8?B?TTZQeGlZZHgyand4K05HQytmODF5SXBrRktlcXU4aFd2NlY3NFZWL0lMS2RT?= =?utf-8?B?RjhOa0FDTkRHREUxbGFyOENqNE9ZaVlXR1BlUlI4NStwaDRsYzNhVUtYT3JQ?= =?utf-8?B?cGVmczNtRDhvcFdIclIvK1pyUG9kb3lFbUliRnhUL29KWjdVekNyZ1J2RFIw?= =?utf-8?B?ZmJodUNvM3Nxbyt5SnNEeGEyczg3NlBSaDJad1pmM1JpeE90alRrMTR6MkJV?= =?utf-8?B?bDZJWXZnUVd4UzNZRVNOZDdqOER2Vk1uZUxlbU5rTnViNkd3b1FyZXhlN2pr?= =?utf-8?B?Mk10NVVpdVFLT1oxemJOdjV0TDRWRitrQmV5cS9MS3FvcUpTTUU1blJRL3ky?= =?utf-8?B?dEZkdTNpT0NYV3graU5uUjhjMGlTRnlCSytOczlDcW1mc2kyZzBEOHBBSEU1?= =?utf-8?B?ZVRCaEs4VEZTNFFORXN2d2RpRXVtL1FXaWhnVVkrd0tadU9ySEszTFJTaDVH?= =?utf-8?B?L1FuVFU2MSt6eWNyWWE1aHVSdHR6ejE4YmFvUE5tZ0NyaFFCaVFibWtaV3M3?= =?utf-8?B?YkRqOWRxNXlwNnM4VHlRK3FHMlBUTlg3cDNXeC9WRWNLT2lUcGd0TDVPT3pD?= =?utf-8?B?dE04ajNhSzlJWXZJVmxhT3RvbkRBR1FXTWVWN2RCL3luOFlPNEtxNGFtVkJh?= =?utf-8?B?N0c4UTI0TGZ2VDlsRjd0NkFsekNwMVVwcFhOTXp4dGR3eHo1OVBGdjArS2da?= =?utf-8?B?UFN6NTAvbDFJM3d1c21PU0Q0M2JobjJ0MkQ4UmFEd1ZNekg0VzlnK2tQQllW?= =?utf-8?B?YnFEK2NXS082SVQ1QnVFS0VRd0FYQnpiSjJUVFczUWJQWnZtOWhkV1Yyd3p5?= =?utf-8?B?R1RYNjNkSFBaK2FWQmY5L01PZGlVVDhyOGhpakJkZ2FrREhTei9CRHpRQ3Nl?= =?utf-8?B?UUZ4d3lNbHZOTTFPaUI5QmZxOG1uOHllcWROajl5ZENJL295RWRJQ0V3REJz?= =?utf-8?B?a1ZiRUQ1cFhiSWw0SXlydXpWMkFKK1JHNGRPZkVrZHNJQ015Zkp1WUQ1UW1u?= =?utf-8?B?RnJiTUJhcVR3ZnFpUnpCM3BWSGNvM3VWN3hybWhBTGFxYlNtTGd0a29RcVlq?= =?utf-8?B?VVJhSGcxdHI4L0Jka1VDVlczSWJBeHFrUzVaOGN4bkNaL2NYRm5xaUdPbGZH?= =?utf-8?B?NG10MjMwRWZCdHRCbE9MNmVmMkVaa3NxNEJ0K1BGKzlqeGY4R2tIUDhJZEJo?= =?utf-8?B?VFZ2MFEwYUdaUTgyd2h3NzhVTVZmRXU3bU05bUtPd1hQQ3lhNnRiVGphc0dq?= =?utf-8?B?U0Y4eTFnUDAxa1RIdjlqbnl3MnM4am5MVGhOVjdpcGlaS3VBSkdPbHo0V0Rs?= =?utf-8?B?UlBJR01VY0RhNVJZWndFYSswa3hYOTdxbHp0UWQvRGt6RkpNdGtRY2NEYnNn?= =?utf-8?B?SXVmQjhhOXFtM0p4UWg3T3RUTkNKOUEvY0NDTFcybXM5NXBGY3NkdlMrNHhR?= =?utf-8?B?ejdzdlJnNmdKUDA5eHJQSjRTaFNtajdHdmZQSUo3ZGxNTmE2Uk9DYXpLci9S?= =?utf-8?B?QnA3bDBObEI0a05jQnZhZ1ZZRnNFRVFKS1J2SXpDc3ZMYUhkek1UK1VUZFdC?= =?utf-8?B?enlzZ3p1UnlsTHVOSjA5UDA5Y3VzTmZ3cWVUcnZmS1RFakRodk0rRjAyKzBF?= =?utf-8?B?dHNXQ0FESmR4eGtrWVY4WEhHYlIxQXcvcm1DNy9IZ2hIOXZwZk0rclQ4UHM1?= =?utf-8?B?K3R1UVQ2bnJCMHh6MnRKcE4zd3BJL0ZORWVXVXpBT2tjNlNFKytzdVJKVklW?= =?utf-8?B?bjd4L3ZRa2NoUElubnVqWjhyL1g5V0hMUjBXNld6RWxoeFNMb0N0bWtDc2ky?= =?utf-8?B?S0pybTIyWk44ZlpvQkVJaStzcXNaY0lBRWdMSm5keXc5bUtGQzEwMTBkWFow?= =?utf-8?B?Rlc0ZU1xRDM4aHl0UHVOQU9zYW9mZEhNeFRUM25NUG9waVRpbDRVakRIelZS?= =?utf-8?B?TDNKNjg3SjBiTzNiOEMxZXJHZnJxRW9RKzZTUTlMcHcyb0FOOHJ3RFlJTmFW?= =?utf-8?B?R01Zc2ZxZjRmMWs2Y3NZSm9zY0N0Q2tiZEExdTF4UFR3WHNlcklId3c0dHBV?= =?utf-8?B?VFE9PQ==?= X-Microsoft-Antispam-Message-Info: a9q85m8BDcdoyno/2AyWzi3Nf5xRENp+9vRg22DmuUW4MKq5eFSoauXCBzhHu2V58Wzigv9Dg++s/xIbcUfCGB16IDURWLE8L9wux/mRsPMb71QcfIYwMurRwq1DCbhRfSx51vddyQazflbmz0NWGMxn4/9i+x7V2FiDHFEk5Ip3qQ/W1uUIozG/M7QZvYrx6KNayhlaGgo0dw/tc+meUgbAUi4GHUYHSTmWJmZ/3W20y0djHVs06HLSfglWdtISBRJK7IXsobreEl3+rATqpgzIX0J4xYZ8owMQTVZBM83jwOp5SifyeLzmyZqrPRdyJx79xUlUA6OdISeKZX8NpIA9wf1tSNSX7mnaM90lRFs= X-Microsoft-Exchange-Diagnostics: 1;MRXP264MB0630;6:eWR21V/dCmLbfhqWUTRupgEpfLMSOEUjW0oSbYT3O8SKgc7labCVpMws7q5uCTbe/GzanntrBNOQ4jY6s1gfgSEQBBIjK+b6MZQRtUKuAvWdvXjFLB3TGAdCJz8634lYr7XVsTdgucF2Wzp8B7546TkKcbDucj2pr2J66CqtbwbBxx+GpD5iBPMD5Ra1wf1vP9PDDTPHCga6YL+w+ORS4iiep1klhYqwRbo3VNMIwWrQG2IsbOtqyV/VHC6XaIvDAV284gcdzVRLb4CPyHwZ0zlxTZ6rwPWzia1mmvjqqkQYAk6V46fcrX+77N6FvIyJlKHOxd31qlMqfRXerwfuSE8qIx4HUoCMQ6wL95SWQjLe4s3S4yWHqw+FIES9WmwpkrcXoPoiFrVM6JqdjO+zpwJytKWFXZ1KZi+KahcfyHeKWvmCDu3cfXx5PQXqyky11lbt9IVoM51BwN74yDhqSg==;5:ZgXJtRPx8ymlgwRnk44OOFHRMKzPfghSIbkgPdP4RsFawn/iudbkDR9H2tV8B5hh8+O3r2xHT+NdSxgN4Y+gaqiNlDC57cgAxrgDqbNnZhqxFevbgGBxK+nk3C9fbUBRQmPAtIS3a+Mvp7mUgF0J7/j4/WK7s2zPfkS3QFrYqhE=;7:IWighaFYMk7Ci4tvX55+7P40jLLkdTFoCb8fXjLdu6nswLz7YpWo7NcFT0StXg4FPOjWAwZNkqjgJPue+lmPzq6NwhbD1DCR/U0KP9Vswxcz74w+GJqI/5kSNZIswPvJWD6cXQ1y22bNqKumEOLb6Ap3/i7effEYyIRFRSDwaKgOT45Hr6ZqXqgXrLOeqbv2a4mFXQd2KJA30jGBiNh/cUEMosrSV3E+kDsH2kfgDWA0yWMMIf/Q1z//yILbfSx+ SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 07 Sep 2018 08:36:57.5152 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: b8e02b2a-709d-455e-9bae-08d6149d12cc X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 9c9628ec-e5c3-4aa7-afa1-e7bf99470874 X-MS-Exchange-Transport-CrossTenantHeadersStamped: MRXP264MB0630 Subject: Re: [Caml-list] How to rename a record field Reply-To: Alain Frisch X-Loop: caml-list@inria.fr X-Sequence: 17061 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: On 07/09/2018 01:45, Jacques Garrigue wrote: > Interesting idea. > This should be easily doable, for instance by extending the Asttypes.arg_label type. One could also just keep the information on the value binding itself: val foo: ?x:int -> ?y:float-> int -> int [@@ocaml.deprecated_argument x "Please use y instead!"] [@@ocaml.deprecated_missing_argument x "Please pass y, it will soon be mandatory"] Or indeed allow adding attributes on (labeled?) arguments, or interpret attributes on their types. But internally, the information could always be attached to the value binding, which should be simpler than storing it in the type. > By deprecating the absence, do you mean having a warning when the argument is ommited? > Wouldn’t it mean having two distinct deprecation annotations for optional arguments? Yes, of course. "Old" attributes (that will be discarded at some point) should be reported when they are passed a value; "new" attributes (that might become non-optional) should be reported when they are omitted. It remains to be seen what to do with applications with the ?x syntax (i.e. passing an option). Alain -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs