Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-08 20:30:24 -0800 (Tue, 08 Mar 2005)
Revision: 6866
Log message:

      Use MP_DEBUG=hide_types if you want to hide the types for mmc terms.
      

Changes  Path
+6 -6 mpcompiler/mmc/arch/x86/base/mmc_x86_asm.ml
+5 -5 mpcompiler/mmc/core/mmc_core_cps.ml
+23 -5 mpcompiler/mmc/core/mmc_core_tast.ml
+4 -0 mpcompiler/mmc/core/mmc_core_tast.mli