Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-08 13:01:25 -0700 (Thu, 08 Apr 2004)
Revision: 5623
Log message:

      Working on type checking for direct functions.
      

Changes  Path
+1 -0 mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
+5 -4 mpcompiler/mmc/extensions/direct/mmc_ext_direct.ml