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 95D845D5 for ; Sun, 13 Jan 2019 10:10:50 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,473,1539640800"; d="scan'208";a="363817342" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Jan 2019 11:10:21 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 445D28256B; Sun, 13 Jan 2019 11:10:21 +0100 (CET) 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 6753C7FEFC for ; Sun, 13 Jan 2019 11:10:11 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Christophe.Troestler@umons.ac.be; spf=Pass smtp.mailfrom=Christophe.TROESTLER@umons.ac.be; spf=Pass smtp.helo=postmaster@EUR01-VE1-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3AyJahfhxNyh/I8WPXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2u8SIJqq85mqBkHD//Il1AaPAd2Lraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HQbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDtU7s6RSqt4LtqSB/wiS?= =?us-ascii?q?cIKTg58H3MisdtiK5XuQ+tqwBjz4LRZoyeKfhwcb7Hfd4CS2pOUMZfWTJcDIy+?= =?us-ascii?q?boUBF+QPM+VXoIbhqFUDtge+BRCwCO/z1jNFnH370Ksn2OohCwHG2wkgEsoQvX?= =?us-ascii?q?TUttX1NbwSUfyyzKnQzTXMce5d1ynn6IjPbB8huu2MXbZufsrL1EIiEB3IjlWK?= =?us-ascii?q?qYzkJDOVyuMNs3Cb7+V+T+6hlXQnqwZvrTi02scsjpfGhpgOx1DZ8CV5x4A1Jc?= =?us-ascii?q?aiREFhfdGoCoBfuD+DOoZwX8gsQHlotT41x7Eao5K3YTQGxZY9yxLCZPGLaYeF?= =?us-ascii?q?7xb7WOqMPTt0nm9pdK6wihqo70Ss0OzxW8es3FpXqidInMPAum0J2hDP8MSLVO?= =?us-ascii?q?dx80S71TqS2Q3f9OdJKl0um6XBMZ4u2Lswm4ITsUvdGi/2n137gqCYeUs45uSk?= =?us-ascii?q?9v3rbbrpqJOBLoN0jRrxPbo0lsy4HOQ4LhMBX2+G+eS6ybLv51X5QK9Njv0qjK?= =?us-ascii?q?bWrIzaJcUcpq6/GQNV1Zsj6wq7Dzeh19QYnmMLI05CeBKCl4TpOlfOL+7kDfqn?= =?us-ascii?q?jFmgjC1ny+3aMrDjGJnBM3fOnK3ucLt580JczRA8zdFb55JaELEBJ/fzV1fvud?= =?us-ascii?q?zYFB85Mhe0w/rgCNVl1oMRR3iDDLGFPq3LvlGG+/whLe+DaoEJozv9Nv0l5/no?= =?us-ascii?q?jX8ig1MSZ7Wm0YEMZ3+mBvhmOVmWYWLwgtcdFmcHphYxQ/bviF2GSDJTY3eyX7?= =?us-ascii?q?kg5jwgE4KnDYLDRpi3j7Cb3Se7GIdWZmFcBVyWH3fobdbMZ/BZQyKII9R9lSQE?= =?us-ascii?q?WKLpeY4k0By0sQb8zfIzJerO+zYEsorj2cJd6OjejxUz83p4ApLO/XuKSjRfnn?= =?us-ascii?q?kJXCMxxKBy6XBnzVqYzax1mbQMPtxJ5uhVVR86ONjg1et3EMz2VxjpY9KOTk3g?= =?us-ascii?q?S97gCzxnHYF5+MMHf0soQ4bqtRvExSf/RuZNz+XaVqxxybrV2j3KH+g4zn/H0K?= =?us-ascii?q?c7iFx/GZlSMGqgneh2/E7ZCtyQyhnLp+ORba0ZmRX12iKb12PX5xNFVQl2SuPM?= =?us-ascii?q?VjYVaxmO9Imr1gb5V7arTI8fHE5BxMqFdvQYR+DT1QwDetq6fdPUbiS2hnu6Ag?= =?us-ascii?q?uOyvWUdo32dm4B3SLbTk8ZjwQU+nXAPg87VH6s?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AaAAC9DTtchzEOayhjHAEBAQQBAQcEA?= =?us-ascii?q?QGBUwUBAQsBgTCCLAcvCoN3iHmNGpd8gSQDVAELASyEQAKCRAYBBDIHDQEDAQE?= =?us-ascii?q?CAQEBAQETAQEBCA0JCCkjDII6KQGCZwEBAQMSEQQZAQERJgEPCxgCAgUhAgIPA?= =?us-ascii?q?TcQBg4ngwCBagMWAgGiSSoCAooScXwzgncBAQWEdxggH4FLCAkBgQGNCz+DdS6?= =?us-ascii?q?ICoJXogYHAoIuj3KBVQEOiCQ4hz+aRQICAgIEBQIPBYFNBIIDTSBTgmyCGxqDV?= =?us-ascii?q?IpUcYECJhMLAYd2AYEeAQE?= X-IPAS-Result: =?us-ascii?q?A0AaAAC9DTtchzEOayhjHAEBAQQBAQcEAQGBUwUBAQsBgTC?= =?us-ascii?q?CLAcvCoN3iHmNGpd8gSQDVAELASyEQAKCRAYBBDIHDQEDAQECAQEBAQETAQEBC?= =?us-ascii?q?A0JCCkjDII6KQGCZwEBAQMSEQQZAQERJgEPCxgCAgUhAgIPATcQBg4ngwCBagM?= =?us-ascii?q?WAgGiSSoCAooScXwzgncBAQWEdxggH4FLCAkBgQGNCz+DdS6ICoJXogYHAoIuj?= =?us-ascii?q?3KBVQEOiCQ4hz+aRQICAgIEBQIPBYFNBIIDTSBTgmyCGxqDVIpUcYECJhMLAYd?= =?us-ascii?q?2AYEeAQE?= X-IronPort-AV: E=Sophos;i="5.56,473,1539640800"; d="scan'208";a="291728255" Received: from mail-eopbgr140049.outbound.protection.outlook.com (HELO EUR01-VE1-obe.outbound.protection.outlook.com) ([40.107.14.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 13 Jan 2019 11:10:10 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=alumniumonsac.onmicrosoft.com; s=selector1-umons-ac-be; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=5pbP7jVNGs1N2XRyMTA5Y9Wz2Kkf/us7mM+AGWrat88=; b=dA3PjVSwkitwAPG1E+eMmGAop4g/2yDCmPY4NhiQ4VmoRzpz16B/Dn01z96MkoMoEA+Ueztj3kJ6nrmG3QGI5rZ9lCAHYGs9xrJbJcS6uBhQuvoPrriuDtPEcNqOq0ymCo3q2zyCnBhgYOeZ6aOmJOW4RfSlyRuz4Smb1vnuMes= Received: from DB6PR01CA0077.eurprd01.prod.exchangelabs.com (2603:10a6:6:44::18) by AM6PR01MB4963.eurprd01.prod.exchangelabs.com (2603:10a6:20b:30::24) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1516.13; Sun, 13 Jan 2019 10:10:08 +0000 Received: from DB5EUR03FT024.eop-EUR03.prod.protection.outlook.com (2a01:111:f400:7e0a::204) by DB6PR01CA0077.outlook.office365.com (2603:10a6:6:44::18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1516.13 via Frontend Transport; Sun, 13 Jan 2019 10:10:08 +0000 Received: from smtp.umons.ac.be (193.190.208.132) by DB5EUR03FT024.mail.protection.outlook.com (10.152.20.67) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_ECDHE_RSA_WITH_AES_256_CBC_SHA) id 15.20.1382.18 via Frontend Transport; Sun, 13 Jan 2019 10:10:08 +0000 Received: from poincare (10.104.2.63) by smtp.umons.ac.be (10.104.2.84) with Microsoft SMTP Server (TLS) id 14.3.408.0; Sun, 13 Jan 2019 11:10:07 +0100 Received: from localhost ([::1] helo=poincare) by poincare with esmtp (Exim 4.92-RC4) (envelope-from ) id 1giciQ-0002RW-AI; Sun, 13 Jan 2019 11:10:02 +0100 References: <20190113084919.5cfaa055@mortimer.gmerlin.de> User-agent: mu4e 1.1.0; emacs 26.1 From: Christophe Troestler To: Christopher Zimmermann CC: In-Reply-To: <20190113084919.5cfaa055@mortimer.gmerlin.de> Date: Sun, 13 Jan 2019 11:10:02 +0100 Message-ID: <87sgxw3m2t.fsf@poincare.umons.ac.be> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Originating-IP: [10.104.2.63] X-EOPAttributedMessage: 0 X-Forefront-Antispam-Report: CIP:193.190.208.132;IPV:NLI;CTRY:BE;EFV:NLI;SFV:NSPM;SFS:(10009020)(346002)(376002)(396003)(136003)(39840400004)(2980300002)(199004)(189003)(9786002)(246002)(6116002)(3846002)(26005)(2906002)(72206003)(53546011)(446003)(426003)(6346003)(478600001)(186003)(626008)(7736002)(8746002)(7636002)(47776003)(786003)(50466002)(106002)(58126008)(8936002)(229853002)(8676002)(316002)(4744005)(305945005)(6246003)(486006)(356004)(2486003)(74482002)(5660300001)(336012)(476003)(126002)(11346002)(4326008)(76176011)(57986006)(86362001)(76506005)(6916009)(23676004)(106466001)(5001870100001);DIR:OUT;SFP:1101;SCL:1;SRVR:AM6PR01MB4963;H:smtp.umons.ac.be;FPR:;SPF:Pass;LANG:en;PTR:smtp.umons.ac.be,imap.umons.ac.be,exchangehub1.umons.ac.be,pop.umons.ac.be,exchangehub2.umons.ac.be;A:0;MX:1; X-Microsoft-Exchange-Diagnostics: 1;DB5EUR03FT024;1:ddPKf4lZdnKwnoE2p+lRHBmwEgeH+lr4IYjEeOwfWiGwmazjWteDLXU+3Zv7K+yPeqGG63o5s5KKkuKhVIEgC6tHmDm+cuAstNiulz7DV89onnhLh73xKzdYrHP+QEWm X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: f0c32b40-e0da-4b56-70a6-08d6793f4c0f X-Microsoft-Antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600109)(711020)(4608076)(4709027)(2017052603328)(7153060)(7193020);SRVR:AM6PR01MB4963; X-Microsoft-Exchange-Diagnostics: 1;AM6PR01MB4963;3:jqHMfwHe6WNkPdI+iClBTfQoo/H+H0tY/YhRFO94GqCjDKDG3lXad6dO46nVqXKv5LRJfdGuEdW60+1n2HiifGKaN1vK+AeW5nt5M15ih4xHASZya8O3SiCyzEv8K467KPvwRCgQrZKNBKZxlv+lLV+7EHmdqXk50mbHBj+NJHrkrpDE6ZXuN249qlQTLyv3+jqiGZB+bIZIqIn/Ce0uruE44Ky+Q2okydMfSngYRq+PsxMaSFXkL6YWUe2BonFsQS/Bd0e3BrKfkRs7RcI57nLc2ObYsh0WBVDWOyMuTHMNptwytu7ix3LepbLb+QfJLesjTGO3KpvCY8n1C2MOxIR29p7xY+t8x54P8CWVRgIudzWi3yatYfv1lFOL5PeX;25:asMxeBgNSNpZEwepbYBGcpVBtGl4nv5rXDJ1mvQcyKiMXoxzXzGrlB3H/sfvHnppUncRJ1CLWoi84fRnXQke84dZIp7knky6vTJXSymG6+R82cMtOe2eITkjqcuRTDkN8PvR0e10nnqRqa24BnPtwjFH9Lbl01pRmFH90cb7eOigJELRLCTVBbu7Jt6Ie+vMa3+/hQz5nN+A4nX6u/af2finJUoP+PpYXqlPMKdZpjVtEpUHAy7QYvI8FSCUeFlWTySmsEspyIABi7ioQ1hegQtDIqpgc8MAovP6W4X4onUC0wRTR2UY8vy3XecmYgt/pBqFiIJ5aMR0xYBHAjJXmQ== X-MS-TrafficTypeDiagnostic: AM6PR01MB4963: X-Microsoft-Exchange-Diagnostics: 1;AM6PR01MB4963;31:X8CtfD36hI1CBkJZvIUaJ8FZ9Ou3iUMRGnut6GILflbygApCKy7s1bxsG+KCR5RqMpSFWrAYAFtiMeKD7yIXCiZbAFYn6qmihaJ+OBwgBff8FanLcRKfj5Q6+41xhXpAKCQF3mDgPRmjinmhJywuANGCBZ+qM3YPX/TDtFJCvLta8zY4ihnBGbXBH35ieAPFsMUxhVwHilYgnqvGXFH+MYvuqILh97ZavQ6ztmsqNPk=;20:me96pko0feoONXkqlFcbZkwb6w8uXOQGDtivD3dKpFQV7FB0W8JUtKcdyUJdCHrHfls4TsdPvAeW0zGVKubyYNoukSlw2udE7oN5UT4T2zXjASA0FlYgNJWzknN9qBlK9FjSbeZhjvE2Hd8ONT7q5yPWnPsEYMyXUvT/mkNY1Fv7q97BA3BP9D/N2+i0rf7jY5JQtqUjCYv2ULrDH9jSh6D6kB+cbpB/c/w5a+Ar+uP3jfF3Ma+dfoQPKXr5F5W4dTVMEFUv8Wn2W9GX2igg7WhMq0JjJRBXh52SZHm479z1OTFblolCRLDyMW9q+qlMKLmPTs/7gE7gnKoRbCl2yQ==;4:PH8Rco7OTKu3G7lMxcAjAD+tWH/UnaZJqZo3TOTRvxfnu4vFyzzcK6RSuh1YUmjQWzoXwgD8WAzzRPRwnA5aLbYMyGu7575WCNzVQtMnGBD97+K5/QVxYvscJyw+UPJO/KTI6xpr8f5+7zzndWLgpGbAtnHI8C+V7jM6P7RDW4lzt61oi50HSq3f0AXSzIbVHQhv5ulZo1jmuca7I0it9Oab5j4NouRNCUTT65YjlpR8J9Xun++asdQj2/JyyL42++UeKkgwO+jqge61nRs9lRrrX/xFj5uwbLumbjmXW2g= X-Microsoft-Antispam-PRVS: X-Forefront-PRVS: 0916FC3A18 X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtBTTZQUjAxTUI0OTYzOzIzOjhtSHpET0lwS3Y1dTVnYWRTTkxTWHZhb3lB?= =?utf-8?B?eVdnUHpKM2FKcnFJa2syZ1BDdy96Z0xDdVkzQjNMdFluZFhUeEZZTjJ2YzI0?= =?utf-8?B?YW5tU3JQWVZGRDhQMGxKWHhiM1BPRUZNdFltd01NMHcrV3ZZSXlxTFl2aGMx?= =?utf-8?B?dXRGNHFGQkU1SEhRRFl2ZmxhL0UwVGc4aVR5NFhFR0JzbGJFRGFGd0RTR3Iv?= =?utf-8?B?bGZXVC9IR3hTUW8yR1hoWElRNThOcGFFMkdxWkp6eXBWQzRRV2k0WHBuQXFW?= =?utf-8?B?TE8rM2ZUS1BxWTFRZEdiK20xMytIaXJwVlF0V1FacXIzNXBvTmtVZlIxT0JC?= =?utf-8?B?SzBKazZYMFF0V3lzZ0MyVWk0Y3J5bFNqa2JrM2RRd2I1K0FaVThYa0h6bXkr?= =?utf-8?B?d0VPcjI0bkVsQzQyVEpTUVhwcU42dzNFMVNHOHVPM3FUd1VDK1R4d25nbE9Q?= =?utf-8?B?NnRHZVBwcU1JYjlYMkR5RERBTG8yWFhDQXQwQW95SDZtZUZJQWtWR1F6WHZT?= =?utf-8?B?S1FRQzM0UWxweUFQOTdCK1htU2tvSHNXMUhpRGdadk5SQW9lVjJ2aDMvbDd2?= =?utf-8?B?MEwwZVgwQ2hOMjYzL0hvSVlBYk5vcFY3NDdXMmpuSzJUbUlrdWtWNTg2MW9Y?= =?utf-8?B?bW9yQlNUTXJLTHZkVGVweEVmUTdhVnlwN2pCMUh3cHpXbk9LMkorKzhrSWRB?= =?utf-8?B?aFcvZTlhUHZiSWYvaFE4STNodEdQamJuMTNoSnVjQWNYZURKLzlObGZpR2pj?= =?utf-8?B?Tk4zbmRnaXRUTHJyUm5zMVprS0psUlBhRlFsaW5JSmZudE01anZQTStGWHQ0?= =?utf-8?B?ai92cFdPNk4wbElRYTdtS3hkUVN2RVNQamFVWk56a0ozVytqVmE1eDlxd3Zi?= =?utf-8?B?YW5WanhwUVY3Z21pU1dGMC8wTzg2QkZxRjdNM2ZQRHRLeEt5YnBXNnE2OUp1?= =?utf-8?B?N2htNTFKV1BYQzRLeE1LLytPNkVmM3VFcnRVTjNSbUFpdCtwanFCeGpWR1FC?= =?utf-8?B?VkYydm80dUV6OEs3QVU3QnhjdFNCdFNBMzhlL0V1NHphU2dUUHA4ZHFPRXQv?= =?utf-8?B?UFdjMWRPaWx4MVAyak5QYnNlYWYyRGxHTXRoT1A2WThUazAwd2cySlZNNTRV?= =?utf-8?B?UDc4eWJHTGZnYVJWeURPcHpxdDNibEdGUUtKVm53aE5hOW1EZWIzSkpzdXJC?= =?utf-8?B?VHJhQmRoSmliZ2RENzJFRGJDVW10a25DL0R3Qm9WQ0M1b0c4VUlFcEF5eTBC?= =?utf-8?B?VkR5aCtORGdYL1czR0svaWpmdmRHK25scGo1dk9CNTVhcklybW5qakJJcUFY?= =?utf-8?B?UzFCWmx5VE5heFVXNi9NVTBsTVNWeDc4MURyblRtN2JLOVl2SGZTeHptS2pG?= =?utf-8?B?VnlGSGE2R1c3b0NEVUl4WW5pNnVxaVl1K2pFSEVhV1o5c0xOM1BXZWtrT09L?= =?utf-8?B?UHJub253MGxaTDd2SzJiaDVtZGhYazJIN2N1K1Q4MEtuTjc5QnZDa05NUDR4?= =?utf-8?B?eVJlRE9xTzR1VWpsTVJMZ3p6MEdOeHFEQUh4Z0hENHNaVlVWcCtaMnVQb2Fm?= =?utf-8?B?a1A3ckthRXVhS0xHbnpqOTNrWVIwOWo1cnoxdXN6ckZORHAybEljYUZWeW80?= =?utf-8?Q?JrTcgPNjJPLdNlscsy2p?= X-MS-Exchange-SenderADCheck: 1 X-Microsoft-Antispam-Message-Info: WKIMu24pea4xLY/BILOF51yDxvcuHFd+dDzMlISIYfEYjdwyCg16gOhZE6VsO8BIPctlvZTcWiZMny4fyxRaByqck0ks0OSXS0EP4e8TunhjKuiHOVTmd6VeZeaBF++WL5p0USUjCIB3kIxKZe3RlFh5FDrJXr9T+ImQZ9KlKNRIFpt3Ggy5B4hjmZoVC1+tFOZBca2fLvcEt4n7Ojku46bwEEdMc2TfW7tjxICfA38fBXeTCPo8jg4mznB1zl6SadYSxo9nx2QLoYyUkN0S6cK9vAS81PqIiScTXgMCxHhMr/oNO3F+D4tR9rxNEBxkaTmhd6omAZHEDsE50ypD3tW0N18FX3KZH0VqEKYCydWMERqnojl/1sAXlWhyC9mZiy4jVxvUAU5FkHrOAw+G1eEpigN1SnEbaMae5C6ikR8= X-Microsoft-Exchange-Diagnostics: 1;AM6PR01MB4963;6:piAzsoYzSisXkrYBA+y6EPOLgwDCaGK03A9FE98cjtsyL5JhBLt4XBqOUgLL9ojf5Dq6mpYBfuU1ut5vA3chAKc6mrgPi9RYre7Ei6L5HALZRHLIiYVvPpntecIG+Hw/j8FLmlLGiFgnzyNXyoAublNyOjl5M5vzZ/Z6j4OhlhxeKEkYvMqoaxwxjZ/b6z59ss8SJ2c11UyzcL1xa3fpZCje7zIgq/zMYHjxbmApSJUSkK6zuh3DP3iIDx9m6xKIgL2y//lofBZstcJaOk3s/eAd/a8mNVDNra9klnGO4bUpLF8KVjNUBXPsoFI46OlZ6B2/75oFMkhT6MtLEuKdd7WioBJTOSuAEFjKP02FXherprnKqRwMlk2ZvVSarDZWFRafcfmUuWVIMqFiovp7IHInlVGH5JYFOAXnkzj4eEBJiurNxuQgYj9A6QG4RyBMxLdeCXqB877acBNMTZI/eQ==;5:r5xDLyvDb/q/ZpJt4mo0JvydhbtQxfoaydJWyFjqHeiAkWQQhi8syvGioVdqyiUVfRQvA1BjSqinpv09rwnLCuIs/EMOhyo0aWAtg9Bmpo+MLyqbQTlgKbWLGN+R8EA/SGZzqKPEt2FiKaP82cUu+/qgYCDY/ReEqAkZokXhnoioURUjv5jZanAdgd9SK6wvmK4gt3hQH+33EaV/6yhZag==;7:l6GXPpE4FO1DL+wGlxRK08VK75LkfAW9AsinZzEgD/JdzHkexBCTom1IfbHYqDwLlwudlaiPUHqce0i/EjByuzCFk2grKWbCKdftiIfN7ceHz4FtmWcQTUl04zr1kSO+sz/zGaCDKMxircTsgOZDdQ== SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-OriginatorOrg: umons.ac.be X-MS-Exchange-CrossTenant-OriginalArrivalTime: 13 Jan 2019 10:10:08.2984 (UTC) X-MS-Exchange-CrossTenant-Network-Message-Id: f0c32b40-e0da-4b56-70a6-08d6793f4c0f X-MS-Exchange-CrossTenant-Id: 488bed9d-d6a7-48d5-ba1f-ebec3823b357 X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=488bed9d-d6a7-48d5-ba1f-ebec3823b357;Ip=[193.190.208.132];Helo=[smtp.umons.ac.be] X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM6PR01MB4963 Subject: Re: [Caml-list] How to narrow polymorphic variant phantom types Reply-To: Christophe Troestler X-Loop: caml-list@inria.fr X-Sequence: 17293 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 13 January 2019 at 08:49 CET, Christopher Zimmermann wrote: > > [=E2=80=A6] I'd like to express a typing like > val dup : 'a perm -> [< `Read | `Write > 'a] desc -> 'a desc > but a type variable inside the polymorphic variant type is not allowed. How about val dup : ([< `Read | `Write ] as 'a) perm -> 'a desc -> 'a desc ? Cheers, C. --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs=