Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-01 19:51:45 -0800 (Fri, 01 Apr 2005)
Revision: 7082
Log message:

      Add parsing rules for Mmc_core_type_check!mem_args.
      

Changes	Path
+28 -27	mpcompiler/mmc/core/mmc_core_type_check.ml
+29 -12	mpcompiler/mmc/core/mmc_core_type_check.mli
+14 -7	mpcompiler/mmc/extensions/special/mmc_ext_special.ml
+3 -4	mpcompiler/mmc/extensions/special/mmc_ext_special.mli
+2 -1	mpcompiler/mmc/extensions/unit/mmc_ext_unit.ml