Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-15 19:54:43 -0800 (Sat, 15 Jan 2005)
Revision: 6409
Log message:

      Moved the meta_let, etc. to Mmc_base_meta.
      
      Making progress on hoisting, but I've run into a rewriter bug I believe.
      See the rewrite Mmc_core_hoist.hoist_letrec.  As far as I know, this rewrite
      should work, but I get the following error:
      
      Invalid Argument:
         Rewrite_match_redex.extract_cont_bvars: invalid stack entry: StackVoid
      
      I guess this means the rewriter did not extract a context correctly.
      

Changes  Path
+2 -2 mpcompiler/mmc/arch/x86/mmc_x86_hoist.ml
+1 -0 mpcompiler/mmc/base/Files
+14 -14 mpcompiler/mmc/base/mmc_base_hoist.ml
+5 -2 mpcompiler/mmc/base/mmc_base_hoist.mli
Added mpcompiler/mmc/base/mmc_base_meta.ml
Properties mpcompiler/mmc/base/mmc_base_meta.ml
Added mpcompiler/mmc/base/mmc_base_meta.mli
Properties mpcompiler/mmc/base/mmc_base_meta.mli
+3 -1 mpcompiler/mmc/core/mmc_core_cps.ml
+46 -14 mpcompiler/mmc/core/mmc_core_hoist.ml
+1 -0 mpcompiler/mmc/core/mmc_core_hoist.mli
+0 -0 mpcompiler/mmc/core/mmc_core_type_check.ml
+6 -9 mpcompiler/mmc/core/mmc_core_type_util.ml
+11 -9 mpcompiler/mmc/core/mmc_core_type_util.mli
+1 -0 mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml