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 ECEA4BB9C for ; Tue, 22 Nov 2005 23:43:46 +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 jAMMhkO9032018 for ; Tue, 22 Nov 2005 23:43:46 +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 XAA23358 for ; Tue, 22 Nov 2005 23:43:46 +0100 (MET) Received: from smtp.cegetel.net (217-19-192-72.dti.cegetel.net [217.19.192.72]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jAMMhjEs001821 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Tue, 22 Nov 2005 23:43:45 +0100 Received: from [192.168.144.2] (84-4-34-78.adslgp.cegetel.net [84.4.34.78]) by smtp.cegetel.net (Postfix) with ESMTP id 08FBC1A4776; Tue, 22 Nov 2005 23:43:43 +0100 (CET) Message-ID: <43839F1A.2080909@univ-savoie.fr> Date: Tue, 22 Nov 2005 23:43:38 +0100 From: Christophe Raffalli User-Agent: Mozilla Thunderbird 1.0.7 (X11/20051017) X-Accept-Language: fr, en MIME-Version: 1.0 To: caml-list Subject: Request for complete pattern matching X-Enigmail-Version: 0.93.0.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig2284F205E41A5E8ECA816C6E" X-Miltered: at concorde with ID 43839F22.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43839F21.001 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 lazy:01 lazy:01 camlp:01 expr:01 expr:01 syntax:01 constructor:01 constructor:01 matched:01 matched:01 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" 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 This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enig2284F205E41A5E8ECA816C6E Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit - Lazy constructor and function can not be matched ... and this is ennoying I saw a post recently about lazy constructor and I can not write the camlp4 extension I want because of the second limitation ... It may be not clear what I mean by matching a function (looks impossible ;-). I mean something like pattern <= expr expr expr is a pattern and a function f is matched by p <= e1 ... eN iff f e1 ... eN is matched by p (I do not care about the final syntax ...) -- I know there is a BIG problem of ambiguity in the evaluation order for complex pattern matching ... The user should be warned about that. But this would not be a problem for the application I have in mind. Christophe Raffalli --------------enig2284F205E41A5E8ECA816C6E Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (GNU/Linux) Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org iQIVAwUBQ4OfHZEBCSatcik9AQIVHg/+Mz+xaYrwkAA3KhMtkmzkl3FUdZDrvqdg cwDbpKYgHleO2poBIZR7pSoDp+Uq+kqLWmWy4ZL8eDpuEuUsXMHcqyCGLNGZOy+9 5bPCZsAJopqBjrWIueGk3c5cURoizsVtPzw7NwmO2xSYhV8Hz3dWdKTvWstIylyu COBbniWYrrk0hv/dMOSaI/AsbO7u/YYNzTJ8nWuCqxHs8v+SKYNQLGO2HZEjejrp yHjG4vxQt7dH1HOfK4m5NA7QllGd31ZeR9b9ZWyJ6oCperb7x1G2mbE5pQeI0ygR Q8gUpXhJqf+DO7NXH/qevvF1Kqzb0DDlt0RN8ZOAMDIdXotxpYxHNv8bD9/WKkG1 IO4bHZU/T1sZjXXpqP+8o+s9sfhucp3eRKWh/9ptpdJt8IKMCatWZohno0z13sPz j3MM5/RSaHTELcgZd3uPitBl8e/EfSnD+F3b4iIiFxyS6HVs1kSIHSybc9nIGH3D 3ebaQumxOOoiiyyMJW9m2eBHlOvRHYAfRxiMeLy5dhakn0HCG3tLCXh/YpDMQWfR s6ZycZsNOOIIRDqQtcW5H7t+BCg/lVZ3atAd7Qn8LblE0DlGUhhblBSeYzKpuUny BTvNNUidNuumBnKWKSwjXSRG1GzmXUs2C2cB8/W6b4hRHJv96J68BmvQDtPt6BNF WX1Iq+hxkTc= =CjaQ -----END PGP SIGNATURE----- --------------enig2284F205E41A5E8ECA816C6E--