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 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 Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=pra; client-ip=40.107.12.110; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of alain.frisch@lexifi.com designates 40.107.12.110 as permitted sender) identity=mailfrom; client-ip=40.107.12.110; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@FRA01-PR2-obe.outbound.protection.outlook.com designates 40.107.12.110 as permitted sender) identity=helo; client-ip=40.107.12.110; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="postmaster@FRA01-PR2-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" 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 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