Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-05-17 19:37:03 -0700 (Mon, 17 May 2004)
Revision: 5787
Log message:

      Use dest_params instead of (List.map dest_param) and similar constructs.
      

Changes  Path
+4 -10 metaprl/filter/base/filter_ocaml.ml
+13 -17 metaprl/filter/base/filter_summary.ml
+7 -13 metaprl/filter/filter/filter_parse.ml
+7 -11 metaprl/refiner/reflib/ascii_io.ml
+1 -1 metaprl/refiner/refsig/term_base_minimal_sig.ml
+2 -6 metaprl/refiner/term_gen/term_man_gen.ml
+4 -4 metaprl/theories/experimental/compile/m_x86_term.ml
+28 -28 metaprl/theories/experimental/mcc/fir/type/m_fir_term.ml
+1 -1 metaprl/theories/experimental/mcc/fir/type/m_int.ml
+1 -1 metaprl/theories/experimental/mcc/fir/type/m_rawfloat.ml
+2 -3 metaprl/theories/experimental/mcc/fir/type/m_rawint.ml
+3 -3 metaprl/theories/experimental/mcc/fir/type/m_set.ml
+15 -36 metaprl/theories/phobos/phobos_base.ml