Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-07 00:33:42 -0800 (Mon, 07 Mar 2005)
Revision: 6855
Log message:

      A more complete sweeper for x86.
      

Changes	Path
+4 -1	metaprl/refiner/term_ds/term_addr_ds.ml
+22 -2	mpcompiler/mmc/arch/x86/base/mmc_x86_asm.ml
+66 -10	mpcompiler/mmc/arch/x86/base/mmc_x86_asm.mli
+1 -1	mpcompiler/mmc/arch/x86/codegen/Files
Deleted	mpcompiler/mmc/arch/x86/codegen/mmc_x86_close.ml
Deleted	mpcompiler/mmc/arch/x86/codegen/mmc_x86_close.mli
Added	mpcompiler/mmc/arch/x86/codegen/mmc_x86_closure.ml
Properties	mpcompiler/mmc/arch/x86/codegen/mmc_x86_closure.ml
Added	mpcompiler/mmc/arch/x86/codegen/mmc_x86_closure.mli
Properties	mpcompiler/mmc/arch/x86/codegen/mmc_x86_closure.mli
+2 -2	mpcompiler/mmc/arch/x86/mmc_x86_theory.ml
+1 -1	mpcompiler/mmc/arch/x86/mmc_x86_theory.mli
+539 -2	mpcompiler/mmc/arch/x86/type/mmc_x86_sweep.ml
+48 -29	mpcompiler/mmc/arch/x86/type/mmc_x86_sweep.mli
+1 -1	mpcompiler/mmc/arch/x86/type/mmc_x86_type_check.ml
+2 -16	mpcompiler/mmc/arch/x86/type/mmc_x86_typeof.ml
+42 -0	mpcompiler/mmc/extensions/tuple/mmc_x86_tuple.ml
+0 -2	mpcompiler/mmc/extensions/tuple/mmc_x86_tuple.mli
+136 -0	mpcompiler/mmc/extensions/tyexists/mmc_x86_tyexists.ml