Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-21 13:48:53 -0800 (Mon, 21 Feb 2005)
Revision: 6735
Log message:

      More minor updates.  We're now stuck in an infinite loop in CPS.
      

Changes	Path
+6 -1	mpcompiler/mmc/core/mmc_core_theory.ml
+1 -0	mpcompiler/mmc/core/mmc_core_theory.mli
+8 -9	mpcompiler/mmc/core/mmc_core_type_erase.ml
+33 -37	mpcompiler/mmc/test/mmc