From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA16273; Wed, 11 Jul 2001 17:58:39 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA16265 for caml-list@pauillac.inria.fr; Wed, 11 Jul 2001 17:58:38 +0200 (MET DST) 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 JAA03133 for ; Wed, 11 Jul 2001 09:29:19 +0200 (MET DST) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f6B7TJX13242 for ; Wed, 11 Jul 2001 09:29:19 +0200 (MET DST) Received: from serveur-demons.lri.fr (serveur-demons [129.175.8.130]) by ext.lri.fr (8.11.1/jtpda-5.3.2) with ESMTP id f6B7TI511235 ; Wed, 11 Jul 2001 09:29:18 +0200 (MET DST) Received: from (marche@localhost) by serveur-demons.lri.fr (8.9.3/jtpda-5.3.2) id JAA06324 ; Wed, 11 Jul 2001 09:29:17 +0200 From: Claude Marche MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <15180.77.914785.127535@mailhost.lri.fr> Date: Wed, 11 Jul 2001 09:29:17 +0200 To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) Cc: Berke Durak , caml-list@inria.fr Subject: Re: [Caml-list] String.unescaped and some other little pitiful laments In-Reply-To: <15179.62514.324857.527417@pc803> References: <20010710200734.B10265@localhost.localdomain> <15179.62514.324857.527417@pc803> X-Mailer: VM 6.93 under Emacs 20.7.2 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi all, >>>>> "Jean-Christophe" == Jean-Christophe Filliatre writes: Jean-Christophe> Berke Durak writes: >> >> Also I'd like to see those horrible functions returning parameters in >> global variables be eradicated, such as those that can be found in the Str >> (regular expression) module. Is there a complete, typeful regular >> expression package entirely written in Ocaml ? Jean-Christophe> Yes, there is one by Claude Marché, available (in a very first Jean-Christophe> release) at: Jean-Christophe> http://www.lri.fr/~marche/tmp/regexp-0.1.tar.gz Jean-Christophe> (Documentation can be found in the .mli files) I made this small package quite recently, entirely in Caml because I needed to do so. But with respect to Str and Pcre, several features are missing. If there is enough demand I may add such features in the future. I added to the Web page the documentation (generated with ocamlweb, http://www.lri.fr/~filliatr/ocamlweb/) in HTML, PDF and PS format. See http://www.lri.fr/~marche/regexp - Claude -- | Claude Marché | mailto:Claude.Marche@lri.fr | | LRI - Bât. 490 | http://www.lri.fr/~marche/ | | Université de Paris-Sud | phoneto: +33 1 69 15 64 85 | | F-91405 ORSAY Cedex | faxto: +33 1 69 15 65 86 | ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr