Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-03-03 10:57:48 -0800 (Wed, 03 Mar 2004)
Revision: 5424
Log message:

      Fixed some bugs in type checking.
      

Changes	Path
+190 -945	mpcompiler/mmc/core/core_test.prla
+1 -0	mpcompiler/mmc/core/mmc_core_closure.mli
+3 -0	mpcompiler/mmc/core/mmc_core_cps.ml
+2 -2	mpcompiler/mmc/core/mmc_core_type_check.ml
+7 -7	mpcompiler/mmc/core/mmc_core_type_infer.ml