Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-26 18:19:15 -0800 (Wed, 26 Nov 2003)
Revision: 5128
Log message:

      Use a pa_macro package (loosely based on the pa_macro module from the
      OCaml 3.07 distribution) instead of Eli's macro package.
      
      (This was backported from the ocaml_3_07 branch).
      

Changes  Path
+9 -21 metaprl/Makefile
+6 -7 metaprl/OMakefile
+1 -1 metaprl/lib/Makefile
+1 -1 metaprl/mk/preface
+2 -2 metaprl/mk/rules
+1 -1 metaprl/mllib/OMakefile
+3 -3 metaprl/refiner/OMakefile
+2 -1 metaprl/refiner/refbase/Files
+1 -0 metaprl/refiner/refbase/Makefile
Added metaprl/refiner/refbase/seq_set.ml
Properties metaprl/refiner/refbase/seq_set.ml
Added metaprl/refiner/refbase/seq_set.mli
Properties metaprl/refiner/refbase/seq_set.mli
+3 -3 metaprl/refiner/refiner/refine.ml
Deleted metaprl/refiner/refsig/refine_error.h
+3 -5 metaprl/refiner/refsig/refine_error.mlh
+120 -123 metaprl/refiner/refsig/term_hash_sig.ml
Properties metaprl/refiner/rewrite
+0 -2 metaprl/refiner/rewrite/Files
+5 -4 metaprl/refiner/rewrite/Makefile
+1 -6 metaprl/refiner/rewrite/OMakefile
+7 -7 metaprl/refiner/rewrite/rewrite.ml
+6 -12 metaprl/refiner/rewrite/rewrite_build_contractum.ml
+7 -13 metaprl/refiner/rewrite/rewrite_build_contractum.mli
+6 -9 metaprl/refiner/rewrite/rewrite_compile_contractum.ml
+6 -10 metaprl/refiner/rewrite/rewrite_compile_contractum.mli
+7 -9 metaprl/refiner/rewrite/rewrite_compile_redex.ml
+8 -10 metaprl/refiner/rewrite/rewrite_compile_redex.mli
+1 -5 metaprl/refiner/rewrite/rewrite_debug.ml
+6 -10 metaprl/refiner/rewrite/rewrite_debug.mli
+8 -12 metaprl/refiner/rewrite/rewrite_match_redex.ml
+7 -11 metaprl/refiner/rewrite/rewrite_match_redex.mli
+5 -5 metaprl/refiner/rewrite/rewrite_meta.ml
+5 -6 metaprl/refiner/rewrite/rewrite_meta.mli
+10 -29 metaprl/refiner/rewrite/rewrite_types.ml
Deleted metaprl/refiner/rewrite/rewrite_types.mli
+4 -2 metaprl/refiner/rewrite/rewrite_util.ml
+5 -4 metaprl/refiner/rewrite/rewrite_util.mli
+55 -66 metaprl/refiner/term_ds/term_addr_ds.ml
+8 -8 metaprl/refiner/term_ds/term_base_ds.ml
+2 -2 metaprl/refiner/term_ds/term_ds.ml
+2 -2 metaprl/refiner/term_ds/term_ds_sig.ml
+9 -9 metaprl/refiner/term_ds/term_subst_ds.ml
+54 -60 metaprl/refiner/term_gen/term_addr_gen.ml
+2 -2 metaprl/refiner/term_std/term_base_std.ml
+2 -2 metaprl/refiner/term_std/term_std.ml
+2 -2 metaprl/refiner/term_std/term_std_sig.ml
+6 -6 metaprl/refiner/term_std/term_subst_std.ml
+27 -16 metaprl/util/Makefile
+15 -10 metaprl/util/OMakefile
+2 -2 metaprl/util/check-status
Deleted metaprl/util/macro.ml
Added metaprl/util/macro_main.ml
Properties metaprl/util/macro_main.ml
Added metaprl/util/pa_macro.ml
Properties metaprl/util/pa_macro.ml