Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-07-09 19:04:05 -0700 (Fri, 09 Jul 2004)
Revision: 6051
Log message:

      - Commenting out the frontT stage as it does not work yet.
      
      - CPS part of the recent Apply changes was broken - fixed (or rather - hacked
      around :-( ).
      
      - Minor updates towards getting a real test suite.
      

Changes	Path
+12 -3	mpcompiler/mmc/core/mmc_core_cps.ml
+3 -1	mpcompiler/mmc/core/mmc_core_theory.ml
+1 -1	mpcompiler/mmc/test/OMakefile
+18 -10	mpcompiler/mmc/test/mmc