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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 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 D17A1BBC1 for ; Fri, 2 May 2008 19:02:48 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhICAOblGkjAXQIniGdsb2JhbACQL4E1AQEBDyCTf4VC X-IronPort-AV: E=Sophos;i="4.27,427,1204498800"; d="scan'208";a="25767594" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 02 May 2008 19:02:48 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m42H2jqD023644 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 2 May 2008 19:02:48 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYCAGDmGkhIDtyYc2dsb2JhbACQL4E1AQwDBAQJDwWTfIVC X-IronPort-AV: E=Sophos;i="4.27,427,1204498800"; d="scan'208";a="10326016" Received: from fg-out-1718.google.com ([72.14.220.152]) by mail2-smtp-roc.national.inria.fr with ESMTP; 02 May 2008 19:02:47 +0200 Received: by fg-out-1718.google.com with SMTP id 13so976235fge.25 for ; Fri, 02 May 2008 10:02:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; bh=lgWKSHQl1KxZgCgyfw3fbpYSkchRTJMsOHtvG+ImgH8=; b=PmBqSFAfr/bF4IH1Go8s1D1POWO0GmWOV0+XmcocmeZGKWBx+KLIpy1GbY9yxQmESBmmSUF9XNgPLn5labbxCYd/NGn/KqnCz9zujYDgE1fq11gmmrn4w/QSkD1QV/5EHhCqAdfC21r9iglGBEFHfgtXuk1dpZ+aKWzXpMiGTzM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=MYMx2993lK4FcfOejsk4wOFDgXVRoQ9BMeI7AVq7H/Fm/HJuuWdPDORrKZtK1JeQ1ue856cKrRigbftgEwE6U3eC+rb/Odmowbyx9zfOEBdOtiMxHPMQCa9JZJY4kLVOR7wtPOG12j/n+2sBY/gZ/Ar9n0YDqbOyXFz2X4GidvA= Received: by 10.86.53.8 with SMTP id b8mr5814598fga.5.1209747767591; Fri, 02 May 2008 10:02:47 -0700 (PDT) Received: by 10.86.61.6 with HTTP; Fri, 2 May 2008 10:02:46 -0700 (PDT) Message-ID: <1af89fca0805021002j26c78214m84b4a7adafb38ef@mail.gmail.com> Date: Fri, 2 May 2008 19:02:46 +0200 From: "=?ISO-8859-1?Q?Yann_R=E9gis-Gianas?=" Sender: yann.regisgianas@gmail.com To: "Robert Fischer" Subject: Re: [Caml-list] Should a /\ operator be possible? Cc: caml-list@inria.fr In-Reply-To: <481B24DB.5030709@FischerVenture.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: base64 Content-Disposition: inline References: <20080501194149.GA30095@annexia.org> <20080501212023.GA373@annexia.org> <481ADD86.3000802@frisch.fr> <481B24DB.5030709@FischerVenture.com> X-Google-Sender-Auth: 97b0010670a09d0b X-Miltered: at concorde with ID 481B4935.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; regis-gianas:01 regis-gianas:01 emacs:01 coq:01 forall:01 emacs:01 buffer:01 translated:01 frisch:01 ocaml:01 infix:01 tuareg:01 beginner's:01 ocaml:01 bug:01 Tm90ZSB0aGF0IGVtYWNzMjIgaGFzIGEgVGVYIGlucHV0IG1vZGUgd2hpY2ggZW5hYmxlcyB5b3Ug dG8gd3JpdGUgVGVYCmNvbW1hbmRzIGluc3RlYWQgb2YgdGVkaW91cyBudW1lcmljIGNvZGUuIEkg dXNlIGl0IGZvciBteSBDb3EKZGV2ZWxvcG1lbnQsIFxmb3JhbGwgaW4gdGhlIGVtYWNzIGJ1ZmZl ciBpcyB0cmFuc2xhdGVkIHRvIHRoZQpjb3JyZXNwb25kaW5nIHVuaWNvZGUgc3ltYm9sIG9uLXRo ZS1mbHkuCgpPbiBGcmksIE1heSAyLCAyMDA4IGF0IDQ6MjcgUE0sIFJvYmVydCBGaXNjaGVyCjxS b2JlcnRAZmlzY2hlcnZlbnR1cmUuY29tPiB3cm90ZToKPiBZZWFoLCBJIHZvdGUgYWdhaW5zdCBo YXZpbmcgdG8gdHlwZSBBbHQrbnVtYmVyIHRvIGVkaXQgc29tZW9uZSBlbHNlJ3MKPiAgY29kZS4g IEknZCByYXRoZXIgdGhhdCB3ZSBzdGFydCBhbGxvd2luZyBMYVRlWCBzeW1ib2xzIGluIG91ciBz b3VyY2UKPiAgYmVmb3JlIHdlIGFjdHVhbGx5IGhhdmUgdGhlIFVuaWNvZGUgc3ltYm9scyB0aGVt c2VsdmVzIGluIHRoZXJlLgo+Cj4gIE9oLCBhbmQgKzEgZm9yIGFjdHVhbGx5IHN1cHBvcnRpbmcg VW5pY29kZSBpbiBTdHJpbmcgcHJvY2Vzc2luZy4KPgo+ICB+fiBSb2JlcnQuCj4KPgo+Cj4gIEFs YWluIEZyaXNjaCB3cm90ZToKPiAgPiBSaWNoYXJkIEpvbmVzIHdyb3RlOgo+ICA+PiBJbiBmYWN0 IGNhbiB3ZSBvcGVuIHRoZSBkaXNjdXNzaW9uIGFib3V0IGNvbnZlcnRpbmcgT0NhbWwgc291cmNl IGZpbGVzCj4gID4+IGludG8gVVRGLTggYW5kIGFsbG93IF9sb3RzXyBtb3JlIHN5bWJvbHM/ICBl ZzoKPiAgPj4KPiAgPj4gICBsZXQgKOKIqikgPSAuLi4KPiAgPj4gICBsZXQgKOKKhikgPSAuLi4K PiAgPgo+ICA+IFNob3VsZG4ndCB0aGlzIGRlc2lyZSBvZiB1c2luZyBtYXRoZW1hdGljYWwgc3lt Ym9scyBiZSBhZGRyZXNzZWQgYXQKPiAgPiB0aGUgbGV2ZWwgb2YgeW91ciBlZGl0b3IgLyBJREUg aW5zdGVhZD8gIElmIHRoZSBsYW5ndWFnZSBhbGxvd2VkIHlvdQo+ICA+IHRvIGRlZmluZSBhbmQg dXNlIGFscGhhbnVtZXJpYyBpbmZpeCBvcGVyYXRvcnMgbGlrZToKPiAgPgo+ICA+ICAgbGV0IChg c3Vic2V0ZXFgKSA9IC4uLgo+ICA+ICAgaWYgKHggYHN1YnNldGVxYCB5KSB0aGVuIC4uLgo+ICA+ Cj4gID4gdGhlbiB5b3UgY291bGQgc2ltcGx5IGluZm9ybSB5b3VyIGVkaXRvciB0aGF0IGl0IHNo b3VsZCBkaXNwbGF5Cj4gID4gYHN1YnNldGVxYCBhcyDiioYuIFRoZSB0dWFyZWcgbW9kZSBhbHJl YWR5IGRvZXMgdGhpcyBraW5kIG9mCj4gID4gInN5bWJvbGlmaWNhdGlvbiIgb2Ygc29tZSBvcGVy YXRvcnMgbGlrZSAtPiAoZGlzcGxheWVkIGFzIGFuIGFycm93KQo+ICA+IGFuZCAnYSAoZGlzcGxh eSBhcyBhIEdyZWVrIGFscGhhKSBhbmQgaXQgc2hvdWxkbid0IGJlIHRvbyBkaWZmaWN1bHQgdG8K PiAgPiBleHRlbmQgdGhhdCB0byB1c2VyLWRlZmluZWQgb3BlcmF0b3JzLgo+ICA+Cj4gID4gLS0g QWxhaW4KPiAgPgo+ICA+IF9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fCj4gID4gQ2FtbC1saXN0IG1haWxpbmcgbGlzdC4gU3Vic2NyaXB0aW9uIG1hbmFnZW1l bnQ6Cj4gID4gaHR0cDovL3lxdWVtLmlucmlhLmZyL2NnaS1iaW4vbWFpbG1hbi9saXN0aW5mby9j YW1sLWxpc3QKPiAgPiBBcmNoaXZlczogaHR0cDovL2NhbWwuaW5yaWEuZnIKPiAgPiBCZWdpbm5l cidzIGxpc3Q6IGh0dHA6Ly9ncm91cHMueWFob28uY29tL2dyb3VwL29jYW1sX2JlZ2lubmVycwo+ ICA+IEJ1ZyByZXBvcnRzOiBodHRwOi8vY2FtbC5pbnJpYS5mci9iaW4vY2FtbC1idWdzCj4KPiAg X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KPiAgQ2FtbC1s aXN0IG1haWxpbmcgbGlzdC4gU3Vic2NyaXB0aW9uIG1hbmFnZW1lbnQ6Cj4gIGh0dHA6Ly95cXVl bS5pbnJpYS5mci9jZ2ktYmluL21haWxtYW4vbGlzdGluZm8vY2FtbC1saXN0Cj4gIEFyY2hpdmVz OiBodHRwOi8vY2FtbC5pbnJpYS5mcgo+ICBCZWdpbm5lcidzIGxpc3Q6IGh0dHA6Ly9ncm91cHMu eWFob28uY29tL2dyb3VwL29jYW1sX2JlZ2lubmVycwo+ICBCdWcgcmVwb3J0czogaHR0cDovL2Nh bWwuaW5yaWEuZnIvYmluL2NhbWwtYnVncwo+CgoKCi0tIApZYW5uIFLDqWdpcy1HaWFuYXMK