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 B1B958009A for ; Sat, 3 Dec 2016 15:50:36 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dra-news@metastack.com; spf=Pass smtp.mailfrom=dra-news@metastack.com; spf=None smtp.helo=postmaster@outmail148107.authsmtp.com 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.107; 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.107 as permitted sender) identity=mailfrom; client-ip=62.13.148.107; 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@outmail148107.authsmtp.com) identity=helo; client-ip=62.13.148.107; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail148107.authsmtp.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AECOlaxDFMUTTw+XhQ0L2UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP7zocbcNUDSrc9gkEXOFd2CrakV0KyK7uu7ASRAuc/H6y9SNsQUFlcsso?= =?us-ascii?q?Y/oU8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0Iu?= =?us-ascii?q?frymUqabtcm81viz9pvPeE0IwWPlOfIhZCmx+CzVv8gQyaV4K706ylOdq39Beu?= =?us-ascii?q?IQy3lpPlmTtxLx9sa+/dho9CEG/7oN8s9cS7SyVak8XPQMADEnL3okosfmsQjr?= =?us-ascii?q?Qg6G539aWWITxF4AKAHA6FneX4zt+n/xv+95nS2bJtHeTLYuWD3k4b09GzHyjy?= =?us-ascii?q?JSGzcn8W2fo8h0l6VDuFr1qwZ2hojZf5q9Mfdid7jBdNgZA2FGW5ACBGR6Hoqg?= =?us-ascii?q?Yt5XXKI6NuFCoty4/gNWoA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AFAADw2kJYmGuUDT5dHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgmkkAQEBAQGCBo1AlWgGgR2SboIPggiGIgIaggM/FAEBAQEBAQE?= =?us-ascii?q?BAQEBEgEBAQEBCAsLBx0wgjMEARUBBIIWAQEBAwEjBA1KCwIBCBgCAiYCAgIwF?= =?us-ascii?q?RACBAEaiF8JAwGtUYFsPYs+AQEBAQYBAQEBAQEhgQuEaYN6gSuEShWCbS2CMAW?= =?us-ascii?q?aZpEXCpAzjgKEDR+BL0SDORELgV2JI0KBDQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AFAADw2kJYmGuUDT5dHAEBBAEBCgEBFwEBBAEBCgEBgmk?= =?us-ascii?q?kAQEBAQGCBo1AlWgGgR2SboIPggiGIgIaggM/FAEBAQEBAQEBAQEBEgEBAQEBC?= =?us-ascii?q?AsLBx0wgjMEARUBBIIWAQEBAwEjBA1KCwIBCBgCAiYCAgIwFRACBAEaiF8JAwG?= =?us-ascii?q?tUYFsPYs+AQEBAQYBAQEBAQEhgQuEaYN6gSuEShWCbS2CMAWaZpEXCpAzjgKED?= =?us-ascii?q?R+BL0SDORELgV2JI0KBDQEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,736,1477954800"; d="scan'208";a="247933232" Received: from outmail148107.authsmtp.com ([62.13.148.107]) by mail2-smtp-roc.national.inria.fr with ESMTP; 03 Dec 2016 15:50:35 +0100 Received: from mail-c232.authsmtp.com (mail-c232.authsmtp.com [62.13.128.232]) by punt22.authsmtp.com (8.14.2/8.14.2/) with ESMTP id uB3EoYFD096470; Sat, 3 Dec 2016 14:50:34 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 uB3EoXpN030128 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Sat, 3 Dec 2016 14:50:33 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 uB3EoW7t018578; Sat, 3 Dec 2016 14:50:32 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; Sat, 3 Dec 2016 14:50:32 +0000 From: David Allsopp To: Alain Frisch , Dmitry Bely , Caml List Thread-Topic: [Caml-list] GADT memory representation Thread-Index: AQHSS7SHLToDjy6YyEaR1q9rss1UmqDy2SxggAAh54CAA1E/QA== Date: Sat, 3 Dec 2016 14:50:31 +0000 Message-ID: References: <3f89d13a-14f0-090b-be96-d3f67fcb95f3@lexifi.com> In-Reply-To: <3f89d13a-14f0-090b-be96-d3f67fcb95f3@lexifi.com> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [172.16.0.29] 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: d7fc7d5e-b967-11e6-829e-00151795d556 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgESJgVHAn1U UHkJW1VSQFx1U2Z1 YQlSIwdcYVRPXwB0 UklLXFNTEBpqBAMA SFtsUWwtH0U4eH1w ZERqEHFYXUd7OxJ6 FB1TQWhTeDVpbmcC UUENcR5ccgofYx9F a1V+U3oINWACYDQC Ml17DBs4ODEaLCVO XjRFAns+fQ4OEzs7 XQFKBzg3B0AeSiMv JgAnLVh0 X-Authentic-SMTP: 61633634383431.1037: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] GADT memory representation QWxhaW4gRnJpc2NoIHdyb3RlOg0KPiBPbiAwMS8xMi8yMDE2IDEwOjUyLCBE YXZpZCBBbGxzb3BwIHdyb3RlOg0KPiA+IERtaXRyeSBCZWx5IHdyb3RlOg0K PiA+PiBJIG5lZWQgdG8gYWNjZXNzL21vZGlmeSBHQURUIGRhdGEgZnJvbSBD IGdsdWUgY29kZS4gV2hhdCBpcyB0aGVpcg0KPiA+PiBtZW1vcnkgcmVwcmVz ZW50YXRpb24/IElzIHRoZXJlIGFueSBkaWZmZXJlbmNlIGZyb20gb3JkaW5h cnkgc3VtIHR5cGVzPw0KPiA+DQo+ID4gSXQncyB0aGUgc2FtZSAtIEdBRFRz IGFyZSAianVzdCIgYWRkIGEgbG90IG9mIGNsZXZlciB0eXBpbmcgc3R1ZmYg b24gdG9wDQo+IG9mIGEgbm9ybWFsIHN1bSB0eXBlIC0gdGhleSBkb24ndCBh ZmZlY3QgdGhlIHJ1bnRpbWUgb3BlcmF0aW9uIG9mIHRoZQ0KPiBjb2RlLg0K PiA+DQo+ID4+IFVuZm9ydHVuYXRlbHkgT0NhbWwgbWFudWFsIGRvZXNuJ3Qg ZXZlbiBtZW50aW9uIEdBRFRzIGluIHNlY3Rpb24NCj4gPj4gIkludGVyZmFj aW5nIEMgd2l0aCBPQ2FtbCIuDQo+ID4NCj4gPiBUaGF0J3Mgd29ydGggYSBH UFIvTWFudGlzIGlzc3VlLg0KPiANCj4gSSdtIG5vdCBzdXJlIHdlIHdhbnQg dG8gZG9jdW1lbnQgdGhlIG1lbW9yeSBsYXlvdXQgb2YgR0FEVHMuICBJIGRv bid0DQo+IHRoaW5rIHRoZXJlIGFyZSBjb25jcmV0ZSBwbGFucyB0byBkbyBz bywgYnV0IGl0IG1pZ2h0IGJlIGNvbnNpZGVyZWQgdG8NCj4gY2hhbmdlIHRo ZSByZXByZXNlbnRhdGlvbiBvZiBHQURUcyBzbyB0aGF0IHRoZXkgY2Fubm90 IGJlIHVzZWQgdG8gY29tcGFyZQ0KPiB2YWx1ZXMgb2YgZGlmZmVyZW50IHR5 cGVzIHdpdGggdGhlIHBvbHltb3JwaGljIGNvbXBhcmlzb24gZnVuY3Rpb24u DQoNClN1cmVseSB3ZSBuZXZlciB3YW50IHRoZSBzaXR1YXRpb24gd2hlcmUg YW55IGtpbmQgb2YgT0NhbWwgdmFsdWUgaXMgYXQgbGVhc3Qgb2ZmaWNpYWxs eSBpbmFjY2Vzc2libGUgZnJvbSB0aGUgQyBzaWRlPyBEb2VzIHRoYXQgb2Zm aWNpYWxseSBleGlzdCBlbHNld2hlcmUgaW4gdGhlIHJ1bnRpbWU/DQoNClRo ZXJlIGFyZSB2YXJpb3VzIGNhc2VzIHdoZXJlIHRoZSBHQURUIHNvdW5kbmVz cyBjYW4gYWxsb3cgdGhlIEMgYmluZGluZ3MgdG8gcmVseSBvbiB0eXBlIHNh ZmV0eSwgZm9yIGV4YW1wbGU6DQoNCnR5cGUgaGl2ZSA9IF8NCg0KdHlwZSAn YSB2YWx1ZSA9ICANCnwgUkVHX1NaIDogc3RyaW5nIHZhbHVlDQp8IFJFR19E V09SRCA6IGludDMyIHZhbHVlDQoNCmV4dGVybmFsIHdyaXRlV2luZG93c1Jl Z2lzdHJ5IDogaGl2ZSAtPiBrZXk6c3RyaW5nIC0+IHZhbHVlOnN0cmluZyAt PiAnYSB2YWx1ZSAtPiAnYSAtPiB1bml0DQoNCmlzIG11Y2ggZWFzaWVyIHRv IGltcGxlbWVudCBib3RoIG9uIHRoZSBDIGFuZCBPQ2FtbCBzaWRlcyB3aXRo IGEgR0FEVCB0aGFuIHRoZSB1bmRlY29yYXRlZDoNCg0KZXh0ZXJuYWwgd3Jp dGVXaW5kb3dzUmVnaXN0cnkgOiBoaXZlIC0+IGtleTpzdHJpbmcgLT4gdmFs dWU6c3RyaW5nIC0+IHZhbHVlIC0+ICdhIC0+IHVuaXQNCg0Kd2hlcmUgZWl0 aGVyIHRoZSBDIG9yIE9DYW1sIHNpZGUgbXVzdCBlbnN1cmUgdGhhdCB0aGUg ZGF0YSBwYXJhbWV0ZXIgaGFzIGEgdHlwZSBjb3JyZXNwb25kaW5nIHRvIHRo ZSBjb25zdHJ1Y3Rvci4NCg0KPiBUb2RheSB5b3UgY2FuIHdyaXRlOg0KPiAg ICB0eXBlIHQgPSBFOiAnYSAtPiB0DQo+IA0KPiAgICBsZXQgKCkgPSBhc3Nl cnQoRSAxID0gRSB0cnVlKQ0KPiANCj4gQSBzaW1pbGFyICJiYWQiIGJlaGF2 aW9yIHVzZWQgdG8gYmUgYXZhaWxhYmxlIGZvciBleGNlcHRpb25zIGFuZCB0 aGlzIHdhcw0KPiAiZml4ZWQiIGJ5IGNoYW5naW5nIHRoZWlyIHJlcHJlc2Vu dGF0aW9uICh0aGVpciAic2xvdCIgbm93IGhhcyBvYmplY3RfdGFnDQo+IGFu ZCBhIChwZXIgcHJvY2VzcykgdW5pcXVlIGlkKS4gIFdlIG1pZ2h0IHdhbnQg dG8gZG8gdGhlIHNhbWUgZm9yIEdBRFRzDQo+IChub3QgYW4gZWFzeSBkZWNp c2lvbiBzaW5jZSBpdCB3b3VsZCBhZGQgYSBsb3Qgb2Ygb3ZlcmhlYWQpIGFu ZCBmb3IgZmlyc3QtDQo+IGNsYXNzIG1vZHVsZXMgYXMgd2VsbC4NCg0KSW5k ZWVkIGl0IHdpbGwgYmUgbmljZSB0byBnZXQgcmlkIG9mIGl0IC0gdGhvdWdo IEkgdGhpbmsgdGhhdCBsb3NpbmcgdGhlIGVxdWl2YWxlbmNlIGJldHdlZW4g R0FEVCBhbmQgcmVndWxhciBzdW0gdHlwZSB3b3VsZCBiZSBhIHNoYW1lLg0K DQoNCkRhdmlkDQo=