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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0D37F7FC18 for ; Sun, 15 Feb 2015 15:45:04 +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.154; 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.154 as permitted sender) identity=mailfrom; client-ip=62.13.148.154; 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@outmail148154.authsmtp.co.uk) identity=helo; client-ip=62.13.148.154; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail148154.authsmtp.co.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B8AQCIsOBUl5qUDT5bgmSBUoJ/rGMGmD8CHHJDAQEBAQEBEAEBAQEBCBYHQoQMAQEBAwEDIAQNSgsCAQgYAgIGIAICAjAVEAIEARqIHQkDuCSWQAEBCAEBAQEBAQEbgSGEY4UIhDw4gmgugRQFmG+BGI43gz6CJByBUIIzfwEBAQ X-IPAS-Result: A0B8AQCIsOBUl5qUDT5bgmSBUoJ/rGMGmD8CHHJDAQEBAQEBEAEBAQEBCBYHQoQMAQEBAwEDIAQNSgsCAQgYAgIGIAICAjAVEAIEARqIHQkDuCSWQAEBCAEBAQEBAQEbgSGEY4UIhDw4gmgugRQFmG+BGI43gz6CJByBUIIzfwEBAQ X-IronPort-AV: E=Sophos;i="5.09,581,1418079600"; d="scan'208";a="121836107" Received: from outmail148154.authsmtp.co.uk ([62.13.148.154]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Feb 2015 15:45:03 +0100 Received: from mail-c237.authsmtp.com (mail-c237.authsmtp.com [62.13.128.237]) by punt15.authsmtp.com (8.14.2/8.14.2/) with ESMTP id t1FEiwSl045508; Sun, 15 Feb 2015 14:44:58 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 t1FEiuxT088540; Sun, 15 Feb 2015 14:44:56 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 t1FEitZl009082 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=FAIL); Sun, 15 Feb 2015 14:44:55 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; Sun, 15 Feb 2015 14:44:55 +0000 From: David Allsopp To: Nicolas Boulay , OCaml Mailing List Thread-Topic: [Caml-list] problem to use gadt Thread-Index: AQHQSSmDOvOPzgdZa0eFZlyq5ZgZH5zxxrMA Date: Sun, 15 Feb 2015 14:44:54 +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: 35ee6ab2-b521-11e4-9f74-002590a135d3 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgASJgRBAn9U UXkJW1VRQFx1U2dx YQ9WIw1cfENGQQdv UlZLRlBNFgB3AVJF B2hrC1w6EwVOcHt0 ZQhkXHddEkd/IBN7 ExxWCD8DZ2Z9aWFK VF1RIQRQbQNKfBpM agF+V3ZZYitlE3Bw LCQ6OjR0OTRENBEd WhsKJ1YfRA4XGXYh XB1KEjwjASUA 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] problem to use gadt Tmljb2xhcyBCb3VsYXkgd3JvdGU6DQo+IEkgdHJ5IHRvIGRlZmluZSBteSBv d24gdHlwZSBzeXN0ZW0gdXNpbmcgZ2FkdC4gDQo+IEJ1dCBpdCBzZWVtcyB0 aGF0IGlzIGNvbXBsZXggdG8gbWl4IGJvdGggdHlwZSBzeXN0ZW0gOiBtaW5l IGFuZCB0aGUgb2NhbWwgb25lLg0KPg0KPiBUaGlzIHRpbnkgZXhhbXBsZSBk aWQgbm90IGNvbXBpbGU6DQo+IHR5cGUgXyB0ID0NCj4gIHwgT3I6IF8gdCAq IF8gdCAtPiBfIHQNCg0KSXMgdGhpcyBkZWZpbml0ZWx5IHdoYXQgeW91IG1l YW4gLSB0aGUgIl8iIGlzIG5vdCBpdHNlbGYgYSBkaXN0aW5jdCB0eXBlIHZh cmlhYmxlIHNvIGFsbCB0aHJlZSB1bmRlcnNjb3JlcyBpbiB0aGlzIGluc3Rh bmNlIGFyZSBkaWZmZXJlbnQgdHlwZXMuIGNmIHRoZSBzaWduYXR1cmUgb2Yg dGhlIGNvbnN0cnVjdG9yOg0KDQpPciA6ICdiIHQgKiAnYyAtPiAnYSB0DQoN Cj7CoCB8IEludCA6IGludCB0DQo+IMKgfCBGbG9hdCA6IGZsb2F0IHQNCj4N Cj4gbGV0IGEgPSBPciAoSW50LCBGbG9hdCnCoCAoKmlzIG9rKikNCg0KQnV0 IGFnYWluLCBkb2VzIGl0IGhhdmUgdGhlIHR5cGUgeW91IG1lYW4sIGluIHRo aXMgY2FzZSAnYSB0Pw0KDQo+IGxldCAofHwpwqAgYSBiID0gT3IgKGEsIGIp DQo+IGxldCBhYSA9IEludCB8fCBGbG9hdCAoKkVycm9yOiAnX2EgdCwgY29u dGFpbnMgdHlwZSB2YXJpYWJsZSB0aGF0IGNhbm5vdCBiZSBnZW5lcmFsaXpl ZCopDQoNClRoaXMgaXMgYSBjb25zZXF1ZW5jZSBvZiB0aGUgdmFsdWUgcmVz dHJpY3Rpb24sIEkgdGhpbmsuDQoNCj4gVXNpbmcgYW4gb3BlcmF0b3IgbWFr ZSBhIGRpZmZlcmVuY2UuIEJ1dCBob3cgdG8gZXhwcmltZSAiZG9uJ3QgY2Fy ZSINCj4gaWYgYSBjaG9pY2UgYmV0d2VlbiAyIHR5cGVzIGlzIG5vdCBwb3Nz aWJsZSB0byBiZSBkZWZpbmUuwqAgSXQgY291bGQgDQo+IGJlIG5pY2UgaWYg IignYSB8ICdiKSB0IiB3b3JrZWQgOikgU2hvdWxkIGkgdXNlIG5vcm1hbCBz dW0gdHlwZSwgYW5kDQo+IG1ha2UgYWxsIHR5cGUgY2hlY2sgYnkgYSBmdW5j dGlvbiA/DQoNClNvIHlvdSdyZSBzYXlpbmcgdGhhdCB5b3UgZG9uJ3QgY2Fy ZSB3aGF0IHRoZSB0eXBlIG9mIHRoZSB0d28gaGFsdmVzIG9mIGFuIE9yIGlz PyBJIGRvbid0IHNlZSB0aGUgcHJvYmxlbSB5b3UncmUgdHJ5aW5nIHRvIHNv bHZlLCBidXQgSSB3b25kZXIgaWYgeW91ciBpc3N1ZSBpcyB0aGF0IHlvdSBu ZWVkIHRvIHBpY2sgYSBjb25jcmV0ZSB0eXBlIHJlcHJlc2VudGF0aW9uIGZv ciB0aGUgT3IgY29uc3RydWN0b3IuIEZvciBleGFtcGxlLCBkb2VzDQoNCk9y IDogXyB0ICogX3QgLT4gdW5pdCB0DQoNCnNvbHZlIHlvdXIgcHJvYmxlbT8N Cg0KSFRILA0KDQoNCkRhdmlkDQo=