From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 69889BBAF for ; Sat, 27 Nov 2010 11:18:50 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhgCAKlp8ExRZ90vkWdsb2JhbACDUJEKjVdbFgEBAQkLCgcRAx+ILKUfkCeBIYMzcwSKYYYA X-IronPort-AV: E=Sophos;i="4.59,265,1288566000"; d="scan'208";a="80314019" Received: from mtaout01-winn.ispmail.ntl.com ([81.103.221.47]) by mail4-smtp-sop.national.inria.fr with ESMTP; 27 Nov 2010 11:18:49 +0100 Received: from aamtaout01-winn.ispmail.ntl.com ([81.103.221.35]) by mtaout01-winn.ispmail.ntl.com (InterMail vM.7.08.04.00 201-2186-134-20080326) with ESMTP id <20101127101825.KWKB26766.mtaout01-winn.ispmail.ntl.com@aamtaout01-winn.ispmail.ntl.com>; Sat, 27 Nov 2010 10:18:25 +0000 Received: from romulus.metastack.com ([81.102.132.77]) by aamtaout01-winn.ispmail.ntl.com (InterMail vG.3.00.04.00 201-2196-133-20080908) with ESMTP id <20101127101825.JDVU20122.aamtaout01-winn.ispmail.ntl.com@romulus.metastack.com>; Sat, 27 Nov 2010 10:18:25 +0000 Received: from remus.metastack.local ([172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id oARAIMF2025077 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=FAIL); Sat, 27 Nov 2010 10:18:22 GMT Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%11]) with mapi; Sat, 27 Nov 2010 10:15:41 +0000 From: David Allsopp To: "mark@proof-technologies.com" , "bluestorm.dylc@gmail.com" , "julia@diku.dk" Cc: "mehdi.dogguy@pps.jussieu.fr" , "caml-list@yquem.inria.fr" Subject: RE: [Caml-list] zero-arity constructor Thread-Topic: [Caml-list] zero-arity constructor Thread-Index: AQHLjhgMQsCRB6qtt0+pDaYgSOGjfZOFFjrw Date: Sat, 27 Nov 2010 10:15:40 +0000 Message-ID: References: <1290851344516@names.co.uk> In-Reply-To: <1290851344516@names.co.uk> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: 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 81.102.132.77 X-Cloudmark-Analysis: v=1.1 cv=JvdXmxIgLJv2/GthKqHpGJEEHukvLcvELVXUanXFreg= c=1 sm=0 a=fOvZ5qPtjRoA:10 a=IkcTkHD0fZMA:10 a=xqWC_Br6kY4A:10 a=yMhMjlubAAAA:8 a=pGLkceISAAAA:8 a=ZOzjf2MOAAAA:8 a=n06BfVqjAAAA:20 a=JTordtM6Lb9wdHqhR_0A:9 a=PrMrxcQzgNx-PaiLnykA:7 a=BpsoyXoOf1X7bOATWVm0xZlyGh0A:4 a=QEXdDO2ut3YA:10 a=hR_i6-IkBo4A:10 a=H1paHlvfXV0A:10 a=MSl-tDqOz04A:10 a=hYdM-AEvmBIHFVqL:21 a=YictqjDYMuYFxfqN:21 a=HpAAvcLHHh0Zw7uRqdWCyQ==:117 X-Spam: no; 0.00; syntax:01 beginners':01 foo:01 foo:01 constructors:01 makefile:01 compiler:01 camlp:01 camlp:01 syntax:01 -warn-error:01 bug:01 frisch:01 ocaml:01 constructors:01 TWFyayBBZGFtcyB3cm90ZToNCj4gU3VyZWx5IGl0J3MgcHJlZmVyYWJsZSB0byB1c2UgYSBzeW50 YWN0aWNhbGx5IGRpc3RpbmN0IG1lY2hhbmlzbSBmb3IgdGhpcw0KPiBzdWJ0bHkgZGlmZmVyZW50 IGNvbmNlcHQuICBHaXZlbiB0aGF0IHdlJ3JlIHRhbGtpbmcgYWJvdXQgcGF0dGVybnMgYW5kIG5v dA0KPiBnZW5lcmFsIGV4cHJlc3Npb25zIGhlcmUsIHN1cmVseSB0aGVyZSdzIHBsZW50eSBvZiBz cGFjZSBpbiB0aGUgc3ludGF4Lg0KPiBQZXJoYXBzIHNvbWV0aGluZyBsaWtlICcqJyB0byBtZWFu IDAgb3IgbW9yZS4NCg0KRXZlbiBhY2NlcHRpbmcgdGhhdCBfIGlzIGFscmVhZHkgImJyb2tlbiIg KHdlbGwsIGEgc3BlY2lhbCBjYXNlKSBhcyBibHVlc3Rvcm0gZXhwbGFpbmVkIGluIHRlcm1zIG9m IHRoYXQgbG92ZWx5IGJlZ2lubmVycycgYW5kIG5vdC1zby1iZWdpbm5lcnMnIHRyYXAgW0ZvbyBv ZiBpbnQgKiBpbnRdIHZzIFtGb28gb2YgKGludCAqIGludCldLCBhbGxvd2luZyBfIHdpdGggMC1h cml0eSBjb25zdHJ1Y3RvcnMgZG9lcyBmZWVsIG9kZCwgYW5kIEkgZG9uJ3QgcmVhbGx5IHdhbnQg dG8gaGF2ZSB0byBwZXBwZXIgbXkgTWFrZWZpbGUgcnVsZXMgd2l0aCAtdyArMjguIE15IHBlcnNv bmFsIHByZWZlcmVuY2Ugd291bGQgYmUgdGhhdCBXYXJuaW5nIDI4IHdlcmUgb24gYnkgZGVmYXVs dCBhbmQgdGhhdCB0aGVyZSB3ZXJlIGEgY29tcGlsZXIgcHJhZ21hIGF2YWlsYWJsZSB3aGljaCBj YW1scDQgY291bGQgdXNlICppbiB0aGUgZ2VuZXJhdGVkIE1MIGNvZGUqIHRvIHN1cHByZXNzIGl0 IChJJ20gdGhpbmtpbmcgb2YgdGhlIE1TVkMtc3BlY2lmaWMgI3ByYWdtYSB3YXJuaW5nIGRpc2Fi bGUgMjggLSBodHRwOi8vbXNkbi5taWNyb3NvZnQuY29tL2VuLXVzL2xpYnJhcnkvNDQxNzIyeXMo VlMuODApLmFzcHgpLg0KDQo+IE9yIGlzIGl0IGFscmVhZHkgdG9vIGxhdGUNCj4gYmVjYXVzZSAn XycgaGFzIGFscmVhZHkgYmVlbiBpbmNvcnBvcmF0ZWQgYW5kIGJhY2t3YXJkcyBjb21wYXRpYmls aXR5DQo+IGRpY3RhdGVzIHRoYXQgdGhpcyBjYW5ub3QgYmUgY2hhbmdlZD8NCg0KUHJlc3VtYWJs eSB0aGVyZSBhcmUgc29tZSBjYW1scDQgZXh0ZW5zaW9ucyBhbHJlYWR5IHRha2luZyBhZHZhbnRh Z2Ugb2YgaXQgb3IgaXQgd291bGRuJ3QgaGF2ZSBiZWVuIGFkZGVkLiBCdXQgdGhlcmUnZCBiZSBu byByZWFzb24gbm90IHRvIGFkZCBzb21ldGhpbmcgYXMgeW91IHByb3Bvc2UgKHNvIFtGb28gKl0g Zm9yIHR5cGUgdCA9IEZvbykgYW5kIHNldCBXYXJuaW5nIDI4IHRvIGJlIG9uIGJ5IGRlZmF1bHQg Zm9yIFtGb28gX10gLSB0aGF0IHdvdWxkIHNpbXBseSBtZWFuIHRoYXQgMy4xMS8zLjEyIGNvZGUg dXNpbmcgdGhhdCBzeW50YXggd291bGQgZW1pdCB3YXJuaW5ncyBpbiAiMy4xMyIgcmF0aGVyIHRo YW4gYWN0dWFsbHkgYnJlYWtpbmcgKHVubGVzcyB5b3UndmUgaW5jbHVkaW5nIC13YXJuLWVycm9y IC0gYnV0IHRoYXQncyBhbHdheXMgc2VlbWVkIHRvIG1lIHRvIGJlIGEgZGV2ZWxvcG1lbnQgb3B0 aW9uLCBub3QgYSByZWxlYXNlIG9wdGlvbi4uLikNCg0KDQpEYXZpZA0KIA0KDQo+IA0KPiB0eXBl IHR5ID0gQSB8IEINCj4gDQo+IGxldCB0ZXN0ID0gZnVuY3Rpb24NCj4gfCBBICogLT4gKCkNCj4g fCBCIC0+ICgpDQo+IA0KPiBNYXJrIEFkYW1zDQo+IA0KPiBvbiAyNi8xMS8xMCAxMDozNSBQTSwg Ymx1ZXN0b3JtIDxibHVlc3Rvcm0uZHlsY0BnbWFpbC5jb20+IHdyb3RlOg0KPiANCj4gPiBBIHF1 aWNrIHN1bW1hcnkgZm9yIHRob3NlIGxpa2UgbWUgdGhhdCBkaWRuJ3QgZm9sbG93IHRoZSBjaGFu Z2UgYW5kDQo+ID4gd2VyZSBiYWZmbGVkIHRvIGZpbmQgb3V0IHRoYXQgIml0J3Mgbm90IGEgYnVn LCBpdCdzIGEgZmVhdHVyZSIuDQo+ID4NCj4gPiBUaGUgY2hhbmdlIHdhcyBhc2tlZCBmb3IgYnkg QWxhaW4gRnJpc2NoIGluIDIwMDYgKA0KPiA+IGh0dHA6Ly9jYW1sLmlucmlhLmZyL21hbnRpcy92 aWV3LnBocD9pZD00MDUyICkgYW5kIGZpbmFsbHkgYWRkZWQgaW4NCj4gPiBvY2FtbCAzLjExLiBU aGUgcmF0aW9uYWxlIGlzIHRvIG1ha2UgaXQgZWFzeSB0byBtZWNoYW5pY2FsbHkgLS0gdGhpbmsN Cj4gPiBjYW1scDQgb3IgYW5vdGhlciBwcmVwcm9jZXNzb3IgLS0gZ2VuZXJhdGUgcGF0dGVybiBj bGF1c2VzIHRvIHRlc3QgZm9yDQo+ID4gdGhlIGhlYWQgY29uc3RydWN0b3Igb2YgYSBkYXRhIHR5 cGUsIGlnbm9yaW5nIGl0J3MgcGFyYW1ldGVyLg0KPiA+IEJlZm9yZSB0aGF0IGNoYW5nZSwgKEsg Xykgd291bGQgd29yayBmb3IgYWxsIGNvbnN0cnVjdG9ycyBLIG9mIGFyaXR5DQo+IGdyZWF0ZXIN Cj4gPiB0aGFuIDEsIGJ1dCBub3QgZm9yIGFyaXR5IDAuIEFmdGVyIHRoZSBjaGFuZ2UsIChLIF8p IHdvcmsgZXZlbiBmb3INCj4gY29uc3RhbnQNCj4gPiBjb25zdHJ1Y3RvcnMuIEdlbmVyYXRpbmcg YSBtYXRjaCBjbGF1c2UgdGhhdCBzYXlzICJsb29rcyBpZiBpdCdzIHRoZQ0KPiA+IGNvbnN0cnVj dG9yIEssIEkgZG9uJ3QgY2FyZSBhYm91dCB0aGUgYXJndW1lbnRzIiBpcyBtdWNoIGVhc2llciBh cyB5b3UNCj4gZG9uJ3QNCj4gPiBoYXZlIHRvIGNhcnJ5ICBhcml0eSBpbmZvcm1hdGlvbiBhcm91 bmQuDQo+ID4NCj4gPiBUaGUgZG93bnNpZGUgb2YgdGhpcyBiZWhhdmlvdXIgaXMgdGhhdCB0aGUg dW5pdmVyc2FsIHBhdHRlcm4gXyBoYXMgYW4NCj4gPiBkaWZmZXJlbnQgbWVhbmluZyBpbiB0aGlz IHNldHRpbmcuIEl0IGRvZXMgbm90IG9ubHkgbWF0Y2hlcyBhbnkgdmFsdWUNCj4gPiAoYXMgdGhl IG1hbnVhbCBzYXlzIDoNCj4gPiBodHRwOi8vY2FtbC5pbnJpYS5mci9wdWIvZG9jcy9tYW51YWwt b2NhbWwvcGF0dGVybnMuaHRtbA0KPiA+ICksDQo+ID4gYnV0IGFsc28gIm1hdGNoZXMgYW55IG51 bWJlciBvZiBhcmd1bWVudHMsIHBvc3NpYmx5IDAiLiBUaGUgbmljZQ0KPiA+IGNvbXBvc2l0aW9u YWwgaW50ZXJwcmV0YXRpb24gb2YgcGF0dGVybnMgLS0gSyAocDEsIC4uLCBwTikgbWF0Y2hlcyBh DQo+ID4gdmFsdWUgd2l0aCBjb25zdHJ1Y3RvciBLIGFuZCB3aG9zZSBOIGFyZ3VtZW50cyBtYXRj aCBwMS4ucE4gLS0gaXMgbG9zdC4NCj4gPiBOb3RlIHRoYXQgdGhpcyB3YXMgYWxyZWFkeSB0aGUg Y2FzZSBiZWZvcmUgdGhlIGNoYW5nZSBzdWdnZXN0ZWQgYnkNCj4gPiBBbGFpbiBGcmlzY2ggOiBf IHdvdWxkIHdvcmsgZm9yIHR3by1hcmd1bWVudHMgY29uc3RydWN0b3JzIGFzIHdlbGwsDQo+ID4g d2hpbGUgYQ0KPiBuYW1lZA0KPiA+IHZhcmlhYmxlIHdvdWxkbid0IC0tIHRoaXMgaXMgd2VsbC1r bm93biBzdWJ0bGUgZGlmZmVyZW5jZSBiZXR3ZWVuIChGb28NCj4gPiBvZg0KPiBhDQo+ID4gKiBi KSBhbmQgKEZvbyBvZiAoYSAqIGIpKS4gVGhlIHBhdHRlcm4gXyBpZ25vcmVkIGFueSBub24temVy byBudW1iZXINCj4gPiBvZiBhcmd1bWVudHMuDQo+ID4NCj4gPiBOb3RlIHRoYXQgc2luY2Ugb2Nh bWwgMy4xMiwgdGhlcmUgaXMgYSB3YXJuaW5nIGF2YWlsYWJsZSBmb3IgdGhpcyB2ZXJ5DQo+ID4g ZXJyb3IuDQo+ID4NCj4gPiAkIG9jYW1sIC13YXJuLWhlbHANCj4gPiBbLi4uXQ0KPiA+IDI4IFdp bGRjYXJkIHBhdHRlcm4gZ2l2ZW4gYXMgYXJndW1lbnQgdG8gYSBjb25zdGFudCBjb25zdHJ1Y3Rv ci4NCj4gPiBbLi4uXQ0KPiA+DQo+ID4gJCBjYXQgdGVzdC5tbA0KPiA+IHR5cGUgdHkgPSBBIHwg Qg0KPiA+DQo+ID4gbGV0IHRlc3QgPSBmdW5jdGlvbg0KPiA+IHwgQSBfIC0+ICgpDQo+ID4gfCBC IC0+ICgpDQo+ID4NCj4gPiAkIG9jYW1sIC13ICsyOCB0ZXN0Lm1sDQo+ID4gRmlsZSAidGVzdC5t bCIsIGxpbmUgNCwgY2hhcmFjdGVycyA0LTU6DQo+ID4gV2FybmluZyAyODogd2lsZGNhcmQgcGF0 dGVybiBnaXZlbiBhcyBhcmd1bWVudCB0byBhIGNvbnN0YW50DQo+ID4gY29uc3RydWN0b3INCj4g Pg0KPiA+IEkgdGhpbmsgdGhhbiwgaW4gdGhlIGVuZCwgaXQncyBhbGwgYSBtYXR0ZXIgb2YgY29t cHJvbWlzZS4NCj4gPg0KPiA+IFRoYW5rcyB0byBKdWxpYSBhbmQgTWVoZGkgZm9yIGNhc3Rpbmcg bGlnaHQgb24gdGhlIGRhcmsgY29ybmVycyBvZiB0aGUNCj4gb2NhbWwNCj4gPiBzeW50YXghDQo+ ID4NCj4gPiBQUyA6IEkgaGF2ZW4ndCBmb3VuZCB0aGF0IGJlaGF2aW91ciBkb2N1bWVudGVkIGFu eXdoZXJlLiBNYXliZSBpdA0KPiA+IHdvdWxkIGJlIGdvb2QgdG8gZGVzY3JpYmUgdGhhdCBzcGVj aWFsIGJlaGF2aW91ciBvZiBfIG9uIGNvbnN0cnVjdG9ycw0KPiA+IGluIHRoZQ0KPiBtYW51YWw/ DQo+ID4NCj4gPiBPbiBGcmksIE5vdiAyNiwgMjAxMCBhdCAxMTowMiBQTSwgSnVsaWEgTGF3YWxs IDxqdWxpYUBkaWt1LmRrPiB3cm90ZToNCj4gPg0KPiA+PiBPbiBGcmksIDI2IE5vdiAyMDEwLCBN ZWhkaSBEb2dndXkgd3JvdGU6DQo+ID4+DQo+ID4+ID4gT24gMTEvMjYvMjAxMCAxMDo0NiBQTSwg SnVsaWEgTGF3YWxsIHdyb3RlOg0KPiA+PiA+ID4gVGhlIGZvbGxvd2luZyBjb2RlIGNvbXBpbGVz IGluIDMuMTIuMCBidXQgZG9lc24ndCBjb21waWxlIGluDQo+IDMuMTAuMi4NCj4gPj4gPiA+IElz IGl0IGEgYnVnIG9yIGEgZmVhdHVyZT8NCj4gPj4gPiA+DQo+ID4+ID4NCj4gPj4gPiBJdCdzIGEg ZmVhdHVyZSB0aGF0IHdhcyBpbXBsZW1lbnRlZCBpbiAzLjExLjAgKGlpcmMpLg0KPiA+PiA+DQo+ ID4+ID4gU2VlOiBodHRwOi8vY2FtbC5pbnJpYS5mci9tYW50aXMvdmlldy5waHA/aWQ9NDY3NSAo YW5kIG90aGVyDQo+ID4+ID4gcmVsYXRlZCBidWdyZXBvcnRzKS4NCj4gPj4NCj4gPj4gT0ssIHRo YW5rcy4gIEkgYWdyZWUgd3RoIHRob3NlIHRoYXQgZG9uJ3QgbGlrZSB0aGUgY2hhbmdlLi4uDQo+ ID4+DQo+ID4+IGp1bGlhDQo+ID4+DQo+ID4+IF9fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fDQo+ID4+IENhbWwtbGlzdCBtYWlsaW5nIGxpc3QuIFN1YnNjcmlw dGlvbiBtYW5hZ2VtZW50Og0KPiA+PiBodHRwOi8veXF1ZW0uaW5yaWEuZnIvY2dpLWJpbi9tYWls bWFuL2xpc3RpbmZvL2NhbWwtbGlzdA0KPiA+PiBBcmNoaXZlczogaHR0cDovL2NhbWwuaW5yaWEu ZnINCj4gPj4gQmVnaW5uZXIncyBsaXN0OiBodHRwOi8vZ3JvdXBzLnlhaG9vLmNvbS9ncm91cC9v Y2FtbF9iZWdpbm5lcnMNCj4gPj4gQnVnIHJlcG9ydHM6IGh0dHA6Ly9jYW1sLmlucmlhLmZyL2Jp bi9jYW1sLWJ1Z3MNCj4gPj4NCj4gPg0KPiA+DQo+ID4NCj4gPiAtLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tDQo+ID4gX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX18NCj4gPiBDYW1sLWxpc3QgbWFpbGluZyBsaXN0LiBTdWJzY3JpcHRp b24gbWFuYWdlbWVudDoNCj4gPiBodHRwOi8veXF1ZW0uaW5yaWEuZnIvY2dpLWJpbi9tYWlsbWFu L2xpc3RpbmZvL2NhbWwtbGlzdA0KPiA+IEFyY2hpdmVzOiBodHRwOi8vY2FtbC5pbnJpYS5mcg0K PiA+IEJlZ2lubmVyJ3MgbGlzdDogaHR0cDovL2dyb3Vwcy55YWhvby5jb20vZ3JvdXAvb2NhbWxf YmVnaW5uZXJzDQo+ID4gQnVnIHJlcG9ydHM6IGh0dHA6Ly9jYW1sLmlucmlhLmZyL2Jpbi9jYW1s LWJ1Z3MNCj4gPg0KPiA+DQo+ID4NCj4gDQo+IF9fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fDQo+IENhbWwtbGlzdCBtYWlsaW5nIGxpc3QuIFN1YnNjcmlwdGlv biBtYW5hZ2VtZW50Og0KPiBodHRwOi8veXF1ZW0uaW5yaWEuZnIvY2dpLWJpbi9tYWlsbWFuL2xp c3RpbmZvL2NhbWwtbGlzdA0KPiBBcmNoaXZlczogaHR0cDovL2NhbWwuaW5yaWEuZnINCj4gQmVn aW5uZXIncyBsaXN0OiBodHRwOi8vZ3JvdXBzLnlhaG9vLmNvbS9ncm91cC9vY2FtbF9iZWdpbm5l cnMNCj4gQnVnIHJlcG9ydHM6IGh0dHA6Ly9jYW1sLmlucmlhLmZyL2Jpbi9jYW1sLWJ1Z3MNCg==