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 64C155D4 for ; Fri, 7 Sep 2018 12:50:10 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.53,342,1531778400"; d="scan'208";a="345403337" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Sep 2018 14:50:08 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E2C2F824D2; Fri, 7 Sep 2018 14:50:08 +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 C14F2824B2 for ; Fri, 7 Sep 2018 14:50:03 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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=3A3LcLfBx29GA4O5fXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+MRIJqq85mqBkHD//Il1AaPAd2Eraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HRbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDtU7s6RSqt4LtqSB/wiS?= =?us-ascii?q?cIKTg58H3MisdtiK5XuQ+tqwBjz4LRZoyeKfhwcb7Hfd4CWGRPQMhRWSxCDI2y?= =?us-ascii?q?YYQAAOgOMvpXoYn8vFYOsRmzCBOwCO/zxDJFhHn71rA63eQ7FgHG2RQtEs4KsH?= =?us-ascii?q?vOrdX1MroZX+CvzKnJ1jXMc/NW0ir65YfSdhAuu/CMXbRqfcrf00kvFhjFgUmQ?= =?us-ascii?q?qYH+OzOayOsMs2mV7+phT+6gl2knqwRorzWp28wihI7JhocPxVDF8yV02Ik1Jd?= =?us-ascii?q?ykSE57fN6rC4FcuD2dN4tzRM4pXmJmuD4ix7AJpZK3ZjUGxIglyhLFdvCLbZKE?= =?us-ascii?q?7g/+WOqNOTt0mXFodbKlixqs/0Ws0OnxWteu3FpXoSdInd/BvW0X2RPJ8MiIUP?= =?us-ascii?q?5981+h2TmR0wDT7flJL0Aom6fHN5It36c8mIAPv0jdByP2n175g7GMekUj5+io?= =?us-ascii?q?9//oYrL7pp+aKoB4kBn+Mr4pmsyjH+s3LhQOX2mc+eS6zrHj+lD5QKlOjv0xla?= =?us-ascii?q?nZs4rWKtgcpq68GwNV04Aj5AijDzq+39kUgWMLIE9ZdB+FlYTlJk/CLOrlAfui?= =?us-ascii?q?n1igiDJryOrHPr3lDJXNNH/DkLL5cLln705T0gszzdZF65JaELEBIenzVVPxtN?= =?us-ascii?q?HDCh82LQO1w+fpCNV8zI8RRWWPAqqBPKPIrVCI/v4vI/WLZIINpDnyMf0l5/r3?= =?us-ascii?q?gX89mF8dZrWp0IAMaHG4G/RmO1+WbWDtgtcHC2cKvxAxQPbkiF2YAnZvYCOQVq?= =?us-ascii?q?kl+zwgQK2vF53CSZ2gyOiO1T2hH5JLa0hDA0yMV3HheIKVUrIRLiuZZM15xG8q?= =?us-ascii?q?T7+kHqYl3BCo/CHgyqFsLqKA8ykRtJSl2sJ0/ObTvRU/5T16DoKW1GTbHDI8pX?= =?us-ascii?q?8BWzJjhPM3mkd60FrWlPEg26UJR+wW3OtAV0IBDbCZyuV7D97oXQeYJIWNRUan?= =?us-ascii?q?TNTgCjY0HIton40+Jn1lEtDntSjtmjKwCuZPxbiGFJ068+TX2H2jf58gmUaD77?= =?us-ascii?q?EoihwdeuUKNWCigfIgpSbpLtaQ1n2jzeOtf6la2zPR/mCey2bIpFtfTAN7TaTC?= =?us-ascii?q?WzYYe1fSqtP6oEjFSu33BA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BZAQAdc5JbfW4MayhaDg4BAQEEAQEKA?= =?us-ascii?q?QGDJCdobQMEMwqDaINIAQGFKIp6gjEll1YDUwsjCYRAAoN7BgEENBQBAgEBAgE?= =?us-ascii?q?BAQEBEwEBCxQITAyCNSQBgl8BBSMVCAEBNwEPCxgCAiYCAlcGDQgBAYMdAYFpA?= =?us-ascii?q?xgBC5ogAooGb4EugnUBAQWBMgE9gkEYgjsDBQkBgQGLMj+BOQyCMS6DGwKBOlO?= =?us-ascii?q?CVYJXjgSNewcCggQEhDCJQwYXiFiGFYs4glyFTQIEAgQFAg0BAQWBWYF2MxojU?= =?us-ascii?q?IJsghmBHQECBoJCihg8bYEWiVKBLgGBHAEB?= X-IPAS-Result: =?us-ascii?q?A0BZAQAdc5JbfW4MayhaDg4BAQEEAQEKAQGDJCdobQMEMwq?= =?us-ascii?q?DaINIAQGFKIp6gjEll1YDUwsjCYRAAoN7BgEENBQBAgEBAgEBAQEBEwEBCxQIT?= =?us-ascii?q?AyCNSQBgl8BBSMVCAEBNwEPCxgCAiYCAlcGDQgBAYMdAYFpAxgBC5ogAooGb4E?= =?us-ascii?q?ugnUBAQWBMgE9gkEYgjsDBQkBgQGLMj+BOQyCMS6DGwKBOlOCVYJXjgSNewcCg?= =?us-ascii?q?gQEhDCJQwYXiFiGFYs4glyFTQIEAgQFAg0BAQWBWYF2MxojUIJsghmBHQECBoJ?= =?us-ascii?q?Cihg8bYEWiVKBLgGBHAEB?= X-IronPort-AV: E=Sophos;i="5.53,342,1531778400"; d="scan'208";a="345403316" Received: from mail-eopbgr120110.outbound.protection.outlook.com (HELO FRA01-PR2-obe.outbound.protection.outlook.com) ([40.107.12.110]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 07 Sep 2018 14:50:03 +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=rfMsd7MbXTi5dDvnDbl6y1YbjwSTA3W33s94T6R0Xmw=; b=qI3ZlOkIBmOs7A/qUJS3B/mVAXMaqrcb+gyh4P5BJC97MDlVg09YW/nIJbQEbBKtSj4GajoYPTymFLp1Z8trBFKeVf4/cFkdM42PVsOfTWghqZDFd6PjByrppaLVmexWmw9XCMFbJSAxVyiSqrJ428+lGVKT+voDInirVRAxV5s= Received: from [10.0.210.111] (185.23.92.144) by PR2P264MB0637.FRAP264.PROD.OUTLOOK.COM (2603:10a6:101:10::16) 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 12:50:01 +0000 To: Jacques Garrigue Cc: Mailing List OCaml References: <20180906113622.lcuamhs6g6juv2r5@gargamel> <3bd16eb6-392e-51ea-03e0-1180ee47d2e5@lexifi.com> <19F1F466-19C4-482E-BB2E-553047888A2E@math.nagoya-u.ac.jp> <990e9e46-1e1b-7d5d-b776-f8c23739f91a@lexifi.com> From: Alain Frisch Message-ID: <7fed9f2d-953b-8153-0acf-97a7c984f440@lexifi.com> Date: Fri, 7 Sep 2018 14:49:55 +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: Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit X-Originating-IP: [185.23.92.144] X-ClientProxiedBy: HE1P18901CA0005.EURP189.PROD.OUTLOOK.COM (2603:10a6:3:8b::15) To PR2P264MB0637.FRAP264.PROD.OUTLOOK.COM (2603:10a6:101:10::16) X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: b6b485ba-db37-431a-3037-08d614c06d01 X-Microsoft-Antispam: BCL:0;PCL:0;RULEID:(7020095)(4652040)(8989137)(4534165)(4627221)(201703031133081)(201702281549075)(8990107)(5600074)(711020)(2017052603328)(7153060)(7193020);SRVR:PR2P264MB0637; X-Microsoft-Exchange-Diagnostics: 1;PR2P264MB0637;3:xWh8IrV+iz2Daixh6yqO2+Csh1sjpIchap4e6BkBdDjLoqxNEOJu4n9F8e21IJmg/NjqDT4fQi3rvVxe+Ny3/+fT0xHTINIngpjzJv4ayRxDVa+9v9KO0jALRMXDOBvqd9kzjK3XJiyGCmMI7h2n3mhzQGnut8ULOFjksJWEQh0Owc/2dtVa36ZI8rNIR1hxJTsIeMOvNUHy8RB8Bt9dsyJ3vyu5VjgCLNkct1Wh9dit9j7hgwwwueWOdFkCc48u;25:oOj6mQcX4qBCn0ACgQZ4XJFTLmzNcWxTjk5LnGHb2Xv1kvE31LfpYc3YYmv1LYcV1BBZ/8KG640ilmD2nodNWr6PBbHtWlzjX1Voy1FFDjdZU1jgVV3btky2KaSPMWqfHuB52MuZvsmQFzQ3V1PSigIWPIDQepgU2BKpb/5Oybcyj+vHjDkTt4G1IwhjI50T1wWIWicgRBbJqSD1EpOpbFM6x6+5PztozBE8lzFNkf6E3u1yUJK4L/2T9eCUewe8KYM+B6mse+8p2mVDR9y+4mF/YOHSdZGhs0ajqZaX1Yn2jq8NprmLszDO7njM/MS1+OQ882gEJKu/NkwDBRTi6A==;31:0YNBl6XtS1TvuY36T9jeNQVghmPPh8UC6AJrsvYUCkoAICPxAaWugp9qMLOaewvmBJVwEiisp7zapLxi+O5U9NYzZjVVQ8QaTh5YFsp5x+JFSFA3g8QKaYjVM7Mlnp+ZbaINumQ5Lo/uxHsdRpaBp73ee8nOEaXNIETZcf2F8V6H/29zE74ftw3MiVxIfdXp5TstiGXHG6xIO8j4ROwiULqPT0YpupF9B3EqhQVLnSk= X-MS-TrafficTypeDiagnostic: PR2P264MB0637: X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:(166708455590820); X-MS-Exchange-SenderADCheck: 1 X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040522)(2401047)(8121501046)(5005006)(3231311)(944501410)(52105095)(10201501046)(3002001)(93006095)(93001095)(149027)(150027)(6041310)(201703131423095)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(20161123560045)(20161123564045)(20161123558120)(20161123562045)(201708071742011)(7699050);SRVR:PR2P264MB0637;BCL:0;PCL:0;RULEID:;SRVR:PR2P264MB0637; X-Microsoft-Exchange-Diagnostics: 1;PR2P264MB0637;4:0ulx68LP3hn30+FiLWH6z4XnKA2KRg1/sw3cCV0tqExMq3mZck8kPZYbHkK5jC1Kos7z3wAm5VKNsWdhuzl0cwcNwWnoH3H4X49990mwZbAQOt9neAmf0L1ZnkGJaOW7viX3pCO29f+4BSoTaqHHsunqqtVWZzBmQlKFPFGTTCflbuOXGBstFdVwXT86hdCRtHhe9IjT9UsmPPkozkDlonPhu/SlfymEgLeYD/RFqECx8ygs1A45uKB7UKt7PaqyT+OlC0Mpv2KEvcUV5QU4Pv4aGvaQ7ii7tBfDUX3jLyIwv0xRhuRHR3guSRAdPZYA X-Forefront-PRVS: 07880C4932 X-Forefront-Antispam-Report: SFV:NSPM;SFS:(10019020)(6049001)(39840400004)(346002)(376002)(396003)(136003)(366004)(189003)(199004)(6486002)(386003)(58126008)(66066001)(65826007)(65956001)(53546011)(65806001)(3260700006)(25786009)(2906002)(230700001)(6246003)(52146003)(68736007)(2486003)(23676004)(4326008)(93886005)(186003)(5660300001)(86362001)(97736004)(64126003)(11346002)(44832011)(47776003)(26005)(2616005)(316002)(956004)(6916009)(486006)(5024004)(77096007)(6666003)(446003)(31696002)(476003)(16576012)(16526019)(229853002)(106356001)(966005)(81156014)(305945005)(81166006)(7736002)(6306002)(8936002)(50466002)(478600001)(105586002)(31686004)(52116002)(3846002)(67846002)(6116002)(8676002)(76176011)(36756003)(53936002);DIR:OUT;SFP:1102;SCL:1;SRVR:PR2P264MB0637;H:[10.0.210.111];FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtQUjJQMjY0TUIwNjM3OzIzOjNxbU53aDJKMjE3YVRIcVNGeHFRWjNWeFMv?= =?utf-8?B?NElDVHhLK0lxYk9pR0V0ZGpUVzBSbFZoRVo0NFY5dnAxZkJWdHpOY0IxYXpR?= =?utf-8?B?THZSTlVzZHhHOG4vL0Z4MFRvVmJycHJMOCtva0MzZVBGdW54M0tJOHdXc0Vw?= =?utf-8?B?R29sY3ZhWXA0emRuZzJwK203UTg3RTl4cnduQ2J0L25lWEoybjVHRVVweTVk?= =?utf-8?B?QzRseHBwVWVIV2hwak9WMGd6VktYMzl1QTBQVkFrL3daUUZ3MVlLc3BMQnlM?= =?utf-8?B?UWtxUjN4SEZuLytXdkhtZ3NhWk5GL1JJdkVySXRNMHprRG9Ea1U2QVZDeExn?= =?utf-8?B?Y1pzYkRyN252R1J6M1pVRzJYZlpMVVVVa054Y1BZYlJZRjBhZjVTQ2x1emhp?= =?utf-8?B?cDVRWUlZazJWczJMR0htcE1TcWdOSXBZSCtXREtRZVBWYVIyTDQzdWFhTVBY?= =?utf-8?B?VTd0eGllWWMzWVQxOTBieDI0dUgrWFQzeE9BaHlmdm03eGM3RmRQZ0ovYTcz?= =?utf-8?B?Ti9tdTJtdU5JNTQxUFNWb2NJc3lSUWtpbkZZK3RRWVdIc3h3WVVKU1J1bGVx?= =?utf-8?B?RHlDUVlKZDJpQU12R0hHWlptZkduODdIaXAzV0djNzU4UHV1c0dKaVdxalNU?= =?utf-8?B?dkx4MzNsUy9RWXVZdE9LS3dmbXh5T3ZPTkxkNkdmUVpNTXZPbFVsTmluVUNq?= =?utf-8?B?SXpiZlZvQmU1Sy8xWVhCWGkrZmIyZk9UK2hGamRWVFpndG1uSmE5Wnd2VW9W?= =?utf-8?B?MmFQMHY4NGg0cnl4ZHVMS2RpNzZtTnppbmZjZ0tnKzNKY3pEM1B0cWhZTWdG?= =?utf-8?B?K3kwVWFSYVgvYVlaelduTEFPWUM2T2psNGlPb0NBK3lHdGoxWGgzcXRZUmFi?= =?utf-8?B?ZjE5ZTA4Zkdld3BtM1pkRXR0NUtDY0x3TVoxUjB0RnhIMWpXZjZKMGtJWmFm?= =?utf-8?B?ODIvSnNsVFRuejlmNWNhRjNSM21zbkRWdUp3dnY1d0hFQW8yS1lRTWN4bjFF?= =?utf-8?B?TXpFb1paRUo5SDJlY201RTJzUXV5WDh1NmU2TzNPSCtyU3VrSjJrYzdnUFhl?= =?utf-8?B?anZ4a3FxQW1MVGhZTjZVaFVwSlNQR1VSdmZpeGY3QXZlME9XbmYzM1Z5c1hX?= =?utf-8?B?b2Q3bHBOZzlKVk5oOXBzMTVkbng0TU1PUTFhY3FJMUtXdTNxclErUVNKbnVU?= =?utf-8?B?TStQeUVhQzFVVDRYOWpLdndEbkxaR2RXdkhsRlhhRTlwZjlrWTc0UmZvNzlH?= =?utf-8?B?dGN0SFZXa0pYbVl4aTV2NjdmSWRXRkczVHJQdnAzeC9LZ1IyTkZCbTNqQW80?= =?utf-8?B?WkRoQ0d4OElVL291ekZJdU5MMUtYQjJVZU1oMG4xU3ZFLy9uc1B0aXQvR253?= =?utf-8?B?cm1xY1JRTkg1c2YxUGVTMEoyK1hrbG1FalpvM05abnR6aWF1MEM5VmRFTnJE?= =?utf-8?B?MUhwa2ZiTjdGQXdXandjZE1qSzNjcFBiSUN1MFNCcXRWRnkzcktpa2tVL24v?= =?utf-8?B?bVdyOUpuaDJwenQrZkZBcmxtQ3NPSENhYzZIZWZTdkRLdU9wRGoxQVkydzh5?= =?utf-8?B?a0czc2hMTjVuekFramtxYmtBdEFZRDVxbGlxdXVYV3R6Mnl5RTlMQnB2SDli?= =?utf-8?B?YkNYRHhWL2REaTVORlUvODhQK2hRWE51akcwZitJTWhxWDBvcG5NMTJlNnlJ?= =?utf-8?B?M0RUS3MwQlNOUy81Q21aeHcyRjgvOVJObVBScFpXeHdhYkNCMSt2S3lQMWRR?= =?utf-8?B?amhHUUxQR09pVUdUeU01c0RWbVNreFZOQklWNTBLamZVaE1vNkdGK1M2NElT?= =?utf-8?B?L1J1Q3ByakxKNVJ2YVVVUTA0RUk5ZitzNW4vTEZUZUNMeCsyTEQ2UjV6em5h?= =?utf-8?B?WjArYS9qWC81R1JsNzJMeDRDeWJLMThTOGJwZnFQYU9MMUJhMzh2ZllDSFVa?= =?utf-8?B?K1hwUTFhSDNZRXU1MlpLSWZ2SkxLV3A1WWpNak8xbDJjYW0xVU5aQ09lS05P?= =?utf-8?B?QzVNSSs5Z0R1ZG9SWDFnL2xhOVE5YWpnU2RQQ243K2JQOVpjeC9scS9MYXN0?= =?utf-8?B?ZDhpeUNKVnFaV1lBb29zaC9tNjBYaG55OVMyTHlnbFR6Znc2RXdiVFBjR2N3?= =?utf-8?B?RFE9PQ==?= X-Microsoft-Antispam-Message-Info: B25nBhuZ+myfDXTLeDlfaYiMYGUe4E4DYmjUqCvNrswmdohTWw/6scC7I24/r9OSl70Wol03NomoS1C2rl2N+DIR9C3fm1fKawcW2q1OyUzPDK7npkhru3e2dDj+Rq5rkF4S/fhdDnSz4p/AaQh5HdizH0LhwfTM9q4LGFrZt4Rl4/HmP6CdO6frNgETuFNbaIYyN6CZMLE0HETlu896vNHlnj/9q9Kdr10p/vdub5+UcM0Sj0yMngHU8Ikp/uvQxVdYWAeE+sNNn9+lrK9VwNdmqqENU8PaUU1zW96+JpcLDr9n4LbGIbD9W2UZckunS7CzJCCAvA/FV8Gyzn1t4qeGdud6ZgNBksVQxleC77A= X-Microsoft-Exchange-Diagnostics: 1;PR2P264MB0637;6:640fdei4iPzyPuaPTLrcw4tbdfj2m5qnn0aOvoehMfr8IghwHS0cDTOdyVcChoRbD1iHAqew/huvm1zm/ZY/FbD7H3SjIQoA/ZqvRyf8BBHM64pHeQ4/Ke2rezjYl+kVxyIKcR3++29o2ww2gXFrx/nACmFW4louxbM5vHvsqBhnlwVuFSxbyTq7RNvzWXkrYQeMD8AH991FUABm+/xTpnnbZsRmei4sflHicfFV7y8BZh9XRD4jwdUDD+ZLMcAbOVR7+hNDMgtEyorKblUOfhvzvQ5aTyj0brJ4E5ArAzidyOXPdm6zw0I+ezCXa9POxLmExM2V9Y5+Dyw6/gFuTa/pfxEj8yi+mTGJRHgIWoL6dhhbZhicZGy5ILFXkXzteGiX0jygovI0Pr1re7HmuYsSK15JAZkLCk371woJ+PfsCqGoReSee/7Sc5X6KWbVxBWQaOaAmK014xLV/p2q1g==;5:LaND4gwxpoQmijR4muJTWuPla0Rj6lXKBqbI3+yXsp4JZNLUi5wyNvUVEgS8eq8y/gp39VttLQLzBCy5vEzeuF5WQ55asnJxT+y8jpl0R47cJ9jQsCLnfbs3IjWzFvNCPMvfT5FkBiMS3Qg7g5M2liBqaVP8NrAyafJlHvGKdwU=;7:cgDtC1hmQAprmt+KyEDchZCxs8WEk27Sw/OjT6+2xpgAe2viIFbQBtODojdsk0YQvPp2zAwTjCsg74VpREVpY5Yf88E40EaaBMPLQsgchPM4Bw32CONbUJm2pQmn29VYpNqVs6IJJJSEMgP66GTDWoCBX4/d/y1ZVFBBjWF35MbOnFNCEdgCLn04LSUowX2jvUYjSIHYryKxX759tvN079fckpqEEhIHiDfV4lOshYJtXB00xoRFPTBUehribF2U SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-OriginalArrivalTime: 07 Sep 2018 12:50:01.1132 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: b6b485ba-db37-431a-3037-08d614c06d01 X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 9c9628ec-e5c3-4aa7-afa1-e7bf99470874 X-MS-Exchange-Transport-CrossTenantHeadersStamped: PR2P264MB0637 Subject: Re: [Caml-list] How to rename a record field Reply-To: Alain Frisch X-Loop: caml-list@inria.fr X-Sequence: 17063 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 12:13, Jacques Garrigue wrote: > On 2018/09/07 17:36, Alain Frisch wrote: >> 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. > > This is not so clear. > The binding information could be hard to bring to the application type inference, while if it is contained in the label, it is already available where it is needed. Do you have in mind really tracking the annotation during type inference? For instance, to support binding a partial application of a function, and still track the deprecation of arguments of the resulting function? I was thinking about a much more limited approach: the deprecation of arguments is checked when the functional value is referenced and immediately applied. Quick POC to track the discussion on this topic: https://github.com/ocaml/ocaml/pull/2027 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