Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2008-07-16 16:14:36 -0700 (Wed, 16 Jul 2008)
Revision: 13138
Log message:

      Update some of the utility files.

Changes  Path(relative to mpcompiler/util)
+7 -7 mm_arith_util.ml
+5 -5 mm_list_util.ml
+1 -1 mm_meta_util.ml
+13 -9 mm_tactic_util.ml

Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2008-07-16 20:01:40 -0700 (Wed, 16 Jul 2008)
Revision: 13139
Log message:

      Update to OCaml 3.10

Changes  Path(relative to mpcompiler)
Added mmc/MetaprlInfo
+2 -5 mmc/OMakefile
+8 -8 mmc/arch/x86/base/mmc_x86_asm.mli
+1 -1 mmc/arch/x86/base/mmc_x86_cc.mli
+1 -1 mmc/arch/x86/base/mmc_x86_util.mli
+2 -2 mmc/arch/x86/codegen/mmc_x86_alloc.mli
+2 -2 mmc/arch/x86/codegen/mmc_x86_closure.ml
+22 -22 mmc/arch/x86/codegen/mmc_x86_codegen.ml
+1 -2 mmc/arch/x86/codegen/mmc_x86_codegen.mli
+3 -3 mmc/arch/x86/codegen/mmc_x86_reserve.ml
+2 -4 mmc/arch/x86/codegen/mmc_x86_reserve.mli
+1 -1 mmc/arch/x86/opt/mmc_x86_dead.ml
+1 -1 mmc/arch/x86/opt/mmc_x86_dead.mli
+1 -1 mmc/arch/x86/opt/mmc_x86_opt.ml
+1 -1 mmc/arch/x86/opt/mmc_x86_opt.mli
+1 -1 mmc/arch/x86/regalloc/mmc_x86_convention.ml
+1 -2 mmc/arch/x86/regalloc/mmc_x86_convention.mli
+3 -3 mmc/arch/x86/regalloc/mmc_x86_slop.ml
+2 -2 mmc/arch/x86/regalloc/mmc_x86_slop.mli
+6 -6 mmc/arch/x86/runtime/x86_glue.s
+1 -1 mmc/arch/x86/type/mmc_x86_mterm.mli
+5 -5 mmc/arch/x86/type/mmc_x86_sweep.ml
+5 -7 mmc/arch/x86/type/mmc_x86_sweep.mli
+1 -1 mmc/arch/x86/type/mmc_x86_type_check.ml
+7 -7 mmc/arch/x86/type/mmc_x86_type_check_core.ml
+2 -2 mmc/arch/x86/type/mmc_x86_typeof.ml
+4 -4 mmc/core/mmc_core_ast.mli
+1 -1 mmc/core/mmc_core_closure.ml
+2 -2 mmc/core/mmc_core_cps.ml
+1 -1 mmc/core/mmc_core_cps.mli
+1 -1 mmc/core/mmc_core_front.mli
+2 -2 mmc/core/mmc_core_hoist.mli
+1 -1 mmc/core/mmc_core_mterm.mli
+1 -1 mmc/core/mmc_core_optimize.ml
+1 -1 mmc/core/mmc_core_optimize.mli
+11 -11 mmc/core/mmc_core_sweep.ml
+5 -7 mmc/core/mmc_core_sweep.mli
+12 -12 mmc/core/mmc_core_tast.mli
+2 -2 mmc/core/mmc_core_type_check.ml
+1 -1 mmc/core/mmc_core_type_erase.ml
+1 -1 mmc/core/mmc_core_type_erase.mli
+1 -1 mmc/core/mmc_core_type_infer.ml
+1 -1 mmc/core/mmc_core_typeof.ml
+2 -2 mmc/core/mmc_core_util.mli
+1 -1 mmc/extensions/array/mmc_ext_array.ml
+1 -1 mmc/extensions/bool/mmc_ext_bool.ml
+2 -2 mmc/extensions/bool/mmc_x86_bool.ml
+1 -1 mmc/extensions/int/mmc_ext_int.ml
+18 -18 mmc/extensions/int/mmc_x86_int.ml
+1 -1 mmc/extensions/loop/mmc_ext_loop.ml
+1 -1 mmc/extensions/operator/mmc_ext_operator.ml
+1 -1 mmc/extensions/ref/mmc_ext_ref.ml
+1 -1 mmc/extensions/sequence/mmc_ext_sequence.ml
+1 -1 mmc/extensions/special/mmc_ext_special.ml
+1 -1 mmc/extensions/special/mmc_x86_special.ml
+1 -1 mmc/extensions/string/mmc_ext_string.ml
+1 -1 mmc/extensions/string/mmc_x86_string.ml
+2 -2 mmc/extensions/tuple/mmc_ext_tuple.ml
+6 -6 mmc/extensions/tuple/mmc_x86_tuple.ml
+3 -3 mmc/extensions/tyexists/mmc_x86_tyexists.ml
+1 -1 mmc/extensions/unit/mmc_ext_unit.ml
+4 -4 mmc/lir/mmc_lir_closure_elim.ml
+1 -1 mmc/opt/base/mmc_meta_bool.ml
+1 -1 mmc/opt/base/mmc_meta_bool.mli
+1 -1 mmc/opt/dead/mmc_opt_dead.ml
+1 -1 mmc/opt/dead/mmc_opt_dead.mli
+1 -1 mmc/opt/inline/mmc_opt_const.mli
+1 -1 mmc/opt/inline/mmc_opt_inline.mli
+1 -1 mmc/opt/inline/mmc_opt_inline_base.ml
+4 -4 mmc/opt/inline/mmc_opt_inline_base.mli
Copied util/MetaprlInfo (from rev 13138, mpcompiler/util/OMakefile)
+2 -8 util/MetaprlInfo (from rev 13138, mpcompiler/util/OMakefile)
Deleted util/OMakefile