Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-05 19:49:45 -0700 (Mon, 05 Apr 2004)
Revision: 5609
Log message:

      Removed core/mmc_core_util, and split it into util/mmc_tactic_util
      and util/mmc_dform_util.  These utilities were never specific to
      the core.
      
      Converting the backend to use the standard definition of recursive
      functions.  Not finished yet.
      

Changes  Path
Properties mpcompiler/mmc
+24 -3 mpcompiler/mmc/arch/x86/mmc_x86_asm.ml
+6 -1 mpcompiler/mmc/arch/x86/mmc_x86_asm.mli
+6 -8 mpcompiler/mmc/arch/x86/mmc_x86_backend.ml
+4 -4 mpcompiler/mmc/arch/x86/mmc_x86_closure.ml
+21 -20 mpcompiler/mmc/arch/x86/mmc_x86_codegen.ml
+1 -1 mpcompiler/mmc/arch/x86/mmc_x86_convention.ml
+1 -1 mpcompiler/mmc/arch/x86/mmc_x86_dead.ml
+1 -1 mpcompiler/mmc/arch/x86/mmc_x86_frame.ml
+1 -1 mpcompiler/mmc/arch/x86/mmc_x86_opt1.ml
+1 -1 mpcompiler/mmc/arch/x86/mmc_x86_prologue.ml
+1 -1 mpcompiler/mmc/arch/x86/mmc_x86_slop.ml
+2 -2 mpcompiler/mmc/arch/x86/mmc_x86_spill.ml
+0 -1 mpcompiler/mmc/core/Files
+2 -1 mpcompiler/mmc/core/mmc_core_ast.ml
+0 -57 mpcompiler/mmc/core/mmc_core_base.ml
+0 -13 mpcompiler/mmc/core/mmc_core_base.mli
+1 -1 mpcompiler/mmc/core/mmc_core_closure.ml
+1 -1 mpcompiler/mmc/core/mmc_core_cps.ml
+1 -1 mpcompiler/mmc/core/mmc_core_def.ml
+2 -2 mpcompiler/mmc/core/mmc_core_name.ml
+1 -1 mpcompiler/mmc/core/mmc_core_optimize.ml
+1 -1 mpcompiler/mmc/core/mmc_core_reserve.ml
+4 -3 mpcompiler/mmc/core/mmc_core_tast.ml
+1 -1 mpcompiler/mmc/core/mmc_core_theory.ml
+2 -2 mpcompiler/mmc/core/mmc_core_type_erase.ml
+1 -1 mpcompiler/mmc/core/mmc_core_type_util.ml
Deleted mpcompiler/mmc/core/mmc_core_util.ml
Deleted mpcompiler/mmc/core/mmc_core_util.mli
+1 -1 mpcompiler/mmc/extensions/array/mmc_ext_array_x86.ml
+1 -0 mpcompiler/mmc/extensions/fix/mmc_ext_fix.ml
+5 -5 mpcompiler/mmc/extensions/fix/mmc_ext_fix_x86.ml
+1 -1 mpcompiler/mmc/main/mmc_theory.ml
+3 -1 mpcompiler/util/Files
Added mpcompiler/util/mm_dform_util.ml
Properties mpcompiler/util/mm_dform_util.ml
Added mpcompiler/util/mm_dform_util.mli
Properties mpcompiler/util/mm_dform_util.mli
Added mpcompiler/util/mm_tactic_util.ml
Properties mpcompiler/util/mm_tactic_util.ml
Added mpcompiler/util/mm_tactic_util.mli
Properties mpcompiler/util/mm_tactic_util.mli