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 1C1A57EE9C for ; Fri, 25 Nov 2016 12:22:48 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dra-news@metastack.com; spf=Pass smtp.mailfrom=dra-news@metastack.com; spf=None smtp.helo=postmaster@outmail148154.authsmtp.co.uk Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dra-news@metastack.com) identity=pra; client-ip=62.13.148.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of dra-news@metastack.com designates 62.13.148.154 as permitted sender) identity=mailfrom; client-ip=62.13.148.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@outmail148154.authsmtp.co.uk) identity=helo; client-ip=62.13.148.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail148154.authsmtp.co.uk"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A3JQ/vRy2EmCzHn7XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2u8XIJqq85mqBkHD//Il1AaPBtSArakewLOL+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFGiTanb75+Mhq6oRjRu8ILnYZsN6E9xwfTrHBVYe?= =?us-ascii?q?pW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbf?= =?us-ascii?q?VwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8rxmQwH0hi?= =?us-ascii?q?gZKzE58XnXis1ug6JdvBKhvAF0z4rNbI2IKPZyYqbRcNUHTmRDQ8lRTTRMDIOi?= =?us-ascii?q?YYUSE+oPM+VWr4f/qFsPsRSwCgajBOT0xz9UnXD6wbE23/g9HQzE2gErAtIAsG?= =?us-ascii?q?7TrNXwLKocX/q6zLfJzTrecvhbxTP96IzTchAmufGMRa97fM3Mxkk1DQzJl1OQ?= =?us-ascii?q?ppLrPjOOzekNtnaU7/Z6WuK0l24osR1+oju1ysgwjYnJg5sYx1bZ/it3x4Y1IM?= =?us-ascii?q?e3SE99YdO8H5tQtj2aN4trQsw5WW1npCE6yrgAtJWmfyYK0Iwqyh/BZ/CdboSF?= =?us-ascii?q?7AjvWPueLDp7nn5pZbKyihmq/US9yODwSNO43EtLoyZfjtXArG0B2h/L5siJVP?= =?us-ascii?q?Rw/Vut1DOK2g3T5exJI1w7mK/VJpE9zbM8iJ8evlreEiDrgkr7ibGZeVg+9eS2?= =?us-ascii?q?7ensf6/oqYWGN4BujwHzKqQuldK7AeQ/KgUOWHWb+fi51LL5/E35RKhGg/I1n6?= =?us-ascii?q?XEsJ3XKt4XqbSkAw9J0oYj8BO/Dyu+0NgCgXYHK0hJeA+Ej4TxOlHOJu73Deun?= =?us-ascii?q?jlmtjjtn3e3KM7P7DpnQIXXOk63tcat95kNT0AYzyMpQ55NQCrEPOvLzXUrxuc?= =?us-ascii?q?TFAR8jKQO42uDnB8tz14MFQm+PB7GWML/Ivl+T+uIgOfWDZIwPtDnhLPgl4ubi?= =?us-ascii?q?jWUlll8FYampwZwXZWikEft8JkWZZWPggtMAEWcRogozV/fqiV2HUT5LfXm+Ra?= =?us-ascii?q?M85jchCIKnF4jPXI6tgKbSlBu8S79LYmFLDBimFXDue83QWeoIaS+UZMVllToI?= =?us-ascii?q?fbekQo4lkxqpsVm+g51MJ+/QsigRtJbi0tcw4+zIiVlm/jVxC4GZ0nqRZ2ByhG?= =?us-ascii?q?IBATEsivNRu0t4n3uKz6l0y9VcEcdU/+sBBgsgPNvawvNhI9X/RgvaYt6CSxCt?= =?us-ascii?q?RdDwUmJ5dc4439JbOxU1IN6llB2WmnPyW7I=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A9AAAFHjhYh5qUDT5eHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgmkkAQEBAQF3gQIHjT6VdAEGgR2Hco0CgggkhX0CGoFrPxQBAQE?= =?us-ascii?q?BAQEBAQEBARIBAQEIDQkJHTCCMxoBghoBAQEEAyAEDVUCAQYCGAICIwMCAgIfE?= =?us-ascii?q?RQBEAIEARIIiEsDGAMBCY4lnUWBbD2HMw2ECgEBAQEBBQEBAQEBAQEBAQEYBYE?= =?us-ascii?q?LhGmDeoErgkiCAxWCbS2CMAEEmh81hkiGaINWCpAoiUCEMYQMHoEsQINIgWhyh?= =?us-ascii?q?yqBDQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0A9AAAFHjhYh5qUDT5eHAEBBAEBCgEBFwEBBAEBCgEBgmk?= =?us-ascii?q?kAQEBAQF3gQIHjT6VdAEGgR2Hco0CgggkhX0CGoFrPxQBAQEBAQEBAQEBARIBA?= =?us-ascii?q?QEIDQkJHTCCMxoBghoBAQEEAyAEDVUCAQYCGAICIwMCAgIfERQBEAIEARIIiEs?= =?us-ascii?q?DGAMBCY4lnUWBbD2HMw2ECgEBAQEBBQEBAQEBAQEBAQEYBYELhGmDeoErgkiCA?= =?us-ascii?q?xWCbS2CMAEEmh81hkiGaINWCpAoiUCEMYQMHoEsQINIgWhyhyqBDQEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,546,1473112800"; d="scan'208";a="201692225" Received: from outmail148154.authsmtp.co.uk ([62.13.148.154]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Nov 2016 12:22:47 +0100 Received: from mail-c247.authsmtp.com (mail-c247.authsmtp.com [62.13.128.247]) by punt24.authsmtp.com (8.14.2/8.14.2/) with ESMTP id uAPBMjP4041544; Fri, 25 Nov 2016 11:22:45 GMT Received: from romulus.metastack.com (114.212-105-213.static.virginmediabusiness.co.uk [213.105.212.114]) (authenticated bits=0) by mail.authsmtp.com (8.14.2/8.14.2/) with ESMTP id uAPBMiud097674 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Fri, 25 Nov 2016 11:22:44 GMT Received: from remus.metastack.local (remus.metastack.com [172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id uAPBMhKQ024268; Fri, 25 Nov 2016 11:22:43 GMT Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%10]) with mapi id 14.03.0319.002; Fri, 25 Nov 2016 11:22:43 +0000 From: David Allsopp To: Julien Blond , OCaml mailing-list Thread-Topic: [Caml-list] Empty polymorphic variant set Thread-Index: AQHSRvd19iMEE/piP0GxehnRWmiIT6DpbHEAgAAekbA= Date: Fri, 25 Nov 2016 11:22:42 +0000 Message-ID: References: In-Reply-To: Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [172.16.0.18] Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: 7cbaf40e-b301-11e6-bcde-0015176ca198 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgASJgdBAnde RXkJW1VSQFxwU2F3 YQ5UIwdcYVRPXwB0 UklLXFNTEBpqBAMA SFtvMmsPLkASeHd3 Y0FmEHVeXEY0chUv ExhQFTgbN2RgaX0e URVealEHJFZXfh9E b1F4UiBcYGwPKBgV TUcAFDk0OXBbKT9J d0kgKEoOUA4TGTot QhcYBTUuFgUbTj8y Jho6YkURAC4A X-Authentic-SMTP: 61633634383431.1038:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 213.105.212.114/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: RE: [Caml-list] Empty polymorphic variant set SnVsaWVuIEJsb25kIHdyb3RlOg0KPiAyMDE2LTExLTI1IDk6MzkgR01UKzAx OjAwIEp1bGllbiBCbG9uZCA8bWFpbHRvOmp1bGllbi5ibG9uZEBnbWFpbC5j b20+Og0KPiBIaSwNCj4gTGV0J3MgdHJ5IHNvbWV0aGluZyA6DQo+ICQgb2Nh bWwNCj4gwqDCoMKgwqDCoMKgwqAgT0NhbWwgdmVyc2lvbiA0LjAzLjANCj4N Cj4gIyBsZXQgXyA6IFtdIGxpc3QgPSBbXTs7DQo+IENoYXJhY3RlcnMgOS0x MDoNCj7CoCBsZXQgXyA6IFtdIGxpc3QgPSBbXTs7DQo+IEVycm9yOiBTeW50 YXggZXJyb3INCj4gIyB0eXBlIGVtcHR5ID0gW107Ow0KPiB0eXBlIGVtcHR5 ID0gW10NCj4gIyBsZXQgXyA6IGVtcHR5IGxpc3QgPSBbXTs7DQo+IC0gOiBl bXB0eSBsaXN0ID0gW10NCj4gIyANCj4gDQo+IERvZXMgYW55b25lIGtub3cg aWYgdGhlcmUgaXMgYSByZWFzb24gdG8gZm9yYmlkIHRoZSBlbXB0eSBwb2x5 bW9ycGhpYyB2YXJpYW50DQo+IHNldCBpbiB0eXBlIGV4cHJlc3Npb25zIG9y IGlmIGl0J3MgYSBidWcgPw0KDQpBcyB5b3UndmUgb2JzZXJ2ZWQsIFtdIGlz IGEgdmFyaWFudCBjb25zdHJ1Y3RvciBzaW5jZSA0LjAzLjAgLSBzZWUgR1BS IzIzNCAoaHR0cHM6Ly9naXRodWIuY29tL29jYW1sL29jYW1sL3B1bGwvMjM0 KS4gVGhlIEdQUiBjb250YWlucyByZWZlcmVuY2VzIGFuZCBjb21tZW50cyBh cyB0byB0aGUgbW90aXZhdGlvbiBmb3IgdGhpcy4NCg0KV2hhdCdzIHlvdXIg ZGVzaXJlZCB1c2UgZm9yIHRoZSB0eXBlIG9mIHRoZSBub24tZXh0ZW5zaWJs ZSBlbXB0eSBwb2x5bW9ycGhpYyB2YXJpYW50Pw0KDQpQb3NzaWJseSByZWxh dGVkLCB5b3UgY2FuIGRlZmluZSBhIGdlbmVyYWwgdHlwZSBmb3IgYSBsaXN0 IG9mIHBvbHltb3JwaGljIHZhcmlhbnRzOg0KDQpsZXQgKGVtcHR5IDogWz4g XSBsaXN0KSA9IFtdDQoNCm9yDQoNCmxldCAobGVuZ3RoIDogWz4gXSBsaXN0 IC0+IGludCkgPSBMaXN0Lmxlbmd0aDs7DQpsZW5ndGggW2BGb287IGBCYXJd OzsNCmxlbmd0aCBbNDJdOzsNCg0KaWYgdGhhdCdzIHdoYXQgeW91IHdlcmUg YWZ0ZXI/DQoNCg0KRGF2aWQNCg==