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 E611B7F0BA for ; Sun, 25 Sep 2016 14:28:26 +0200 (CEST) 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@outmail148161.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.161; 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.161 as permitted sender) identity=mailfrom; client-ip=62.13.148.161; 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@outmail148161.authsmtp.com) identity=helo; client-ip=62.13.148.161; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail148161.authsmtp.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AjWAlgxyMpO+4H+PXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0uMUIJqq85mqBkHD//Il1AaPBtSBrasdwLWM++C4ACpbvsbH6ChDOLV3FDY7yu?= =?us-ascii?q?wu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9?= =?us-ascii?q?dazJHdv/g8u+zaibs8nebwpBnnyzaLhuKw+3pAH5ucwfgI8kIaE0nEjnuHxNLs?= =?us-ascii?q?hf22JkbXuXmw37/t/4qJJ5+mFWtu0638tNTazhY60zTvpTCzFwYDN939HiqRSW?= =?us-ascii?q?FVjH3XAbSGhDyhc=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CdAACDwedXh6GUDT5dHAEBBAEBCgEBG?= =?us-ascii?q?QYMgn0TAQEBAQF1LU8HjSyWDgEBBpU3ggQkhXoCHIEeOBQBAQEBAQEBAQEBARI?= =?us-ascii?q?BAQEKCwkJGS+CMhiCFwEBAQQDIBFFEAIBCBgCAiYCAgIwFRACBA4FCBKIMgMBC?= =?us-ascii?q?bB4jEEBAQEBAQEEAQEBAQEBAQEBAQEcgQaEZ4UehEaDAiuCLwWZdoYniUEKgWR?= =?us-ascii?q?OhBaDN4VijGuDfB6DTxELgVByAYV/AX4BAQE?= X-IPAS-Result: =?us-ascii?q?A0CdAACDwedXh6GUDT5dHAEBBAEBCgEBGQYMgn0TAQEBAQF?= =?us-ascii?q?1LU8HjSyWDgEBBpU3ggQkhXoCHIEeOBQBAQEBAQEBAQEBARIBAQEKCwkJGS+CM?= =?us-ascii?q?hiCFwEBAQQDIBFFEAIBCBgCAiYCAgIwFRACBA4FCBKIMgMBCbB4jEEBAQEBAQE?= =?us-ascii?q?EAQEBAQEBAQEBAQEcgQaEZ4UehEaDAiuCLwWZdoYniUEKgWROhBaDN4VijGuDf?= =?us-ascii?q?B6DTxELgVByAYV/AX4BAQE?= X-IronPort-AV: E=Sophos;i="5.30,393,1470693600"; d="scan'208";a="238173326" Received: from outmail148161.authsmtp.com ([62.13.148.161]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Sep 2016 14:28:25 +0200 Received: from mail-c232.authsmtp.com (mail-c232.authsmtp.com [62.13.128.232]) by punt24.authsmtp.com (8.14.2/8.14.2/) with ESMTP id u8PCSOrB076138; Sun, 25 Sep 2016 13:28:24 +0100 (BST) 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 u8PCSNO1015790 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Sun, 25 Sep 2016 13:28:23 +0100 (BST) 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 u8PCSMf6027112; Sun, 25 Sep 2016 13:28:22 +0100 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.0301.000; Sun, 25 Sep 2016 13:28:22 +0100 From: David Allsopp To: Edgar A CC: "caml-list@inria.fr" Thread-Topic: [Caml-list] Getting some C values over to the OCaml side correctly Thread-Index: AQHSFwNaG9ZC2DuG7E+rWUzFGsYPmaCJ3eOA///1AYCAAE5PUA== Date: Sun, 25 Sep 2016 12:28:20 +0000 Message-ID: References: <090F68D4-7CA4-4091-BC5D-5F2C9BFB2AEC@gmail.com> In-Reply-To: Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [85.255.234.116] 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: 8d2e3dd1-831b-11e6-829e-00151795d556 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgASJgdBAmpU Q3kJW1VSQFxyU2F9 YQhSIwdcYVRPXwB0 UklLXFNTEBpqBAMA SFsWMmoRCXpHeH91 Yk9iEHlfWUA0fRJ/ F00AQWwbbWRhOn0e URVeagtWeVZXfh9E b1F4XXZZZGABKBgV TUcAFDk0OXBbKT9J d0kiIE4OQEAEViU7 Qh1KNn0xFEkYSj57 KAIrMBYAGw4NMkh6 FnAoXFZQKB4eB28W FEZXGiJSO10QLwAA 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] Getting some C values over to the OCaml side correctly RWRnYXIgQSB3cm90ZToNCj4gT24gU2VwIDI1LCAyMDE2LCBhdCAxOjQwIEFN LCBEYXZpZCBBbGxzb3BwIDxkcmEtbmV3c0BtZXRhc3RhY2suY29tPg0KPiB3 cm90ZToNCj4gPiBFZGdhciBBIHdyb3RlOg0KPiA+ID4gR3JlZXRpbmdzLA0K PiA+ID4NCj4gPiA+IEkgaGF2ZSBzb21lIEMgdmFsdWVzIHRoYXQgSSB3YW50 IHRvIGdldCBvdmVyIHRvIHRoZSBPQ2FtbCBzaWRlIHVzaW5nDQo+ID4gPiB0 aGUgRkZJLg0KPiA+ID4NCj4gPiA+IFNwZWNpZmljYWxseSBJIGhhdmUgYHVp bnQzMl90YCwgYGludHB0cl90YCBhbmQgYGludDMyX3RgIGFuZCBJ4oCZbSBu b3QNCj4gPiA+IHN1cmUgaG93IHRvIGdldCBpdCBvdmVyIHRvIHRoZSBPQ2Ft bCBzaWRlIGNvcnJlY3RseS4NCj4gPiA+DQo+ID4gPiBXb3VsZCB0aGUgdWlu dDMyX3QgYmUgZXhwcmVzc2VkIGFzIGEgSW50MzIudD8gRG8gSSByZWFsbHkg bmVlZCB0byBwdXQNCj4gPiA+IGFuIGludGVnZXIgYXMgYmxvY2sganVzdCB0 byBnZXQgaXQgdG8gdGhlIE9DYW1sIHNpZGUsIGJlY2F1c2Ugb2YgdGhlDQo+ ID4gPiAzMSBiaXQgaW50ZWdlcnMgb24gdGhlIE9DYW1sIHNpZGUgcmlnaHQ/ DQo+ID4NCj4gPiBZZXMsIHlvdSBkbywgdW5sZXNzIHlvdSBjYW4gZ3VhcmFu dGVlIHRoYXQgeW91IGRvbid0IG5lZWQgYml0IDMxIGV2ZXIuDQo+ID4gVGhl IFVuaXggbGlicmFyeSwgZm9yIGV4YW1wbGUsIHVzZXMgYSAzMS82My1iaXQg aW50IGZvciBVbml4IEZEcw0KPiA+IChodHRwczovL2dpdGh1Yi5jb20vb2Nh bWwvb2NhbWwvYmxvYi90cnVuay9vdGhlcmxpYnMvdW5peC9vcGVuLmMpIG9u IHRoZQ0KPiA+IHJlYWxpc3RpYyBhc3N1bXB0aW9uIHRoYXQgYml0IDMxIHdp bGwgbmV2ZXIgYmUgc2V0Lg0KPiA+DQo+ID4gWW91IHNob3VsZCB1c2UgYSBu YXRpdmVpbnQgKHN0aWxsIGJveGVkKSBmb3IgYW4gaW50cHRyX3QsIGFzIHRo YXQgd2lsbA0KPiA+IHRyYW5zcGFyZW50bHkgd29yayBmb3IgMzIvNjQtYml0 IHZhcmlhbnRzLg0KPiA+DQo+ID4gPiBCZWVuIGxvb2tpbmcgZm9yIGV4YW1w bGVzIGJ1dCBjYW7igJl0IGZpbmQgYW55LCBleGFtcGxlIGNvZGUgZ3JlYXRs eQ0KPiA+ID4gYXBwcmVjaWF0ZWQsIHRoZSBDIHNpZGUgYW5kIHRoZSBtbCBz aWRlIHBsZWFzZS4NCj4gPg0KPiA+IFRoZXJlJ3MgcXVpdGUgYSBsb3QgaW4g dGhlIG1hbnVhbCBmb3IgdGhpcw0KPiA+IChodHRwOi8vY2FtbC5pbnJpYS5m ci9wdWIvZG9jcy9tYW51YWwtb2NhbWwvaW50ZmMuaHRtbCkgLSBJbnQzMl92 YWwgYW5kDQo+ID4gTmF0aXZlaW50X3ZhbCBhcmUgdGhlIHR3byBmdW5jdGlv bnMgZm9yIGNvbnZlcnRpbmcgYW4gT0NhbWwgdmFsdWUgdG8gYSBDDQo+ID4g dHlwZSBhbmQgY2FtbF9jb3B5X2ludDMyIGFuZCBjYW1sX2NvcHlfbmF0aXZl aW50IGFyZSB0aGUgZXF1aXZhbGVudHMgZm9yDQo+ID4gY29udmVydGluZyB0 aGUgQyB0eXBlIGJhY2sgdG8gYW4gT0NhbWwgdmFsdWUuDQo+ID4NCj4gPiBQ dXR0aW5nIGNhbWxfY29weV9uYXRpdmVpbnQgaW50byBhIEdpdEh1YiBzZWFy Y2ggcmV2ZWFscywgZm9yIGV4YW1wbGUsDQo+ID4gaHR0cHM6Ly9naXRodWIu Y29tL3lhbGxvcC9vY2FtbC11bml4LXR5cGUtcmVwcmVzZW50YXRpb25zL2Js b2IvbWFzdGVyLw0KPiA+IGxpYi91bml4X3R5cGVfcmVwcmVzZW50YXRpb25f c3R1YnMuYyAoeW91IGNhbiBmaW5kIG1hbnkgbW9yZSBleGFtcGxlcw0KPiA+ IGJ5IHNlYXJjaGluZyBmb3IgY2FtbF9jb3B5X25hdGl2ZWludCBvciBjYW1s X2NvcHlfaW50MzIpDQo+DQo+IFRoYW5rIHlvdSEgWWVzLCBkaWQgcmVhZCB0 aHJvdWdoIHRoZSBtYW51YWwgYnV0IEkgd2FzIGNvbmNlcm5lZCBhYm91dCB0 aGUNCj4gdW5zaWduZWQgcGFydCwgZG9lcyB0aGF0IG5vdCBtYXR0ZXI/DQoN Ck9oIGFoLCBJIG1pc3NlZCB0aGF0IHBhcnQuIEluZGVlZCBpdCB3aWxsIC0g b2J2aW91c2x5LCBmb3IgdWludDMyX2ludCwgeW91IGNhbiB1c2UgYW4gaW50 NjQgLSB0aGUgb25seSB3YXkgdG8gdXNlIGFuIHVuc2lnbmVkIHR5cGUgaW4g T0NhbWwgaXMgdG8gdXNlIGEgYmlnZ2VyIHNpZ25lZCB0eXBlLiBGb3IgdW5z aWduZWQgNjQtYml0IGludHMsIHRoYXQncyBvYnZpb3VzbHkgbW9yZSBwYWlu ZnVsLiANCg0KSG93ZXZlciwgaXQgY2FuIGRlcGVuZCBvbiB3aGF0IHlvdSB3 YW50IHRvIGRvIHdpdGggaXQgKGZvciB0aGUgQyBsaWJyYXJ5IHlvdSdyZSBi aW5kaW5nKS4gWW91IGRvbid0IGxvc2UvY2hhbmdlIGFueSBiaXRzIG9mIGEg dWludDMyX2ludCBieSBzdG9yaW5nIGl0IGluIGFuIGludDMyLCBpdCBqdXN0 IGdldHMgaW50ZXJwcmV0ZWQgZGlmZmVyZW50bHkgc28sIGVzcGVjaWFsbHkg Zm9yIHVuc2lnbmVkIGludHMgYmVpbmcgdXNlZCBvbmx5IGFzIGJpdG1hc2tz LCB5b3UgbWF5IGJlIGFibGUgdG8gZ2V0IGF3YXkgd2l0aCBsZWF2aW5nIGl0 IGFzIGEgc2lnbmVkIE9DYW1sIHZhbHVlLg0KDQoNCkRhdmlkDQo=