Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-10-15 17:01:01 -0700 (Wed, 15 Oct 2003)
Revision: 4997
Log message:

      Fixed incorrectly specified rewrite in CPS.  Disabled a ton of debugging
      messages in type inference.
      

Changes	Path
+2 -2	mpcompiler/mmc/core/mmc_core_cps.ml
+15 -11	mpcompiler/mmc/core/mmc_core_type_infer.ml
+0 -1	mpcompiler/mmc/extensions/ext_boolean.ml