Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-03-02 00:32:02 -0800 (Wed, 02 Mar 2005)
Revision: 6806
Log message:

      Added initial assembly typechecking.
      

Changes	Path
+39 -8	mpcompiler/mmc/arch/x86/base/mmc_x86_asm.mli
Properties	mpcompiler/mmc/arch/x86/type
Added	mpcompiler/mmc/arch/x86/type/Files
Properties	mpcompiler/mmc/arch/x86/type/Files
Added	mpcompiler/mmc/arch/x86/type/mmc_x86_type_check.ml
Properties	mpcompiler/mmc/arch/x86/type/mmc_x86_type_check.ml
Added	mpcompiler/mmc/arch/x86/type/mmc_x86_type_check.mli
Properties	mpcompiler/mmc/arch/x86/type/mmc_x86_type_check.mli