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