Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-03-11 17:30:15 -0800 (Thu, 11 Mar 2004)
Revision: 5449
Log message:

      Includes the latest developments in CPS.
      

Changes  Path
+28 -29 mpcompiler/mmc/core/mmc_core_cps.ml
+6 -3 mpcompiler/mmc/core/mmc_core_type_infer.ml
+30 -78 mpcompiler/mmc/core/mmc_core_type_util.ml
+3 -5 mpcompiler/mmc/core/mmc_core_type_util.mli