Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-03-12 17:27:08 -0800 (Fri, 12 Mar 2004)
Revision: 5454
Log message:

      Implemented the grand unified CPS theory.  Exposes a MetaPRL bug.
      

Changes  Path
+6 -3 mpcompiler/mmc/OMakefile
+147 -136 mpcompiler/mmc/core/mmc_core_cps.ml
+7 -2 mpcompiler/mmc/core/mmc_core_cps.mli
+1 -0 mpcompiler/mmc/core/mmc_core_tast_util.ml
+1 -0 mpcompiler/mmc/core/mmc_core_type_util.mli