Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
General-purpose extensions to OCaml pattern-matching facilities
OCaml
tree: f5fad75214

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
applications
CHANGES
COPYING
Makefile
OCamlMakefile
README
VERSION
patterns.ml
traverse.ml
traverse.mli

README

Note: you'll need OCaml 3.10.x to compile `patterns'.

Typing `make' in this directory should build object files traverse.cmo
and patterns.cmo, which form a framework for writing extensions to
pattern-matching using Camlp4.  Typing `make' in the applications
directory then builds a number of extensions which use the framework
to extend OCaml pattern matching.

For example, once you've built the framework and the applications, you
can use the pa_lazy extension in applications/lazy to extend OCaml
with "lazy patterns" (i.e. pattern matching against lazy values).  If
you have a source file "source.ml" which uses lazy patterns then you
can compile it as follows:

   ocamlc -pp 'camlp4of traverse.cmo patterns.cmo pa_lazy.cmo' source.ml

or, to see the output,

   camlp4of traverse.cmo patterns.cmo pa_lazy.cmo source.ml

If you'd like to check that everything is working, you can run 

   make test

in the applications directory.

Documentation for using `patterns' is available at 

   http://code.google.com/p/ocaml-patterns/

Comments are very welcome.

Jeremy Yallop
jeremy.yallop@ed.ac.uk
Something went wrong with that request. Please try again.