Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-08 18:38:03 -0800 (Tue, 08 Mar 2005)
Revision: 6864
Log message:

      Defining a sweeper for the core.
      This is the main infrastructure for propagating assertions.
      

Changes	Path
+12 -12	mpcompiler/mmc/arch/x86/codegen/mmc_x86_closure.ml
+15 -15	mpcompiler/mmc/arch/x86/codegen/mmc_x86_codegen.ml
+2 -1	mpcompiler/mmc/arch/x86/regalloc/mmc_x86_backend.ml
+19 -18	mpcompiler/mmc/core/Files
+5 -1	mpcompiler/mmc/core/mmc_core_ast.mli
Added	mpcompiler/mmc/core/mmc_core_sweep.ml
Properties	mpcompiler/mmc/core/mmc_core_sweep.ml
Added	mpcompiler/mmc/core/mmc_core_sweep.mli
Properties	mpcompiler/mmc/core/mmc_core_sweep.mli
+9 -1	mpcompiler/mmc/core/mmc_core_tast.ml
+55 -12	mpcompiler/mmc/core/mmc_core_tast.mli
+2 -2	mpcompiler/mmc/core/mmc_core_type_check.ml
+3 -3	mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.ml
+6 -6	mpcompiler/mmc/extensions/tuple/mmc_x86_tuple.ml
+5 -5	mpcompiler/mmc/extensions/tyexists/mmc_x86_tyexists.ml
+8 -8	mpcompiler/mmc/lir/closure_elim/mmc_lir_closure_elim_core.ml
+8 -8	mpcompiler/mmc/lir/mmc_lir_closure_elim.ml