Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-11-12 17:30:39 -0800 (Wed, 12 Nov 2003)
Revision: 5094
Log message:

      Added type checking rule for Return, added type checking to CPS rule.
      

Changes	Path
+4 -1	mpcompiler/mmc/core/mmc_core_cps.ml
+12 -2	mpcompiler/mmc/core/mmc_core_type_check.ml