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 UAA19167; Wed, 11 Jul 2001 20:03:17 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA19157 for ; Wed, 11 Jul 2001 20:03:16 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f6BI3F902138; Wed, 11 Jul 2001 20:03:15 +0200 (MET DST) Received: (from vouillon@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA18912; Wed, 11 Jul 2001 20:03:15 +0200 (MET DST) Date: Wed, 11 Jul 2001 20:03:14 +0200 From: Jerome Vouillon To: Jean-Christophe Filliatre Cc: Berke Durak , caml-list@inria.fr Subject: Re: [Caml-list] String.unescaped and some other little pitiful laments Message-ID: <20010711200314.A19076@pauillac.inria.fr> References: <20010710200734.B10265@localhost.localdomain> <15179.62514.324857.527417@pc803> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 1.0i In-Reply-To: <15179.62514.324857.527417@pc803>; from Jean-Christophe.Filliatre@lri.fr on Wed, Jul 11, 2001 at 08:37:38AM +0200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, Jul 11, 2001 at 08:37:38AM +0200, Jean-Christophe Filliatre wrote: > > 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 ? > > Yes, there is one by Claude Marché, available (in a very first > release) at: > > http://www.lri.fr/~marche/tmp/regexp-0.1.tar.gz > > (Documentation can be found in the .mli files) We also implemented a regular expression module for Unison, as the standard one (Str) was unusably slow. It has a similar interface to the one by Claude Marché, but it is more complete: it support almost all Posix extended regular expression (only collating sequences are missing), filename globbing, case insensitive matching, and boolean operations (union, intersection and difference) on regular expression. Both implementation have the disavantage of not supporting submatches, though. It would be interesting to compare their perfomances. The sources are a stand-alone subset (files src/rx.ml and src/rx.mli) of the sources of Unison (available from http://www.cis.upenn.edu/~bcpierce/unison/index.html). -- Jerome ------------------- 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