From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 200C7BC69 for ; Fri, 11 May 2007 00:25:24 +0200 (CEST) Received: from wr-out-0506.google.com (wr-out-0506.google.com [64.233.184.228]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4AMPMOx012765 for ; Fri, 11 May 2007 00:25:23 +0200 Received: by wr-out-0506.google.com with SMTP id l58so754388wrl for ; Thu, 10 May 2007 15:25:17 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=SlzPk+GmCWFparOx6FqdKVxv1sl6a/W3C+Hp7x6Bj8HvwjmmaAGRMGF9RuCpnZRSBJr3BGqzb2xUEpkSYqmiXtHXvNNTPczxkisRZOVE0YCBpFmv49408lUcQFuWsH4S3ZZT/yApsUYuu9DOMpJiFYECg3atluYyedZJj4ScvmQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=ZnQnaM8vimNIiGZ+jBGymVV/g0QwqdI9u9LxIwzgy36Ge/M5NpwX2Lsm9yb2gpzH0/iOqULv7KXy+mjBtWKM/g+lV/u+Dm9zeH6GKhmp1XEG5Vf3ZJLNGv7gCtQZwLtDyaQ63GpXxhXvnmbvTfFHXzL90liwAd+nhwNMdJ4ENUs= Received: by 10.114.126.1 with SMTP id y1mr734395wac.1178835917152; Thu, 10 May 2007 15:25:17 -0700 (PDT) Received: by 10.114.183.4 with HTTP; Thu, 10 May 2007 15:25:17 -0700 (PDT) Message-ID: Date: Fri, 11 May 2007 00:25:17 +0200 From: "Nicolas Pouillard" To: "Loup Vaillant" Subject: Re: [Caml-list] Custom operators in the revised syntax Cc: "Caml List" , "Gerard Huet" , "Benoit Razet" In-Reply-To: <6f9f8f4a0705101435g48fa4959ia55e6411c966fc17@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 Content-Disposition: inline References: <6f9f8f4a0705101435g48fa4959ia55e6411c966fc17@mail.gmail.com> X-j-chkmail-Score: MSGID : 46439BD2.002 on discorde : j-chkmail score : XXX : 0/20 3 0.000 -> 3 X-Miltered: at discorde with ID 46439BD2.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; syntax:01 syntax:01 parens:01 backslash:01 infix:01 associative:01 parens:01 parsing:01 lexer:01 infix:01 backslash:01 lexer:01 lambda:01 haskell:01 camlp:01 T24gNS8xMC8wNywgTG91cCBWYWlsbGFudCA8bG91cC52YWlsbGFudEBnbWFpbC5jb20+IHdyb3Rl Ogo+IDIwMDcvNS8xMCwgTmljb2xhcyBQb3VpbGxhcmQgPG5pY29sYXMucG91aWxsYXJkQGdtYWls LmNvbT46Cj4gPiBIZWxsbywKPiA+Cj4gPiBBZ2FpbiB0aGlzIG1lc3NhZ2UgaXMgYWJvdXQgdGhl IHJldmlzZWQgc3ludGF4IGFuZCBpdCdzIG5lZ2F0aXZlCj4gPiBwb2ludHMgb3IgdXNlbGVzcyBk aXN0YW5jZXMgd2l0aCB0aGUgb3JpZ2luYWwgb25lLgo+ID4KPiA+IFRvZGF5IGl0J3MgYWJvdXQg Y3VzdG9tIG9wZXJhdG9ycy4gSW4gdGhlIG9yaWdpbmFsIHN5bnRheCBldmVyeW9uZQo+ID4ga25v d3MgdGhhdCdzIGVhc3kgdG8gZGVmaW5lIGFuZCB1c2UgY3VzdG9tIG9wZXJhdG9ycyBsaWtlICsr LCAtLT4sCj4gPiA+Pj4sICt8LCA9Pz0sIC4uLiBhbmQgYXMgbWFueSBhcyB5b3Ugd2FudC4KPiA+ Cj4gPiBUbyBkZWNsYXJlIHRoZW0gaW4gdGhlIG9yaWdpbmFsIHN5bnRheCBvbmUgbmVlZHMgcGFy ZW5zOgo+ID4KPiA+IGxldCAoID0/PSApIHggeSA9IC4uLjs7Cj4gPgo+ID4gSW4gdGhlIHJldmlz ZWQgc3ludGF4IG9uZSB1c2UgYSBiYWNrc2xhc2g6Cj4gPgo+ID4gdmFsdWUgXD0/PSB4IHkgPSAu Li47Cj4gPgo+ID4gV2h5IG5vdC4uLiBidXQgaW4gdGhlIHJldmlzZWQgc3ludGF4IHRoZXNlIG5l dyBvcGVyYXRvcnMgYXJlIG5vdAo+ID4gYXV0b21hdGljYWxseSBpbmZpeCBvciBwcmVmaXggb3Ig cG9zdGZpeCwgeW91IGhhdmUgdG8gbWFrZSB5b3VyIG93bgo+ID4gc3ludGF4IGV4dGVuc2lvbi4g SW4gcHJhY3RpY2UgSSBmb3VuZCBpdCB0b28gaGVhdnksIHVubGVzcyB5b3UgYWxyZWFkeQo+ID4g aGF2ZSBhIGN1c3RvbSBzeW50YXggZXh0ZW5zaW9uIGxvY2FsIHRvIHRoZSBwcm9qZWN0IG9yIHNv bWV0aGluZyBsaWtlCj4gPiB0aGF0Lgo+Cj4gSSByZWdyZXQgdGhhdCBhIGJpdCB0b28uIEhvd2V2 ZXIsIEkgY2FuJ3QgdGVsbCBJIHJlYWxseSBtaXNzIGl0OiBJCj4gZmluZCB0aGUgZGVmYXVsdCBw cmVmaXggc3ludGF4IGZvciBmdW5jdGlvbiB0ZXJzZSBlbm91Z2gsIHNvIEkgZG9uJ3QKPiBib3Ro ZXIuIFRoZSBvbmx5IHVzZWZ1bCB1c2FnZSBJIGNhbiB0aGluayBhYm91dCBpcyBhc3NvY2lhdGl2 ZQo+IG9wZXJhdG9ycywgd2l0aCB3aGljaCBvbmUgY2FuIGZvbGQgbWFueSBhcmd1bWVudHMgYXQg b25jZS4KPgo+IEZvciBleGFtcGxlLCB0aGUgZnVuY3Rpb24gY29tcG9zaXRpb24gOgo+IChmIChn IChoIChpIHgpKSkpIGJlY29tZXMgKGYgwrAgZyDCsCBoIMKwIGkpIHgKPiB3aWNoIGxvb2tzIGEg Yml0IGJldHRlci4KCkV4YWN0bHkuCgo+ID4gSG93ZXZlciB0aGVyZSBpcyBiYWQgdGhpbmdzIHdp dGggcGFyZW5zOgo+ID4KPiA+IC0gTm90IExMKDEpIHdoZW4gdHJlYXRpbmcgdGhlbSBpbiBwYXJz aW5nCj4gPiAtIFNwYWNlcyBtdXN0IGJlIHVzZWQgZm9yIHRoZSBgKicgY2hhcmFjdGVyIHRvIGF2 b2lkcyBzdGFydGluZyBjb21tZW50cy4KPiA+Cj4gPiBJbiBmYWN0IHdoZW4gZGVhbGluZyB0aGVt IGluIHRoZSBsZXhlciB0aGF0J3Mgb2suCj4gPiBBbmQgdGhlIHNwYWNlIGlzc3VlIGlzIG5vdCB0 b28gYmlnLgo+ID4KPiA+IENvbmNlcm5pbmcgdGhlIGZpeGl0eSBvZiB0aGVzZSBvcGVyYXRvcnMg SSd2ZSBhbHJlYWR5IGNoYW5nZWQgaXQgdG8KPiA+IGhhdmUgdGhlIHNhbWUgdGhpbmcgYXMgdGhl IG9yaWdpbmFsIHN5bnRheC4KPgo+IEJ5IHRoZSB3YXksIHdoaWNoIGFyZSB0aGUgZml4aXR5IGFu ZCBhc3NvY2lhdGl2aXR5IG9mIGN1c3RvbSBvcGVyYXRvcnMKPiBpbiB0aGUgb3JpZ2luYWwgc3lu dGF4PwoKSW4gZmFjdCB0aGUgY29vbCB0aGluZyBpcyB0aGF0IHRoZSBydWxlIGlzIHJlYWxseSBz aW1wbGUsIGxvbmcKb3BlcmF0b3JzIGhhdmUgdGhlIHNhbWUgYXNzb2NpYXRpdml0eSwgZml4aXR5 LCBwcmlvcml0eSBhcyB0aGUgd2VsbAprbm93biBwcmVmaXggb2YgaXQuCgpFeGFtcGxlOgoKK3wg aXMgbGlrZSArIChpbmZpeCwgbGVmdCBhc3NvYy4uLikKCjw9PiBpcyBsaWtlIDwKCiEqIGlzIGxp a2UgISAocHJlZml4KQoKKiovIGlzIGxpa2UgKiogKGluZml4LCByaWdodCBhc3NvYykKClNpbXBs ZSBubz8KCj4gPiBDb25jZXJuaW5nIHRoZSBiYWNrc2xhc2gsIEkgd2FudCB0byByZXN0b3JlIHRo ZSBwYXJlbnMgY29udmVudGlvbiB0bwo+ID4gZGVjbGFyZSB0aGVtIGFuZCB0aGVuIGZyZWUgdGhl IGJhY2tzbGFzaCBjaGFyYWN0ZXIgYW5kIG1ha2UgaXQKPiA+IGF2YWlsYWJsZSBpbiB0aGUgZGVm YXVsdCBsZXhlciAodXNlZnVsIGZvciBhbiBhc2NpaSBsYW1iZGEgZm9yCj4gPiBpbnN0YW5jZSku Cj4KPiBFcnIsIEkgbWF5IG5vdCB1bmRlcnN0YW5kLCBidXQgaXNuJ3QgImZ1biIgdGVyc2UgZW5v dWdoPyBPciBpcyBpdCBqdXN0Cj4gYW4gaWRlYSBmcm9tIEhhc2tlbGw/CgpJJ20gbm90IHRhbGtp bmcgYWJvdXQgdGhlIHJldmlzZWQgc3ludGF4IGl0c2VsZiBidXQgYWJvdXQgdGhlIHJldXNhYmxl CmNhbWxwNCBsZXhlciwgaW4gY2FzZSBvZiB1c2luZyB0aGUgY2FtbHA0IHBhcnNpbmcgc3lzdGVt LiBJZiBvbmUgd2FudAp0byBwYXJzZSBhIGxhbmd1YWdlIHdpdGggbGFtYmRhcyBhcyBiYWNrc2xh c2hzIChsaWtlIEhhc2tlbGwgYW5kCm90aGVycyBvbmUgY2FuIGRvIGl0KS4KCkkgdGhpbmsgYWxz byBhYm91dCBvcGVyYXRvcnMgbGlrZSBcLyBmb3IgT1IgYW5kIC9cIGZvciBBTkQuCgo+ID4gQXMg YmVmb3JlLCBmZWVsIGZyZWUgdG8gbWFrZSBjb21tZW50cyBvbiB0aGF0IChub3QgcmVhbGx5IHBh c3Npb25hdGluZykgc3ViamVjdC4KPgo+IEl0IHNob3VsZCBiZSA6IGFkZGluZyB1cCAibm90IHJl YWxseSBwYXNzaW9uYXRpbmciIHVwZ3JhZGVzIG1heSBsZWFkCj4gdG8gYSBxdWlldCByZXZvbHV0 aW9uLCBldmVudHVhbGx5LiA6KQo6KQoKLS0gCk5pY29sYXMgUG91aWxsYXJkCg==