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 7E9697EE51 for ; Sat, 25 May 2013 14:30:46 +0200 (CEST) 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=115.124.103.27; 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 115.124.103.27 as permitted sender) identity=mailfrom; client-ip=115.124.103.27; 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@relay.metastack.com) identity=helo; client-ip=115.124.103.27; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@relay.metastack.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4FAESuoFFzfGcb/2dsb2JhbABagmchg2u+fA15FnSCIwEBAQQjBA1FEAIBCBgCAgYgAgICMBUQAgQBDQ2IBAIDqkmRTYEmjUYxB4JBMmEDlzuRQIMPgiY X-IPAS-Result: Ah4FAESuoFFzfGcb/2dsb2JhbABagmchg2u+fA15FnSCIwEBAQQjBA1FEAIBCBgCAgYgAgICMBUQAgQBDQ2IBAIDqkmRTYEmjUYxB4JBMmEDlzuRQIMPgiY X-IronPort-AV: E=Sophos;i="4.87,741,1363129200"; d="scan'208";a="15669149" Received: from relay.metastack.com ([115.124.103.27]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 May 2013 14:30:45 +0200 Received: from romulus.metastack.com ([81.102.132.77]) by relay.metastack.com over TLS secured channel with Microsoft SMTPSVC(6.0.3790.4675); Sat, 25 May 2013 13:30:40 +0100 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 r4PCUDSO027706 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=FAIL); Sat, 25 May 2013 13:30:13 +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.0123.003; Sat, 25 May 2013 13:30:13 +0100 From: David Allsopp To: oliver , Gabriel Scherer CC: Wojciech Meyer , Siraaj Khandkar , Arnaud Spiwack , OCaML Mailing List Thread-Topic: [Caml-list] OCaml's variables Thread-Index: AQHOWQawFv5TB7TnAEiYeo9ptIzPSZkVrJGAgAAMhQCAAAQ9AIAAFBug Date: Sat, 25 May 2013 12:30:12 +0000 Message-ID: References: <20130523235355.GI6510@siouxsie> <20130524233015.GE1923@siouxsie> <37A1A2D3-5993-4675-9937-ED3965793D1D@khandkar.net> <20130525004045.GH1923@siouxsie> <20130525110457.GA1947@siouxsie> <20130525120455.GF1947@siouxsie> In-Reply-To: <20130525120455.GF1947@siouxsie> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [93.97.148.14] 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-OriginalArrivalTime: 25 May 2013 12:30:41.0144 (UTC) FILETIME=[AB452780:01CE5943] Subject: RE: [Caml-list] OCaml's variables b2xpdmVyIHdyb3RlDQo+IEhpLA0KPiANCj4gT24gU2F0LCBNYXkgMjUsIDIw MTMgYXQgMDE6NDk6NDZQTSArMDIwMCwgR2FicmllbCBTY2hlcmVyIHdyb3Rl Og0KPiA+IFRoZSBuYW1lICJ2YXJpYWJsZSIgaGFzIGJlZW4gdXNlZCBmb3Ig Y2VudHVyaWVzIGJ5IHRoZSBtYXRoZW1hdGljaWFucw0KPiA+IHRvIGRlbm90 ZSBleGFjdGx5IG5hbWVzIHRoYXQgcmVmZXIgdG8gdmFsdWVzIChvZiBjb3Vy c2UgaW1tdXRhYmxlDQo+ID4gdmFsdWVzLCB3ZSdyZSB0YWxraW5nIGFib3V0 IG1hdGhlbWF0aWNhbCBvYmplY3RzIGhlcikuIFRoZXJlIGlzIG5vDQo+ID4g cG9pbnQgaW4gdHJ5aW5nIHRvIGNoYW5nZSBpdCBiZWNhdXNlIHNvbWUgcGVv cGxlIGNvbmZsYXRlIHRoaXMgbm90aW9uDQo+ID4gd2l0aCBtdXRhYmlsaXR5 Lg0KPiANCj4gSG1oaGguDQo+ICJTb21lIiBwZW9wbGU/IEFzIGZhciBhcyBJ IHJlbWVtYmVyLCBJIGhlYXJkIHRoZXNlIGFyZ3VtZW50cyBxdWl0ZSBvZnRl bi4NCg0KU29tZSBkb2VzIG5vdCBtZWFuIGZldy4gWW91IGFwcGVhciB0byBi ZSB0cnlpbmcgdG8gc3BsaXQgaGFpcnMgd2l0aG91dCBhIHN1ZmZpY2llbnQg Y29tbWFuZCBvZiBFbmdsaXNoLiBPbmNlIHVwb24gYSB0aW1lIEkgd291bGQg aGF2ZSBwcmVmaXhlZCB0aGF0ICJXaXRoIHJlc3BlY3QiLCBidXQgdmFyaW91 cyBJbnRlcm5ldCBtZW1lcyBtZWFuIHRoYXQgbW9zdCBwZW9wbGUgbm93IGtu b3cgd2hhdCBhIEJyaXRpc2ggcGVyc29uIGFjdHVhbGx5IG1lYW5zIHdoZW4g dGhleSBzYXkgdGhhdCA7bykNCg0KPiA+IChXaGVuIHlvdSB3cml0ZSAoeCAr IDEpLCB0aGUgdmFsdWUgZGVub3RlZCBieSAieCIgaXMgYW4gdW5rbm93biB0 aGF0DQo+ID4gZGVwZW5kcyBvbiB0aGUgY29udGV4dC9lbnZpcm9ubWVudDsg aW4gcGFydGljdWxhciBpdCBtYXkgdmFyeSB3aGVuDQo+ID4gdXNlZCBpbiBk aWZmZXJlbnQgY29udGV4dHMuKQ0KPiA+DQo+ID4gVGhlIG5hbWUgInZhcmlh YmxlIiBpcyBhbHNvIHVzZWQgaW4gdGhlIGV4cHJlc3Npb24gInR5cGUgdmFy aWFibGUiLA0KPiA+IHdoaWNoIGRlbm90ZXMgZm9yIGV4YW1wbGUgdGhlICdh IGluDQo+ID4gICB2YWwgaWQgOiAnYSAtPiAnYQ0KPiA+IGFuZCB3aGljaCBp cyBjbGVhcmx5IG5vdCBhc3NvY2lhdGVkIHRvIGFueSBmb3JtIG9mIG11dGF0 aW9uLg0KPiBbLi4uXQ0KPiANCj4gSG1oaGgsIGFuZCB3aGF0IGFib3V0IGlt cGVyYXRpdmUgbGFuZ3VhZ2VzPw0KPiBXaGF0IHBhcnQgZGlkIHRoZXkgYnJv a2U/DQo+IEFuZCB3aHkgZGlkIHRoZXkgIm1pc3VzZSIgdGhlIHdvcmQgInZh cmlhYmxlIiBhbmQgaW4gd2hpY2ggd2F5Pw0KPg0KPiBJcyBpdCBiZWNhdXNl IG9mIG11dGFiaWxpdHksIHdoaWNoIG1heSBicmVhayBhbGwgdGhlc2UgdXNl ZCAibWF0aGVtYXRpY2FsDQo+IG1ldGFwaG9ycyI/DQo+IA0KPiBDYW4geW91 IGVsYWJvcmF0ZSBvbiB3aHkgInZhcmlhYmxlcyIgYXJlIHRoZSB3cm9uZyB0 ZXJtIG9yIGEgMmJhZCIgdGVybSBpbg0KPiBpbXBlcmF0aXZlIGxhbmd1YWdl cyBhbmQgbm90IGluIGZ1bmN0aW9uYWwgbGFuZ3VhZ2VzPw0KDQpUaGVyZSBp cyBubyBtaXN1c2UgYW5kIG5vdGhpbmcgYnJva2VuIC0gaXQgaXMgbWVyZWx5 IHRoYXQgd2hlbiB0YWxraW5nIGFib3V0IGltcGVyYXRpdmUgbGFuZ3VhZ2Vz IHRoZSB3b3JkICJ2YXJpYWJsZSIgaXMgdHlwaWNhbGx5IHdoZXJlICJtdXRh YmxlIHZhcmlhYmxlIiBpcyBtZWFudCAoYmVjYXVzZSBpbW11dGFiaWxpdHkg aXMgbm90IHVzdWFsbHkgb2YgaW50ZXJlc3QpLiBXaGVuIGZpcnN0IHRlYWNo aW5nIGZ1bmN0aW9uYWwgbGFuZ3VhZ2VzIHRvIHBlb3BsZSB3aG8gYXJlIHBy b2JhYmx5IGFscmVhZHkgZmFtaWxpYXIgd2l0aCBpbXBlcmF0aXZlIGxhbmd1 YWdlcywgb25lIG9mdGVuIGNob29zZXMgdG8gZWxpbWluYXRlIHRoZSB1c2Ug b2YgdGhlIHdvcmQgdmFyaWFibGUuIFRoaXMgaXMgYmVjYXVzZSBpdCBjYW4g YmUgY29uZnVzaW5nIHdoZW4gdHJ5aW5nIHRvIGNvbnZleSBob3cgdG8gdGhp bmsgZnVuY3Rpb25hbGx5IHZlcnN1cyBpbXBlcmF0aXZlbHkgKGEgY2hpbGQn cyB0cmljazogaWYgdGhlIHN0dWRlbnQgdXNlcyB0aGUgd29yZCB2YXJpYWJs ZSB0aGV5IGFyZSBwcm9iYWJseSB0aGlua2luZyBvZiBhIHJlZmVyZW5jZSBj ZWxsIGFuZCBoZW5jZSBub3QgZnVuY3Rpb25hbGx5IC0gc28geW91IHN0ZWVy IHRoZSBhcmd1bWVudCBieSAiYmFubmluZyIgdGhlIHdvcmQgdmFyaWFibGUg ZnJvbSB0aGUgY29udmVyc2F0aW9uKS4gT25jZSB5b3UgYWN0dWFsbHkgaGF2 ZSBhbiB1bmRlcnN0YW5kaW5nIG9mIGZ1bmN0aW9uYWwgdGhpbmtpbmcsIHRo ZSBlbGltaW5hdGlvbiBvZiB0aGUgd29yZCB2YXJpYWJsZSBiZWNvbWVzIHVu bmVjZXNzYXJ5Lg0KDQpUaGUgT0NhbWwgTGFuZ3VhZ2UgU3BlY2lmaWNhdGlv biBpcyBtb3N0IGNlcnRhaW5seSBub3QgYSBkb2N1bWVudCBpbnRlbmRlZCBm b3IgYSBiZWdpbm5lciBlaXRoZXIgdG8gT0NhbWwgb3IgZnVuY3Rpb25hbCBw cm9ncmFtbWluZyAtIGFuIG9ic2Vzc2l2ZSBlbGltaW5hdGlvbiBvZiB0aGUg d29yZCB2YXJpYWJsZSB3b3VsZCBsaWtlbHkgbWFrZSB0aGUgdGV4dCBsZXNz IGNsZWFyIHRvIHRob3NlIHdobyB3aWxsIGFjdHVhbGx5IGJlIHJlYWRpbmcg aXQuDQoNCg0KRGF2aWQgDQo=