Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-10 18:13:28 -0700 (Sat, 10 Jul 2004)
Revision: 6059
Log message:

      - For degugging purposes, type check after every stage in coreT.
      - Fixed an ApplyTag-related bug in CPS.
      

Changes	Path
+2 -2	mpcompiler/mmc/arch/x86/mmc_x86_codegen.ml
+5 -18	mpcompiler/mmc/core/mmc_core_cps.ml
+0 -1	mpcompiler/mmc/core/mmc_core_cps.mli
+1 -1	mpcompiler/mmc/core/mmc_core_front.ml
+4 -0	mpcompiler/mmc/core/mmc_core_inline.ml
+8 -0	mpcompiler/mmc/core/mmc_core_theory.ml
+4 -4	mpcompiler/mmc/core/mmc_core_type_check.ml
+2 -2	mpcompiler/mmc/core/mmc_core_type_check.mli
+528 -1144	mpcompiler/mmc/test/mmc_tests_out.previous