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 AF6727FBFE for ; Sat, 24 Jan 2015 09:24:09 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dra-news@metastack.com) identity=pra; client-ip=62.13.148.98; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of dra-news@metastack.com designates 62.13.148.98 as permitted sender) identity=mailfrom; client-ip=62.13.148.98; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@outmail148098.authsmtp.com) identity=helo; client-ip=62.13.148.98; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail148098.authsmtp.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhQCAMFVw1Q+DZRil2dsb2JhbABagmR0WQSCfLELBpJEhSNKAhx2QwEBAQEBEQEBAQEBCBYHQoQMAQEBBAMgEUUQAgEIGAICBiACAgIwFRACBA4NiCUDCb1ulE8BAQEHAQEBAQEBAQEagSGEY4dngVwxB4JoLoETBZI5SIUOgRU2kHGEEG8BgUN+AQEB X-IPAS-Result: AhQCAMFVw1Q+DZRil2dsb2JhbABagmR0WQSCfLELBpJEhSNKAhx2QwEBAQEBEQEBAQEBCBYHQoQMAQEBBAMgEUUQAgEIGAICBiACAgIwFRACBA4NiCUDCb1ulE8BAQEHAQEBAQEBAQEagSGEY4dngVwxB4JoLoETBZI5SIUOgRU2kHGEEG8BgUN+AQEB X-IronPort-AV: E=Sophos;i="5.09,459,1418079600"; d="scan'208";a="118419833" Received: from outmail148098.authsmtp.com ([62.13.148.98]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Jan 2015 09:24:09 +0100 Received: from mail-c237.authsmtp.com (mail-c237.authsmtp.com [62.13.128.237]) by punt17.authsmtp.com (8.14.2/8.14.2/) with ESMTP id t0O8O73V019868; Sat, 24 Jan 2015 08:24:07 GMT Received: from romulus.metastack.com (cpc1-cmbg5-0-0-cust241.5-4.cable.virginm.net [81.98.252.242]) (authenticated bits=0) by mail.authsmtp.com (8.14.2/8.14.2/) with ESMTP id t0O8O5mq038167; Sat, 24 Jan 2015 08:24:05 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 t0O8O4fk007618 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=FAIL); Sat, 24 Jan 2015 08:24:04 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.0224.002; Sat, 24 Jan 2015 08:24:03 +0000 From: David Allsopp To: Mailing List OCaml CC: Jordan W Thread-Topic: [Caml-list] Explicit Arity with Polymorphic Variants Thread-Index: AQHQNtl6Q25l7W7x0U2j9Jk6Y2jO25zNWHSAgAFKr4CAAElpUA== Date: Sat, 24 Jan 2015 08:24:02 +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: [213.205.236.90] 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: 5cab0e3f-a3a2-11e4-9f74-002590a135d3 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgASJgdAAnNQ XXkJW1VRQF15U2Fx YQpXIw1cfENGQQdv UlZLRlBNFgB3AVJF BmEWLRwvNgVFcH92 YghqWXZTEkEpJBR9 F00CCDwFNGV9aWFK VF1RIQRQbQNKfBpM agF+V3ZZYitlE3Bw LCQ6OjR0OTRENBEd bxEVKVMZQFpDNyQ9 WwFKAjQzHQU9QCEi Khs8Ml4dFw4vO18z OF09Qjp/ X-Authentic-SMTP: 61633634383431.1024:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 81.98.252.242/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: RE: [Caml-list] Explicit Arity with Polymorphic Variants Sm9yZGFuIFcgd3JvdGU6DQo+IERhdmlkLCBhcmUgeW91IGNlcnRhaW4gdGhh dCB0aGUgZXhwbGljaXRfYXJpdHkgYXR0cmlidXRlIGlzIG9ubHkgcmVsYXRl ZCB0byB0eXBlIA0KPiBkZWNsYXJhdGlvbnM/IEkgZG8gbm90IGJlbGlldmUg dGhhdCB0byBiZSB0aGUgY2FzZS4gSSB1bmRlcnN0YW5kIHRoZW0gdG8gYXBw bHkgdG8NCj4gcGF0dGVybnMgYW5kIGV4cHJlc3Npb25zIGFzIHdlbGwuDQoN CkknbSAocmVhc29uYWJseSkgY2VydGFpbiB0aGF0IHRoZSBpbmZvcm1hdGlv biBpdCBjb252ZXlzIGNhbiBvbmx5IGV2ZXIgYmUgdXNlZnVsIHdoZW4geW91 IGhhdmUgYSB0eXBlIGRlZmluaXRpb24uIA0KDQo+ICgqIERlY2xhcmVzIGEg dmFyaWFudCB0aGF0IGFjY2VwdHMgYSAqc2luZ2xlKiBwYXJhbWV0ZXIgKikN Cj4gdHlwZSBvbmVBcmdUdXBsZSA9IE9uZUFyZyBvZiAoaW50KmludCkNCj4N Cj4gKCogV29ya3MgYmVjYXVzZSBhcml0eSBpcyBtYXNzYWdlZCBpbnRvIHdo YXRldmVyIGlzIG5lY2Vzc2FyeSBhbmQgZG9lc24ndCBuZWVkIHRvIGJlIGV4 cHJlc3NlZCBhdCBwYXJzZSB0aW1lLiAqKQ0KPiBsZXQgT25lQXJnICh4LHkp ID0gT25lQXJnICgxLDIpDQoNCkJlY2F1c2Ugb2YgdGhlIHR5cGUgZGVmaW5p dGlvbi4gDQoNCj4gKCogQnV0IHlvdSBjYW4gKmV4cGxpY2l0bHkqIGVuZm9y Y2UgYXJpdHkgYW5kIHRlbGwgdGhlIHR5cGUgc3lzdGVtIHRoYXQgdGhpcyB0 dXBsZSBzaG91bGQgYmUgdHJlYXRlZCBhcyBtdWx0aXBsZSBhcmd1bWVudHMg KikNCj4gKCogVGhhdCBjYXVzZXMgdGhpcyB0byBmYWlsIHR5cGUgY2hlY2tp bmcgb24gdGhpcyB0dXBsZSBwYXR0ZXJuISAqKQ0KPiBsZXQgKE9uZUFyZyAo eCx5KSBbQGV4cGxpY2l0X2FyaXR5XSkgPSBPbmVBcmcgKDEsMik7Ow0KPiA+ PiBFcnJvcjogVGhlIGNvbnN0cnVjdG9yIE9uZUFyZyBleHBlY3RzIDEgYXJn dW1lbnQocyksDQo+ID4+IGJ1dCBpcyBhcHBsaWVkIGhlcmUgdG8gMiBhcmd1 bWVudChzKQ0KDQpBZ2FpbiwgYmVjYXVzZSBvZiB0aGUgcHJlc2VuY2Ugb2Yg YSB0eXBlIGRlZmluaXRpb24uDQoNCj4gKCogU2ltaWxhcmx5LCBhdCBwYXJz ZSB0aW1lLCB5b3UgY2FuIHRlbGwgdGhlIHBhcnNlciB0byBwYXJzZSBhbiBl eHByZXNzaW9uIGFzIGJlaW5nIG11bHRpcGxlIGFyZ3VtZW50cyAqKQ0KPiBs ZXQgcmVzdWx0ID0gT25lQXJnICgxLDIpW0BleHBsaWNpdF9hcml0eV07Ow0K PiA+PiBFcnJvcjogVGhlIGNvbnN0cnVjdG9yIE9uZUFyZyBleHBlY3RzIDEg YXJndW1lbnQocyksDQo+ID4+IGJ1dCBpcyBhcHBsaWVkIGhlcmUgdG8gMiBh cmd1bWVudChzKQ0KPg0KPiBTbyB0aGUgZmFjdCB0aGF0IHlvdSBjYW4gaW5m b3JtIHRoZSBwYXJzZXIgdG8gdHJlYXQgYSB0dXBsZSBhcyBtdWx0aXBsZSBh cmd1bWVudHMgdG8gYSBDb25zdHJ1Y3RvciwgDQo+IG1lYW5zIHRoYXQgdGhl IHNhbWUgc2hvdWxkIGJlIHRydWUgb2YgcG9seW1vcnBoaWMgdmFyaWFudHMs IGJ1dCBpdCBpcyBub3QuIEZvciBleGFtcGxlLCB0aGlzIHR5cGUgDQo+IGNo ZWNrcyBidXQgaXQgc2hvdWxkbid0Og0KPg0KPsKgbGV0IChgTXlUaGluZyAo eCx5KSBbQGV4cGxpY2l0X2FyaXR5XSkgPSBgTXlUaGluZyAoMiwyKTs7DQoN CkluIHRoaXMgY29udGV4dCwgaWYgdGhlIHR5cGUtY2hlY2tlciBjaG9zZSB0 byBsb29rIGF0IHRoZSBAZXhwbGljaXRfYXJpdHkgYXR0cmlidXRlLCB0aGVu IGl0IG11c3QgYWx3YXlzIHJldHVybiBhIHR5cGUgZXJyb3Igd2hlbiB0aGUg dHVwbGUgaXMgbmVpdGhlciBzaW5nbGV0b24gbm9yIHVuaXQgKHNpbmNlIHBv bHltb3JwaGljIHZhcmlhbnRzIG9ubHkgdGFrZSBvbmUgYXJndW1lbnQpIC0g d2hhdCdzIHRoZSBiZW5lZml0IG9mIHRoaXMsIHRoZXJlZm9yZT8gKEkgZG9u J3QgcXVpdGUgZm9sbG93IHdoeSB5b3UnZCB3YW50IHRvIGJlIGdldHRpbmcg YW4gZXhwbGljaXQgdHlwZSBjaGVjayBlcnJvciB3aGVuIHVzaW5nIGFuICpp bnRlcm5hbCogT0NhbWwgYXR0cmlidXRlIHNvbWV3aGVyZSB3aGVyZSBpdCdz IG5vdCBpbnRlbmRlZCAtIGh0dHA6Ly9jYW1sLmlucmlhLmZyL3N2bi9vY2Ft bC9icmFuY2hlcy9jb25zdHJ1Y3RvcnNfd2l0aF9yZWNvcmQzL2V4cGVyaW1l bnRhbC9mcmlzY2gvZXh0ZW5zaW9uX3BvaW50cy50eHQpLg0KDQoNCkRhdmlk DQo=