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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 0F4B5BB9C for ; Wed, 23 Nov 2005 15:37:32 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jANEbV4w023317 for ; Wed, 23 Nov 2005 15:37:31 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA04554 for ; Wed, 23 Nov 2005 15:37:31 +0100 (MET) Received: from net.univ-savoie.fr (net.univ-savoie.fr [193.48.120.75]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jANEbUR8011269 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO); Wed, 23 Nov 2005 15:37:30 +0100 Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by net.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id jANEbReo020992 ; Wed, 23 Nov 2005 15:37:27 +0100 Received: from [193.48.123.45] (d45.lama.univ-savoie.fr [193.48.123.45]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id jANEbNQb021282 ; Wed, 23 Nov 2005 15:37:24 +0100 Message-ID: <43847EA8.7080403@univ-savoie.fr> Date: Wed, 23 Nov 2005 15:37:28 +0100 From: Christophe Raffalli User-Agent: Mozilla Thunderbird 1.0.6 (X11/20050716) X-Accept-Language: fr, en MIME-Version: 1.0 To: Luc Maranget Cc: caml-list Subject: Re: [Caml-list] Request for complete pattern matching References: <43839F1A.2080909@univ-savoie.fr> <20051123055405.GB2035@yquem.inria.fr> In-Reply-To: <20051123055405.GB2035@yquem.inria.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Miltered: at concorde with ID 43847EAB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43847EAA.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 caml-list:01 expr:01 expr:01 --luc:01 maranget:01 chablais:01 73376:01 univ-savoie:01 lama:01 mutt:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 > > I do not get the idea either, can you be a bit more specific ? > I have more or less the feeling that > > match f with > pattern <= expr expr expr -> bonga > > means > > match f expr expr expr with > p -> bonga > This is true .... but how do you translate match e with S(P(g) <= 0) -> g | .... answer : match f with S(f) -> match f 0 with P(g) -> ... | ... and as you see the "..." are duplicated !!! you can get an exponential explosion in the size of the program. The you have to give names to value in the "..." and you get very ugly programs ... > Thus I hardly seen your point. > > --Luc Maranget -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution can check this signature. The public key is stored on www.keyserver.net ---------------------------------------------