Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-21 16:16:40 -0800 (Mon, 21 Feb 2005)
Revision: 6736
Log message:

      1. tycps_tyfun_std had some serious problems.
      2. Removed mmc_core_def, since we get the ability from iforms.
      3. Print stages during debug compiling, so we have some idea where
         things go wrong.
      

Changes  Path
+7 -6 mpcompiler/mmc/base/Files
Added mpcompiler/mmc/base/mmc_base_tactic.ml
Properties mpcompiler/mmc/base/mmc_base_tactic.ml
Added mpcompiler/mmc/base/mmc_base_tactic.mli
Properties mpcompiler/mmc/base/mmc_base_tactic.mli
+0 -1 mpcompiler/mmc/core/Files
+11 -20 mpcompiler/mmc/core/mmc_core_cps.ml
Deleted mpcompiler/mmc/core/mmc_core_def.ml
Deleted mpcompiler/mmc/core/mmc_core_def.mli
+1 -13 mpcompiler/mmc/core/mmc_core_theory.ml
+0 -1 mpcompiler/mmc/core/mmc_core_theory.mli
+1 -1 mpcompiler/mmc/core/mmc_core_type_infer.ml
+4 -9 mpcompiler/mmc/extensions/reserve/mmc_ext_reserve.ml
+6 -1 mpcompiler/mmc/extensions/reserve/mmc_ext_reserve.mli
+17 -18 mpcompiler/mmc/test/mmc