Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-11 20:51:36 -0800 (Fri, 11 Mar 2005)
Revision: 6910
Log message:

      Added initial tactic code for closure conversion.
      

Changes	Path
+92 -1	mpcompiler/mmc/core/mmc_core_closure.ml
+93 -30	mpcompiler/mmc/core/mmc_core_sweep.ml
+14 -6	mpcompiler/mmc/core/mmc_core_sweep.mli
+3 -2	mpcompiler/mmc/core/mmc_core_type_check.ml
+7 -0	mpcompiler/mmc/core/mmc_core_type_check.mli