From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 948987FA5E for ; Fri, 21 Apr 2017 18:55:44 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=francois.c.berenger@vanderbilt.edu; spf=Pass smtp.mailfrom=francois.c.berenger@vanderbilt.edu; spf=Pass smtp.helo=postmaster@NAM02-CY1-obe.outbound.protection.outlook.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.c.berenger@vanderbilt.edu) identity=pra; client-ip=104.47.37.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="francois.c.berenger@vanderbilt.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of francois.c.berenger@vanderbilt.edu designates 104.47.37.48 as permitted sender) identity=mailfrom; client-ip=104.47.37.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="francois.c.berenger@vanderbilt.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@NAM02-CY1-obe.outbound.protection.outlook.com designates 104.47.37.48 as permitted sender) identity=helo; client-ip=104.47.37.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.c.berenger@vanderbilt.edu"; x-sender="postmaster@NAM02-CY1-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3A6cQzthbnlhFt7g+iDfa9TA//LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8q7bnLW6fgltlLVR4KTs6sC0LuK9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT6ybL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjAk7m/XhMx+gqFVrh2vqBNwwZLbbo6UNPdlYqPQf8kXSXZdUstfVSFMBJ63?= =?us-ascii?q?YYsVD+oGOOZVt4nzp0EUohu4GQasA+LvyiRVjXLr0qM0z+svHxnH0gIvA9wFrX?= =?us-ascii?q?PZrNvvNKgIV+C60K7IzTTYb/9MxTjx8pPHfQ47of6SW7JwftTeyVM0GgPblFqQ?= =?us-ascii?q?r5HqMC2P1usWsmib6/ZgWfixhGE6tgF8uz6izdovhInRno8Z10zI+CpjzIs6J9?= =?us-ascii?q?C0UkB2bNy+HJZftCyWL5Z6T8I+T21ypSo21LkLtYSmcCUEy5kr3QDTZ+KHfoWO?= =?us-ascii?q?/xntTvyeIS1ii3JgYL+/hwi98UynyuDkTse5zFFEojZbntXVqH0C1QHf5tGASv?= =?us-ascii?q?Rm4EitwzGP1x3P6u5fJkA0iKzbJIM7zr4ojJoTtljDETHql0Xqja+WcUMk9vKv?= =?us-ascii?q?6+T6frXmopicN4h3ig3kLqsuncm/Dfw5MggIQWeb5fyx2KD/8UD2WrlHgf87nr?= =?us-ascii?q?PXvZ3YP8gWqa20DxdQ0ok56ha/Czmm0M4fnXkCNF9FdgiHgJLvO17SJ/D4DOy/?= =?us-ascii?q?j06wnztx3P/JIKfhDYvLLnjMjrjhZ61w61BGxwo10N9Q+YhUBaoAIPL3Rk/9rs?= =?us-ascii?q?LXAQIkMwCs2eboFM191p8CWWKIGqKWLLndsVqM5u42J+mMZZQVuCrmJvg+5//u?= =?us-ascii?q?iGc5lkUHcamo25sXcnG4Ee58L0WXe3q/yusGRDMBtw86Cejrk0GqUDhJZn/0Ub?= =?us-ascii?q?hqtR8hD4fzI53KQIuqgafJ9gqBM7t5S1oOXl6WGHHjcISfHfxKYi+IL8lunyYs?= =?us-ascii?q?S7GnR4I73xCqqEn3x6cxfbmcwTERqZ+2jIs93ObUjxxnrTE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D1AACgOPpYhzAlL2hcGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBgmRCgTsHNYNgiwiQVCGXcwGGIwKEThQBAQEBAQEBAQE?= =?us-ascii?q?BARIBAQEIDQkIKC+CMyCCQwECAyMVUQsYAgImAgIfKBAGDQgBARCKCAEEnWwCA?= =?us-ascii?q?otrgiaIAAEHgxoBAQEHAQEBASQJAYEBh1ALgmOFI4I6gl8BBIkzh1tPi2QcpEG?= =?us-ascii?q?SXAGBPDaBJ2VXhHmCDYkAAYEMAQEB?= X-IPAS-Result: =?us-ascii?q?A0D1AACgOPpYhzAlL2hcGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBgmRCgTsHNYNgiwiQVCGXcwGGIwKEThQBAQEBAQEBAQEBARIBAQEIDQkIK?= =?us-ascii?q?C+CMyCCQwECAyMVUQsYAgImAgIfKBAGDQgBARCKCAEEnWwCAotrgiaIAAEHgxo?= =?us-ascii?q?BAQEHAQEBASQJAYEBh1ALgmOFI4I6gl8BBIkzh1tPi2QcpEGSXAGBPDaBJ2VXh?= =?us-ascii?q?HmCDYkAAYEMAQEB?= X-IronPort-AV: E=Sophos;i="5.37,230,1488841200"; d="scan'208";a="221121526" Received: from mail-cys01nam02on0048.outbound.protection.outlook.com (HELO NAM02-CY1-obe.outbound.protection.outlook.com) ([104.47.37.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 21 Apr 2017 18:55:43 +0200 Received: from SN1PR08CA0030.namprd08.prod.outlook.com (10.161.221.40) by MWHPR08MB2591.namprd08.prod.outlook.com (10.173.231.10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.1047.13; Fri, 21 Apr 2017 16:55:40 +0000 Received: from BL2FFO11FD021.protection.gbl (2a01:111:f400:7c09::134) by SN1PR08CA0030.outlook.office365.com (2a01:111:e400:5833::40) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.1047.13 via Frontend Transport; Fri, 21 Apr 2017 16:55:40 +0000 Received: from mailgate.vanderbilt.edu (129.59.15.81) by BL2FFO11FD021.mail.protection.outlook.com (10.173.161.100) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA_P384) id 15.1.1047.9 via Frontend Transport; Fri, 21 Apr 2017 16:55:39 +0000 Received: from ITS-HCWNEM120.ds.vanderbilt.edu (10.1.154.70) by mailgate.vanderbilt.edu (10.1.140.92) with Microsoft SMTP Server (TLS) id 14.3.301.0; Fri, 21 Apr 2017 11:55:30 -0500 Received: from krypton.csb.vanderbilt.edu (160.129.138.225) by smtpauth.vanderbilt.edu (10.1.154.70) with Microsoft SMTP Server (TLS) id 14.3.301.0; Fri, 21 Apr 2017 11:55:33 -0500 To: References: <58FA282A021A076200390603_0_57023@msllnjpmsgsv06> From: Francois BERENGER Message-ID: <2fca6d71-3370-c6a3-1ee3-f47f13d252f7@vanderbilt.edu> Date: Fri, 21 Apr 2017 11:55:34 -0500 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 MIME-Version: 1.0 In-Reply-To: <58FA282A021A076200390603_0_57023@msllnjpmsgsv06> Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 7bit X-Originating-IP: [160.129.138.225] X-EOPAttributedMessage: 0 X-Forefront-Antispam-Report: CIP:129.59.15.81;IPV:NLI;CTRY:US;EFV:NLI;SFV:NSPM;SFS:(10009020)(6009001)(39850400002)(39840400002)(39410400002)(39860400002)(39450400003)(39400400002)(2980300002)(438002)(24454002)(377454003)(189002)(199003)(7596002)(64126003)(305945005)(47776003)(230700001)(6116002)(7736002)(3846002)(75432002)(8936002)(36756003)(7636002)(6916009)(76176999)(50986999)(54356999)(66066001)(6246003)(189998001)(33646002)(50466002)(229853002)(23676002)(2950100002)(31686004)(53546009)(5660300001)(38730400002)(356003)(110136004)(106466001)(2351001)(4001350100001)(83506001)(86362001)(8676002)(2906002)(88552002)(31696002);DIR:OUT;SFP:1101;SCL:1;SRVR:MWHPR08MB2591;H:mailgate.vanderbilt.edu;FPR:;SPF:Pass;MLV:sfv;MX:1;A:1;LANG:en; X-Microsoft-Exchange-Diagnostics: 1;BL2FFO11FD021;1:8kyX7yV4fwQXbGLEFr7Ko4QDzi0WQwICjpMY0oP5gk5bi0Og9Mkw3pN8d0R8ezDh0Q6+e4WB/FeWcext/aC8rSE56D7Hbo/AQcWlJS9fEJeNnJPkc+6Qu0jN6yXHzZ5NmlP5Z1shva95bq67ydAl35SZcMu93/dqxpmLkc/bNhF+YU3LG24+fbOSa57lzi57PbG5QHFeHuEbhFNM7olQRM8QYBM7P8+pEnKRLfAQxya0Sliv1McrbBavXTYZgFtrwxEDc4t574S8nbroV+ga9H90lfSnA/UE8DQihHHz3kbrBvoSLE0xl0YsfUpC5Bw7yut9Beg/zYogpJoLa5DahD8jXjZrtaUDsHOBAQO8IfJ5CEIs8iUCbMqkQtiCVJIzHuf8DPnnX46+tTI0G43NC4SIxIy/fLHXb58HcD8s5j0wGkVUIiE87WVBXUmTdal6P+ueh0ZAVvv4U7tGneyoMy/iTuRJUkPTESGxBLcu120C7d4RT9hfXlAf33+RbkOgNZ4lQCURFh4McfBupKJN6ka8cGHzByY2qqM9CIZ/4u7Cwh4jLwCwvafXYtWYTfzK X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 2fb3a694-ba16-4b1b-84b3-08d488d73d63 X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(8251501002)(2017030254075)(201703131423075)(201703031133081)(201702281549075);SRVR:MWHPR08MB2591; X-Microsoft-Exchange-Diagnostics: 1;MWHPR08MB2591;3:zCyK/q8vOUPrFzHcHifhw+99f2PYJNhKvHPAoN5cI2WcPLuQQbPM6TtUY8qH+tw1SviVDTrJ5ZTqtQh8MToj7pkxucVzdo9pIDlQe5wmkf5e+U92eNllE08JfcM2OGUPvq6GE15upxjMHhUBQ/k5Q+1+vAc+ASPDLb5mq2QAXWfERvPtyjl6nalVQhqsbZdU2zFa4pEDj4PvS/bbcqI0Ki8eKljo6p/NiX3YKkTnYi32OLQPBl5BXuLn2mA1zgwshiEYa3dSiM+CN+vLrftpZYfsNuarytWFZ/mU72yzyAMbVVExePrEtDub/QL2zhZEL2q7auOOStrE+t6U0KWX0CVZmrHP35+6uL5Dyh+ldRvH35oSKXYOU1U24OxtSV7fTit5YaCjmduDFDCAKjtWi3rZqPIfzodIhu55nCYvsZZqjDf2JhhE8EwdFsX47kZCrTSz9G1CIXjeNNS7uHXPkrchjP1DfpjXzx6vvmWX4O9uFhkulioJM1mGkewB8tQn/wCJavAH0GMbXIXtsat6dQ== X-Microsoft-Exchange-Diagnostics: 1;MWHPR08MB2591;25:S9WK9gLKMgYGvpbToMHILtCGToKpDSYm4zfcOEDOkj/j04tTyguhEy8tiaRdn98wy1M6Rw5UeWyW0UAtBzzsQBTytaxhRKfw0EmNcm4e3purtJ+8Q9FmX2gFxvM+NrZAz8G8S9Pn68p2XKfhiRo0TfDcblhysPkr6hIdBbido2XNtFRVjoMfoyrexzUYOxeKv+qb09rHDHMe2BDpDp2eYLpuPUwYGyYEVcTGebtq0/A/xEKJjmDu9ZCp7gaIDUv7r2RNS3AxShjcS31iqNd8dwSbxJhunmk9vHksiZSQo6p2CvziVcB9TahjRJUAgJ75pXs5VcmgpMpm+kMPTIukVJwsX3oppZaOneYCc738zO6FwJuaAdZJHifKjK/De2DK4WONrbsWiIoLl+jbYN8bwYegGi6Y3uCyYApjaIXpbpFmfI2CbPeLCAjcYlDijHMB56B0yo/CHcr2GQTNdC3+0w==;31:raNxNfJ44fxROQPywdMbATyq0FdR7yv/8hmGqu8mBmr0pW14SuNLfO1YYhDjPa3vff0cepUHplbArqHHzOl5VrJD1Y/jGG8aaGiOzeUq4FlsHsKYbXL0Hx06wTVftIBDEGHc0FbJ1GbvtKFC4zR/xb11hcuCwfXH3fYbCzEkFNlUQVTr9S8FoeCYm8cXSmpLtMOgf1zhVbyBmTzf6STe7o/L6Ys9+pVLytMWivWJOCkww/ubclhqdgaTGpOu8wsT17D2llDy65kiEyLvRtG+qQ== X-Microsoft-Exchange-Diagnostics: 1;MWHPR08MB2591;20:08tB4hbm6AcWY20qgmUqx7JOAouSRJtgxmLBVjVH+cee7IY/1VaPnFbN7mUWeHhX8V1VhO117PfU5XNGxFj+oeyURAltvgMrwakoUU3DFLzbxVKj7gnZGayDizK4Nzrh1MAlOA3hBwhHdSgFvrRLhNjTuK8NvaksFIxfouFNXp657Sp4pvqC0rzTkEehGFcldcQ1Hc+S9jNbrdPMCOGygjIkU6C8Vo02onjVVWgK2A5rDaUhBHUCU07uWkrQs7qpYpWKl6Qpdj3882ReaY7gUjE2ghBr1nDiw70oIyeFEWOO6WJoej4EC5CkhdJH/632WXT6cXt0jZoidILtnXyHBNcohZh7OLH2sjTuNiibBonqavmx4lqXT0h4igbAuJyiJzgmXCWL1KtrK1qiJ6iKoPKKIfX4aL37fifsde3n6gook+0+qHY/eWI8mO9iE8T0GZq6NlhYcTQhVA96xjPJ/ujN3dWYA5qWaeoQX7hoyHHRT7jU8sAyIqQEAyxbjGiV X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:; X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040450)(601004)(2401047)(8121501046)(5005006)(13018025)(13016025)(13024025)(13023025)(3002001)(10201501046)(93006095)(93004095)(6041248)(20161123560025)(20161123562025)(20161123555025)(20161123564025)(201703131423075)(201702281529075)(201702281528075)(201703061421075)(6072148);SRVR:MWHPR08MB2591;BCL:0;PCL:0;RULEID:;SRVR:MWHPR08MB2591; X-Microsoft-Exchange-Diagnostics: 1;MWHPR08MB2591;4:U/lsW8YdNmJIcmQQcuprbuk+mhmRXKB9eDnYRXpLHplfD3AdulJjub8sXf2Ckdfm6rmuZoV9Dav+WIthll6jw56evslH/9sZjal9Rmd4PtYcbXnfcmK4QVOwfiCNinOhGsKmRu5RnrEln2/FLmKADHIi7VlzFvby8PCiBDpeGWr2uyaJjLvDpvIZ0D5byNWhLtdxjNQ30DFWjSgvbHpyexV/yAd62hns0IfPpzdC+l+a2ncXVu1/Y99b/MNBNWLCz4/j6Z8Ox4qjeiVbWflphVSicvkBIcp2NzYNfT3letZdQbjzQU5ZbjAs3koIeVhfrcCwEaa4Yt1gI9Otn+VpjVlUMzsySX+xI6EnDdB4k6CgfTtkHRbfWtSepbSdyYWSY6CaYS45jlNSt6GRGkchf850Iqk8Yd2fNuxOqtMZjVp7bop+nj4vgZCIzvd5svRZN3lC2dSiHe/ac+R8nTGrhXtxBXolMTiTK07eCmrgYF8uWEeXkXwn48a3wiXW7aIgqn3m7+ldSK8fB7Y4jNM0vKnMyb035i5Cv4d6mdY77tjEcOeEHjJS9okwg7QYPNpjJS2cYXnL5REDK00g98A31CJrLPVkeMFelozsKTvnxbbuQ99ISjP1sJ1DKuXU5XluDigdDJUIg+k3+Jp43GhUU92m97zLx98TrkYrmXn1rtcYEqyiqQAHufCywMLqQ0NVY3xkdxAHRrtgL9TH7wxLP9wj69pX8PtpKNi7WMMLpp8xKQKdA4xOPstYh2SMct7noI76xStRggIlLRqRLBII3eDiVSMMulKPKkDLVUFgiD8G+4rlCO70vgpmf2m/Oz2W65B5fwRDvDn0Y0bTCEjlxQ== X-Forefront-PRVS: 02843AA9E0 X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtNV0hQUjA4TUIyNTkxOzIzOjdhb29nUmlqUjEvMTljdXFMRWsxT0w5OUVm?= =?utf-8?B?VnIyM0hCeEFBU2ZMZ1ZRaEE4QVRQM3M1NXViUXhBWmdiRGtpWStjNjRRbW5a?= =?utf-8?B?bG1EV1pmc0tJZFlNOVVuTGxkbnJLb1NwaFFWb2dDSGQrRnNFSTB1TXl0d2ZH?= =?utf-8?B?U0RNY2Y5USswbk5GZXlxQ3NtSnl5VkE4cXZDSm9obVQ0SEZoWElMVVppY3hi?= =?utf-8?B?Zjd2TW9sZWRkckJGZTJGcE9nYTRNUW5pVTZ6Z1R3cFlKOG44MnVCR2RrTFAx?= =?utf-8?B?dmo0UG42SXNUbTVPOW4zaFlFSEtmSFlCbkIxb3lDM3lWUFc3VFhMQlBWL3gr?= =?utf-8?B?SVc0Mk1wQzlBUW05RGt5OXBBajJickZSVVc2ei9uM0h6T1NNeWZ3MlE5OE5j?= =?utf-8?B?eklISTJodVR2NG8rcXJ2aC93cDdTNGFUNmVVbUlYVXRHYlNzODZnNFRYMmda?= =?utf-8?B?RkllS0ROWGx4bG5kVTd0SFR4bHRoamVsaDBDcEZrVzFYU0ZQdEVrWnpXdU5M?= =?utf-8?B?eitVUE9MZ0VwZ05nMzVmbmVUOGxPc2ZiREVobnUrK25tWTRaTVdDVThsVXgv?= =?utf-8?B?RzdkK2hQZTNFNW43RnpjZjhWVGhEa3cxS1FJNTdMc1pBRmEranpnSDlNVHB3?= =?utf-8?B?U0xycHF6RGVuMGxVZVVmamw4OXl6ZGtVcVMvTnc0RWZqOEtQUCtmRHhLZkth?= =?utf-8?B?Y0dRY0o4cTFZRklaTVVDMFVnKzZLb1crcDNBcVI4RElQckQ4VXk5dGJQZ1hI?= =?utf-8?B?dVMvMi9xcFJYSUZZTWpJMnNpdHZ6aXN4QVM5amVsZzZySWJKckhQY2V0MkEr?= =?utf-8?B?c0poMkhBUlVPYVBaZGExN29YcTFpZTBhQUxtOW5FNExGM015cUl5L0xkdTlq?= =?utf-8?B?S0xIYmMzNlNpVWY2RWtPZXEvVDJFZXA0R0tld29XUHMrbnU4THNTQURQUGhY?= =?utf-8?B?aW1CelBJUzMvUXY4SkxFb2EwbUtxa3k5MkdpU1VZYnpERWxwb1c5aEtDQ0tj?= =?utf-8?B?MjZ5Uzl0a1lScGdqb0xQOGQzdk8vYjYyL1Nza2c3L0VLYnlVOXFPc3pkZXV0?= =?utf-8?B?QWFuUmNsOFJyQ1B2TnU3UlFvRjdmTnJDaFZ6RndkdlVVcjh2VnhzVEh1TTI2?= =?utf-8?B?MWNIT1MxNXNSRnVVUHZ4V05ObHBwMTNSVXFmMFhoTnA3RFNSMFp5a3YyTVZS?= =?utf-8?B?eFBvWXQ3QWdwMGJUODkyTEpmVWtBZkpCS0xNaTErcEhELzEyaDFocjk5cytm?= =?utf-8?B?UllMb0k2dDFpeHBFc2RnQkx0eklTYm5lck56ZFRNblVrdFl5emJhNUJPZDAw?= =?utf-8?B?Z3VOR0J6UFI4cGV0dDN5b0Y2TCtpdjlkOStZRlN0b1Vpenk1MVFNWmsyWFNK?= =?utf-8?B?NnVGazk0ZElsUWJ1Q1BqdzlwRXdHbWs5R2tqS0ZZa01JL1FPMHBNWkNrM0Ux?= =?utf-8?B?TEFhZ0d5dkRScVVpdXpja2NoczM0eDlOajgyK1ErOW5MOUR5dlIvTW81VTJZ?= =?utf-8?B?NmlBTUsxWGVkVllBemFrOHRkQ1B5MUVlQjE0VUhNbWlUcW55ejMrdFV0TUJV?= =?utf-8?B?ZXJrYWw0QllDMDVBYkJRM1FMWWxCWHE2Qkh2cWlibVg2bExpd1M0N1hwSUJn?= =?utf-8?B?NTFRQnhoQmp2ZVoxbG1qTFZuMnRJWkcvemZaaW1LY2tlRGlicEUxZkF1VHJ4?= =?utf-8?Q?paHoD/xzwDEV1e+0W5+qPw8MD5peAyMGM1Q8U6Z?= X-Microsoft-Exchange-Diagnostics: 1;MWHPR08MB2591;6:yZ1KqRDFRBpIrcY8IT+jXtbbkpZDZoy5epf3/OMJ7jkFqmTuz8QD/uS7zyQlYJvDgiMwiwQ/FD465u47s6NEroIkDVDLwmHgmnGQKHijc3iRMnRMzK4AXn2MsofIvrr7XiaZqG3N/dtIzaD8cwNHBm4fYwoD3kHd07ztuAAsDnU25Vkyc65Wg3ExLb+R6DxJeO97HeRTUdT8K22qJF8Z0JnrtzZfZmCJ/9YnlVSaG7C0pD0WDCE+Qpy/bwUi0+8bGmP9LhTC8fwKrop8IkFjimRCsWJ4vh7BxPtD9wVPEhVXlkuDqzg//WW9Y9laB9rOz+YjEHqsEBtBHDsdSW9brsmp8ovOYdeegcgg3nET9kZ4K0C/8MdPrfe3Fb99rFRr+XTjPNVEf7algNU77OW3G8epO0R5OoEkLAVVudVFNeqcLJwxp4jumDfyPVbhDFyskV2wvckiULw3ovQYUjYqPG+3blG14Bt+21Am2Sbei1MJ8yqoa8vHNIU75SUQYiNCQKt0qvLyvoiv2HOjTzmDUw==;5:exqk0MoObHAOQbaH+vxblu5io/LMl371B6VNLqlkQVCVv87mn+b2wxx5VbWt+qPUyyoCQVLPI4DYf3NH4oBjKhVhfH3gMOJW0X1ShhTrIAlnDVvBnnSeA1b1Jov8ZpzoprCpdMpjZT1MGaQxVz6vvQ==;24:xAICxdk4uPyiCv5rF9yllWblNVare9Gorev29AoBwT7zeWfstTbN8h/CB1rORHJNZ6ojj4bNccqCGnMJT/dth7J+nZNMinDy9+4zdqUzhWs= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1;MWHPR08MB2591;7:X4wFfGGw5t57t8mOW4EDun1I9SQB10VkRmFvfiofC2334hSFVbY1Zg6vhOSNtUasuyft5McEojjArvlXKv5sZBj/KIyYIVRR3nX3n4z1ceJaIYgcvmp0W05vTtAG5OOjliX5EDnb9ilt/sadwYqk8EhTBeKeBOSuxiGXIM/rvNp2Lz2yj/Ugwm2US6v+4ysEz5et55MmeRbF2ay3JoxotE6B0FBmKkPscXESOdqT/BDxiDv5ItI8OdlhOgipZ6wGgR9fmbKrHpTh31A8xAi/e2n+tYpa9js0MWInpuX1zGULIGNjeoaGn+7mj1CTCiG8iB2n3hjZX+5xAd4nN2GUYw== X-OriginatorOrg: vanderbilt.edu X-MS-Exchange-CrossTenant-OriginalArrivalTime: 21 Apr 2017 16:55:39.2553 (UTC) X-MS-Exchange-CrossTenant-Id: ba5a7f39-e3be-4ab3-b450-67fa80faecad X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=ba5a7f39-e3be-4ab3-b450-67fa80faecad;Ip=[129.59.15.81];Helo=[mailgate.vanderbilt.edu] X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: MWHPR08MB2591 Subject: Re: [Caml-list] PPX is harmful to our community in the long term On 04/21/2017 10:41 AM, Hongbo Zhang (BLOOMBERG/ 731 LEX) wrote: > Dear OCaml developers: > Given that bitten by PPX from time to time, finally, I think it is a > time to spend two hours sharing my experience with PPX and why you(the > OCaml library developer) should avoid PPX as much as you can. > > Here is a story I just experienced this morning, I tried to install a > package from opam, and it complained my compiler is too old - 4.02.3, to > be honest, 4.02.3 is still a pretty modern OCaml compiler, even debian > stable still stays on 4.01. Anyway, I switched to 4.04.1, after half an > hour, it failed to compile again, complaning about some ppx error > message. This is not my first time experience, and finally it made me to > write an essay about why PPX is harmful. > PPX is a compiler plugin, it imposesa very large compiler surface API to > your library, and we don't have any backward compatibility guarantee > from the compiler, which means your library will only work against a > specific compiler. Even worse, OCaml is an elegant but small community, > we don't have too many maintainers for a library, if you have a library > which relies on PPX (the dependency chain could be really really huge, > for example, ppx_metaquot depends on typing environment, you can find > lots of stories about node_modules in Node community), it will probably > not work against next version of OCaml compiler, and it will be a huge > maintenance overhead for other people to pick it up. > > OCaml is already a very expressive language, probably more expressive > than any other mainstream language, (Go, Java, C/C++, etc), it is fine > to write some boilerplate code, or we can cut PPX as a dev dependency, > after your PPXed your code, check in the generated source code(via > -dsource), so it will not bring dependency to end users. Does this -dsource trick makes the code backward compatible with older compiler versions? Or is it just upward compatible with future compiler versions? From an end-user point of view, it is quite useful if we can have more opam packages that can install, whatever the version of the compiler is. Regards, F.