Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-03 10:27:25 -0800 (Thu, 03 Mar 2005)
Revision: 6826
Log message:

      Added some x86 type checking rules.
      

Changes	Path
+10 -2	mpcompiler/mmc/OMakefile
+20 -0	mpcompiler/mmc/arch/x86/base/mmc_x86_asm.ml
+37 -10	mpcompiler/mmc/arch/x86/base/mmc_x86_asm.mli
+1 -1	mpcompiler/mmc/arch/x86/codegen/mmc_x86_codegen.ml
+2 -0	mpcompiler/mmc/arch/x86/mmc_x86_theory.ml
+2 -0	mpcompiler/mmc/arch/x86/mmc_x86_theory.mli
+113 -29	mpcompiler/mmc/arch/x86/type/mmc_x86_type_check.ml
+9 -1	mpcompiler/mmc/arch/x86/type/mmc_x86_type_check.mli
+2 -0	mpcompiler/mmc/base/mmc_base_dform.ml
+1 -0	mpcompiler/mmc/base/mmc_base_dform.mli
+1 -1	mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.ml
+12 -2	mpcompiler/mmc/extensions/tuple/mmc_x86_tuple.ml
+13 -2	mpcompiler/mmc/extensions/tyexists/mmc_x86_tyexists.ml
+2 -1	mpcompiler/mmc/test/mmc