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