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.4 required=5.0 tests=HTML_MESSAGE,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 5ED01BC69 for ; Mon, 28 May 2007 19:54:42 +0200 (CEST) Received: from wa-out-1112.google.com (wa-out-1112.google.com [209.85.146.177]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4SHsf88009457 for ; Mon, 28 May 2007 19:54:41 +0200 Received: by wa-out-1112.google.com with SMTP id m28so680252wag for ; Mon, 28 May 2007 10:54:40 -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=uIwqpiIFj1y1gr9ge5vxNuInjw2weCAil49mMNHVa7MEzILfQlUKElQUxv1PGT04kErgRycsyDWZOmbWmHaxHsibNh052Hoe5RUDtFur7ioDCInGpUMDcya1VYgN376eLO4pvnZcvot4INg7zg8y+tXgrczTcCHl45fk9dxGqVE= 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=nzzDezmWS9bDdNUhkXx94jbW2CdgmZN9E5GtQVH7tvkXrwiQEX1DuDumIPxxXCEV98hWALy1LgKeEGJBngvkm9I8z2bhs5j93n9+7NPWnVW5ktXIvUsNQWbvKOg8kK00C+cN32j2rkvcuadxNTWwWFDxtKyjubIl/O8QTUebG7s= Received: by 10.114.120.1 with SMTP id s1mr3017413wac.1180374880523; Mon, 28 May 2007 10:54:40 -0700 (PDT) Received: by 10.114.179.4 with HTTP; Mon, 28 May 2007 10:54:40 -0700 (PDT) Message-ID: <765e2be00705281054h4f77a584y1f12f15c7bd0d284@mail.gmail.com> Date: Mon, 28 May 2007 19:54:40 +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: <18010.65522.31165.647915@serveur9-10.lri.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_12589_25904211.1180374880478" References: <200505282346008070041@gmail.com> <18010.65522.31165.647915@serveur9-10.lri.fr> X-j-chkmail-Score: MSGID : 465B1761.000 on discorde : j-chkmail score : XXX : 0/20 3 0.000 -> 3 X-Miltered: at discorde with ID 465B1761.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; val:01 expr:01 genlex:01 failwith:01 syntax:01 val:01 expr:01 genlex:01 failwith:01 W8:98 W10:98 W8:98 W10:98 caml-list:01 matched:01 X-Attachments: cset="UTF-8" cset="UTF-8" ------=_Part_12589_25904211.1180374880478 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 Content-Disposition: inline VGhlcmUgYSBsaXR0bGUgcHJvYmxlbSB3aGVuIHlvdSB0cnkgdG8gY29tcHV0ZQoKPiBsZXQgZSA9 IHBhcnNlICIxKjMtMiI7OwoKCkkgZ2V0IDoKCj4gIHZhbCBlIDogZXhwciA9IFRpbWVzIChWYWx1 ZSAiMSIsIFZhbHVlICIzIikKPgoKSSBkaWRuJ3QgdW5kZXJzdGFuZCB3aHkgaXQgZm9yZ2V0cyB0 byAibWludXMgMiIgYXQgdGhlIGVuZC4gQXMgSSdtIG5vdApmYW1pbGlhciB3aXRoIEdlbmxleCwg Y2FuIGFueW9uZSB0ZWxsIG1lIHdoeSBpc24ndCB3b3JraW5nID8KQW0gSSBtaXNzaW5nIHNvbWVz dGhpbmcgPwoKSSBhbHNvIGRpZG4ndCB1bmRlcnN0YW5kIHdoeSB0aGVyZSBpcyB0aGlzIGluICJ0 ZXJtIiA6Cgo+ICAgIHwgXyAtPiBmCj4gICAgfCBfIC0+IGZhaWx3aXRoICJzeW50YXggZXJyb3Ii CgoKCi0tIApNZWhkaSBEb2dndXkK2YXZh9iv2Yog2KfZhNiv2qTZigo= ------=_Part_12589_25904211.1180374880478 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: base64 Content-Disposition: inline VGhlcmUgYSBsaXR0bGUgcHJvYmxlbSB3aGVuIHlvdSB0cnkgdG8gY29tcHV0ZSA8YnI+CjxibG9j a3F1b3RlIHN0eWxlPSJib3JkZXItbGVmdDogMXB4IHNvbGlkIHJnYigyMDQsIDIwNCwgMjA0KTsg bWFyZ2luOiAwcHQgMHB0IDBwdCAwLjhleDsgcGFkZGluZy1sZWZ0OiAxZXg7IiBjbGFzcz0iZ21h aWxfcXVvdGUiPmxldCBlID0gcGFyc2UgJnF1b3Q7MSozLTImcXVvdDs7OzwvYmxvY2txdW90ZT4K PGRpdj48YnI+CkkgZ2V0IDo8YnI+CjxibG9ja3F1b3RlIHN0eWxlPSJib3JkZXItbGVmdDogMXB4 IHNvbGlkIHJnYigyMDQsIDIwNCwgMjA0KTsgbWFyZ2luOiAwcHQgMHB0IDBwdCAwLjhleDsgcGFk ZGluZy1sZWZ0OiAxZXg7IiBjbGFzcz0iZ21haWxfcXVvdGUiPiZuYnNwO3ZhbCBlIDogZXhwciA9 IFRpbWVzIChWYWx1ZSAmcXVvdDsxJnF1b3Q7LCBWYWx1ZSAmcXVvdDszJnF1b3Q7KTxicj4KPC9i bG9ja3F1b3RlPgo8L2Rpdj48YnI+SSBkaWRuJiMzOTt0IHVuZGVyc3RhbmQgd2h5IGl0IGZvcmdl dHMgdG8gJnF1b3Q7bWludXMgMiZxdW90OyBhdCB0aGUgZW5kLiBBcyBJJiMzOTttCm5vdCBmYW1p bGlhciB3aXRoIEdlbmxleCwgY2FuIGFueW9uZSB0ZWxsIG1lIHdoeSBpc24mIzM5O3Qgd29ya2lu ZyA/PGJyPgpBbSBJIG1pc3Npbmcgc29tZXN0aGluZyA/PGJyPjxicj5JIGFsc28gZGlkbiYjMzk7 dCB1bmRlcnN0YW5kIHdoeSB0aGVyZSBpcyB0aGlzIGluICZxdW90O3Rlcm0mcXVvdDsgOjxicj48 YmxvY2txdW90ZSBzdHlsZT0iYm9yZGVyLWxlZnQ6IDFweCBzb2xpZCByZ2IoMjA0LCAyMDQsIDIw NCk7IG1hcmdpbjogMHB0IDBwdCAwcHQgMC44ZXg7IHBhZGRpbmctbGVmdDogMWV4OyIgY2xhc3M9 ImdtYWlsX3F1b3RlIj4KICZuYnNwOyZuYnNwOyB8IF8gLSZndDsgZjxicj4gJm5ic3A7ICZuYnNw O3wgXyAtJmd0OyBmYWlsd2l0aCAmcXVvdDtzeW50YXggZXJyb3ImcXVvdDs8L2Jsb2NrcXVvdGU+ PGRpdj4mbmJzcDs8YnI+PC9kaXY+PGRpdj48YnI+PC9kaXY+LS0gPGJyPk1laGRpIERvZ2d1eTxi cj7ZhdmH2K/ZiiDYp9mE2K/apNmKPGJyPgo= ------=_Part_12589_25904211.1180374880478--