Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-09-12 10:21:47 -0700 (Fri, 12 Sep 1997)
Revision: 2066
Log message:

      Added MLast <-> term conversion.
      Splitting filter_parse into two phases:
         1. Compile into Filter_summary
         2. Compile Filter_summary into code.
      

Changes  Path
+1 -0 metaprl/filter/Makefile
+15 -2 metaprl/filter/filter_cache.ml
Added metaprl/filter/filter_ocaml.ml
Properties metaprl/filter/filter_ocaml.ml
Added metaprl/filter/filter_ocaml.mli
Properties metaprl/filter/filter_ocaml.mli
+323 -108 metaprl/filter/filter_parse.ml
+185 -93 metaprl/filter/filter_summary.ml
+11 -1 metaprl/filter/filter_summary.mli
+15 -2 metaprl/filter/filter_summary_type.mlz
+34 -0 metaprl/refiner/rewrite.ml
+21 -0 metaprl/refiner/simple_print.ml
+186 -6 metaprl/refiner/term.ml
+23 -0 metaprl/refiner/term.mli
+40 -21 metaprl/refiner/term_stable.ml
+42 -23 metaprl/refiner/term_template.ml