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 3FFBF7EE9C for ; Thu, 1 Dec 2016 10:52:41 +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@outmail149084.authsmtp.net 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.149.84; 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.149.84 as permitted sender) identity=mailfrom; client-ip=62.13.149.84; 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@outmail149084.authsmtp.net) identity=helo; client-ip=62.13.149.84; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail149084.authsmtp.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ArfTBBhOQZGBxAu1hez4l6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0IvX/rarrMEGX3/hxlliBBdydsKMfzbaP+Pi6EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT6zbL9oIxi6sArdutUIjYB/Nqs/1xzFr2dSde?= =?us-ascii?q?9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLY?= =?us-ascii?q?TQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVQTlgz?= =?us-ascii?q?kbOTEn7G7Xi9RwjKNFrxKnuxx/2JPfbIWMOPZjYq/RYdYWSGxcVchTSiNBGJux?= =?us-ascii?q?YYsRAeQcIeZWoYrzp1UMohu/GQaiC+zgyjhTi3/qxqI2z/gtHR3a0AEiGd8FrX?= =?us-ascii?q?TarM/yNKcXSe27wrPHzSvCb/xLxDzw9IzIchQ6ofGLRbJwadfaxE4yGAPflFqc?= =?us-ascii?q?sIrlMC2b1+QWqGWb6vRvVf61hG48twF+uCSgxsQ2hobVgYIVz0nJ+CNky4g2Pd?= =?us-ascii?q?21UE92bcC+HJdNuSyWLZZ6T8wmTm1yuys3xaUKtYO5cSQU0pgr2h/SZ+abf4SS?= =?us-ascii?q?/x7uV/6dITlmi39mZL6yghO//Eivx+D+Ssa51VhHoTZKn9XSs30CyQHf5dWdRf?= =?us-ascii?q?Z44EiuxCyA2x7V5+pZO047j7DbJIQkwrMolpocr0DDHijulUXxka+WakAk9fKp?= =?us-ascii?q?6+Tjf7nrqZuRO5N3hwzxKKghgNG/Afg4MggVWmib5fy82Kfl/ULnXLVGlvw2kq?= =?us-ascii?q?/Hv5DGPckWp7C1DxVI3ost8RqzEjir3dACkXQEI19JYBeHgJLoO1HKLvD4F/C/?= =?us-ascii?q?g1G0nTh23fDJJKTtApPTIXnNi7fsZrN95FBAyAUp1tBf+4hbBa0CIP7pRkDxs9?= =?us-ascii?q?nYAgcjMwOo2+bnFMl91oQGVG2TGKCZNafSvUaM5uIuOOmMeJQYuC39Kvgg//7h?= =?us-ascii?q?l2U1mV4bfamz3JsYcmq0Hvp8IxbRXX25rtIADX0b9iAzSP2i3FGHUCJJdjC4Uq?= =?us-ascii?q?Ytzj4+AYOiS4zEQ9bpyJeI2SPzOpxNeigSAVmJFTLsdp6Yc/YKciObZMF7xG8q?= =?us-ascii?q?T7+kHqMoyxCi/Cb+z6FgNvKcriECvNfl2cduz+jeiRgp6TV/DIKW1GTbHDI8pX?= =?us-ascii?q?8BWzJjhPM3mkd60FrWlPEg2/E=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A/AADB8T9Yh1SVDT5dGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBgmkkAQEBAQGCAY0+lWcBBoEdDpJcgg6CBYYiAhqBXj8?= =?us-ascii?q?UAQEBAQEBAQEBAQESAQEBCgsJCR0wgjMaAYIaAQEBAwEDIBFKCwIBCBgCAiYCA?= =?us-ascii?q?gIwFRACBAEaiF0JAwGrdIIpi1ABAQgBAQEBAQEBIIELhGmDeoErhEuDAi2CMAE?= =?us-ascii?q?EmlyREAqBUgGOWJIEHoEvRINKgWiJJ4ENAQEB?= X-IPAS-Result: =?us-ascii?q?A0A/AADB8T9Yh1SVDT5dGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBgmkkAQEBAQGCAY0+lWcBBoEdDpJcgg6CBYYiAhqBXj8UAQEBAQEBAQEBA?= =?us-ascii?q?QESAQEBCgsJCR0wgjMaAYIaAQEBAwEDIBFKCwIBCBgCAiYCAgIwFRACBAEaiF0?= =?us-ascii?q?JAwGrdIIpi1ABAQgBAQEBAQEBIIELhGmDeoErhEuDAi2CMAEEmlyREAqBUgGOW?= =?us-ascii?q?JIEHoEvRINKgWiJJ4ENAQEB?= X-IronPort-AV: E=Sophos;i="5.33,724,1477954800"; d="scan'208";a="202436911" Received: from outmail149084.authsmtp.net ([62.13.149.84]) by mail3-smtp-sop.national.inria.fr with ESMTP; 01 Dec 2016 10:52:40 +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 uB19qcO3056691; Thu, 1 Dec 2016 09:52:38 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 uB19qbfO060612 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Thu, 1 Dec 2016 09:52:38 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 uB19qatD006660; Thu, 1 Dec 2016 09:52:36 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; Thu, 1 Dec 2016 09:52:35 +0000 From: David Allsopp To: Dmitry Bely , Caml List Thread-Topic: [Caml-list] GADT memory representation Thread-Index: AQHSS7SHLToDjy6YyEaR1q9rss1UmqDy2Sxg Date: Thu, 1 Dec 2016 09:52:34 +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: e48eac3e-b7ab-11e6-829e-00151795d556 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgASJgVFAn1U UHkJW1VSQF14U2Z3 YQlZIwdcYVRPXwB0 UklLXFNTEBpqBAMA SFtsUxAzJVM5eHhw Y0dgEHNcXEQ0IEJ1 Fx8HFjgbN2AxOn0e URVeagtWeVZXfh9E b1F4XXZZZGABKBgV TUcAFDk0OXBbKT9J d0kiBH4uCUMGGzkm VlgYEC01EFYIQTk6 Mx0hLDYB 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 RG1pdHJ5IEJlbHkgd3JvdGU6DQo+IEkgbmVlZCB0byBhY2Nlc3MvbW9kaWZ5 IEdBRFQgZGF0YSBmcm9tIEMgZ2x1ZSBjb2RlLiBXaGF0IGlzIHRoZWlyIG1l bW9yeQ0KPiByZXByZXNlbnRhdGlvbj8gSXMgdGhlcmUgYW55IGRpZmZlcmVu Y2UgZnJvbSBvcmRpbmFyeSBzdW0gdHlwZXM/DQoNCkl0J3MgdGhlIHNhbWUg LSBHQURUcyBhcmUgImp1c3QiIGFkZCBhIGxvdCBvZiBjbGV2ZXIgdHlwaW5n IHN0dWZmIG9uIHRvcCBvZiBhIG5vcm1hbCBzdW0gdHlwZSAtIHRoZXkgZG9u J3QgYWZmZWN0IHRoZSBydW50aW1lIG9wZXJhdGlvbiBvZiB0aGUgY29kZS4N Cg0KPiBVbmZvcnR1bmF0ZWx5IE9DYW1sIG1hbnVhbCBkb2Vzbid0IGV2ZW4g bWVudGlvbiBHQURUcyBpbiBzZWN0aW9uDQo+ICJJbnRlcmZhY2luZyBDIHdp dGggT0NhbWwiLg0KDQpUaGF0J3Mgd29ydGggYSBHUFIvTWFudGlzIGlzc3Vl Lg0KDQoNCkRhdmlkIA0KDQo=