Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-06-26 15:47:34 -0700 (Thu, 26 Jun 2003)
Revision: 4689
Log message:
Added initial internal support for term patterns. It turns out
the previous method I suggested does not work because CamlP4
does not have "when" patterns.
Instead, we'll have to extend the grammar with a full
match expression. This is the syntax I envision:
matchterm t with
<< ... >> -> e1
| << ... >> -> e2
...
Changes | Path |
+2 -1 | metaprl/filter/filter/Files |
Added | metaprl/filter/filter/filter_patt.ml |
Properties | metaprl/filter/filter/filter_patt.ml |
Added | metaprl/filter/filter/filter_patt.mli |
Properties | metaprl/filter/filter/filter_patt.mli |