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