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.0 required=5.0 tests=AWL,HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 3A527BC69 for ; Mon, 28 May 2007 20:23:45 +0200 (CEST) Received: from wa-out-1112.google.com (wa-out-1112.google.com [209.85.146.182]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4SINhPm017440 for ; Mon, 28 May 2007 20:23:44 +0200 Received: by wa-out-1112.google.com with SMTP id m28so682647wag for ; Mon, 28 May 2007 11:23:43 -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:references; b=fFCTx9J023eoQt+DsMgfk62VZnSx9dNg1jArCRPCBimwc56BJ0um3529MQsEiHDuBNO2fwuly5oZRlQ7RZtMoiVwbJqbbLARmO9JpHOQh2JeqnDKSwvVwwrDio4GsCeFjRJT3Fq/9kmf3GbPuApPG6t0gIT7LRl71RuNQ0nuAXQ= 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:references; b=phJ3D8nWo+uqaBl/kVIXfQk3wzNlyQ/zS/ogXzMVma6zVZxde7CkeoeSnPKlQWB20ob6L+UA0psxmev0SNVfF3jWwunRw1eR7tbayzqJKvc03MmgEGJ3Gp7Pm4AHOF/0gcVC22w7c4EJxI8nG9KfbbRr25avSCxYvgfFF8spfto= Received: by 10.114.155.1 with SMTP id c1mr3040510wae.1180376623208; Mon, 28 May 2007 11:23:43 -0700 (PDT) Received: by 10.114.179.4 with HTTP; Mon, 28 May 2007 11:23:43 -0700 (PDT) Message-ID: <765e2be00705281123u5f90fd5o6d935952c88d8cc2@mail.gmail.com> Date: Mon, 28 May 2007 20:23:43 +0200 From: Mehdi To: "Jean-Christophe Filliatre" Subject: Re: [Caml-list] How can I have a string matched my custom type? Cc: jeremy , caml-list In-Reply-To: <18011.6735.85307.153103@serveur9-10.lri.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_12813_8599392.1180376623111" References: <200505282346008070041@gmail.com> <18010.65522.31165.647915@serveur9-10.lri.fr> <765e2be00705281054h4f77a584y1f12f15c7bd0d284@mail.gmail.com> <18011.6735.85307.153103@serveur9-10.lri.fr> X-j-chkmail-Score: MSGID : 465B1E2F.001 on discorde : j-chkmail score : XXXX : 0/20 4 0.000 -> 4 X-Miltered: at discorde with ID 465B1E2F.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; val:01 expr:01 genlex:01 expr:01 failwith:01 syntax:01 val:01 genlex:01 failwith:01 W8:98 W10:98 W8:98 W10:98 wrote:01 wrote:01 X-Attachments: cset="UTF-8" cset="UTF-8" ------=_Part_12813_8599392.1180376623111 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 Content-Disposition: inline PiA+IFRoZXJlIGEgbGl0dGxlIHByb2JsZW0gd2hlbiB5b3UgdHJ5IHRvIGNvbXB1dGUKPiA+Cj4g PiA+IGxldCBlID0gcGFyc2UgIjEqMy0yIjs7Cj4gPgo+ID4KPiA+IEkgZ2V0IDoKPiA+Cj4gPiA+ ICB2YWwgZSA6IGV4cHIgPSBUaW1lcyAoVmFsdWUgIjEiLCBWYWx1ZSAiMyIpCj4KPiBUaGlzIGlz IGEgR2VubGV4IGxpbWl0YXRpb24uICItMiIgaXMgcmVjb2duaXplZCBhcyBhbiBpbnRlZ2VyCj4g Y29uc3RhbnQuIFRodXMgeW91IG5lZWQgdG8gYWRkIGV4dHJhIHNwYWNlOgo+Cj4gPT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PQo+ICMgcGFyc2UgIjEqMyAtIDIiOzsKPiAtIDogZXhwciA9IE1pbnVzIChUaW1lcyAoVmFs dWUgIjEiLCBWYWx1ZSAiMyIpLCBWYWx1ZSAiMiIpCj4gPT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQoKCm9rCgo+IEkg YWxzbyBkaWRuJ3QgdW5kZXJzdGFuZCB3aHkgdGhlcmUgaXMgdGhpcyBpbiAidGVybSIgOgo+ID4K PiA+ID4gICAgfCBfIC0+IGYKPiA+ID4gICAgfCBfIC0+IGZhaWx3aXRoICJzeW50YXggZXJyb3Ii Cj4KPiBTaW1wbHkgYmVjYXVzZSBJIHdyb3RlIHRoaXMgY29kZSBpbiBhIHJ1c2ggOi0pIEZvcmdl dCBhYm91dCB0aGUgbGFzdAo+IGxpbmUuCgoKSSB0aG91Z2h0IGl0IHdhcyBzb21ldGhpbmcgb2Jz Y3VyIGJlaGluZCB0aGVzZSB0d28gbGluZXMgOikKdGhhbmtzIGZvciB0aGUgcXVpY2sgYW5zd2Vy CgotLSAKTWVoZGkgRG9nZ3V5CtmF2YfYr9mKINin2YTYr9qk2YoK ------=_Part_12813_8599392.1180376623111 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: base64 Content-Disposition: inline PGJyPjxkaXY+PGJsb2NrcXVvdGUgY2xhc3M9ImdtYWlsX3F1b3RlIiBzdHlsZT0iYm9yZGVyLWxl ZnQ6IDFweCBzb2xpZCByZ2IoMjA0LCAyMDQsIDIwNCk7IG1hcmdpbjogMHB0IDBwdCAwcHQgMC44 ZXg7IHBhZGRpbmctbGVmdDogMWV4OyI+Jmd0OyBUaGVyZSBhIGxpdHRsZSBwcm9ibGVtIHdoZW4g eW91IHRyeSB0byBjb21wdXRlPGJyPiAmZ3Q7PGJyPiAmZ3Q7ICZndDsgbGV0IGUgPSBwYXJzZSAm cXVvdDsxKjMtMiZxdW90Ozs7Cjxicj4gJmd0Ozxicj4gJmd0Ozxicj4gJmd0OyBJIGdldCA6PGJy PiAmZ3Q7PGJyPiAmZ3Q7ICZndDsmbmJzcDsmbmJzcDt2YWwgZSA6IGV4cHIgPSBUaW1lcyAoVmFs dWUgJnF1b3Q7MSZxdW90OywgVmFsdWUgJnF1b3Q7MyZxdW90Oyk8YnI+PGJyPlRoaXMgaXMgYSBH ZW5sZXggbGltaXRhdGlvbi4gJnF1b3Q7LTImcXVvdDsgaXMgcmVjb2duaXplZCBhcyBhbiBpbnRl Z2VyPGJyPmNvbnN0YW50LiBUaHVzIHlvdSBuZWVkIHRvIGFkZCBleHRyYSBzcGFjZToKPGJyPjxi cj49PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PGJyPiMgcGFyc2UgJnF1b3Q7MSozIC0gMiZxdW90Ozs7PGJyPi0gOiBl eHByID0gTWludXMgKFRpbWVzIChWYWx1ZSAmcXVvdDsxJnF1b3Q7LCBWYWx1ZSAmcXVvdDszJnF1 b3Q7KSwgVmFsdWUgJnF1b3Q7MiZxdW90Oyk8YnI+PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQo8L2Jsb2NrcXVvdGU+ PGRpdj48YnI+b2sgPGJyPjwvZGl2Pjxicj48YmxvY2txdW90ZSBjbGFzcz0iZ21haWxfcXVvdGUi IHN0eWxlPSJib3JkZXItbGVmdDogMXB4IHNvbGlkIHJnYigyMDQsIDIwNCwgMjA0KTsgbWFyZ2lu OiAwcHQgMHB0IDBwdCAwLjhleDsgcGFkZGluZy1sZWZ0OiAxZXg7Ij4gJmd0OyBJIGFsc28gZGlk biYjMzk7dCB1bmRlcnN0YW5kIHdoeSB0aGVyZSBpcyB0aGlzIGluICZxdW90O3Rlcm0mcXVvdDsg Ogo8YnI+ICZndDs8YnI+ICZndDsgJmd0OyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwO3wgXyAtJmd0 OyBmPGJyPiAmZ3Q7ICZndDsmbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDt8IF8gLSZndDsgZmFpbHdp dGggJnF1b3Q7c3ludGF4IGVycm9yJnF1b3Q7PGJyPjxicj5TaW1wbHkgYmVjYXVzZSBJIHdyb3Rl IHRoaXMgY29kZSBpbiBhIHJ1c2ggOi0pIEZvcmdldCBhYm91dCB0aGUgbGFzdDxicj5saW5lLjwv YmxvY2txdW90ZT48ZGl2Pjxicj5JIHRob3VnaHQgaXQgd2FzIHNvbWV0aGluZyBvYnNjdXIgYmVo aW5kIHRoZXNlIHR3byBsaW5lcyA6KQo8YnI+IDwvZGl2PjwvZGl2PnRoYW5rcyBmb3IgdGhlIHF1 aWNrIGFuc3dlcjxiciBjbGVhcj0iYWxsIj48YnI+LS0gPGJyPk1laGRpIERvZ2d1eTxicj7ZhdmH 2K/ZiiDYp9mE2K/apNmKPGJyPgo= ------=_Part_12813_8599392.1180376623111--