Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2004-03-17 22:21:30 -0800 (Wed, 17 Mar 2004)
Revision: 5478
Log message:

      
      Added a new directory for test files for extensions.
      Updated the extensions to use TyFun['tag] and Apply['tag]
      

Changes  Path
+4 -2 mpcompiler/mmc/OMakefile
+6 -5 mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
Deleted mpcompiler/mmc/extensions/ext_int_test.prla
Deleted mpcompiler/mmc/extensions/int/ext_int_test.ml
Deleted mpcompiler/mmc/extensions/int/ext_int_test.mli
Added mpcompiler/mmc/extensions/test/Files
Properties mpcompiler/mmc/extensions/test/Files
Added mpcompiler/mmc/extensions/test/ext_int_test.ml
Properties mpcompiler/mmc/extensions/test/ext_int_test.ml
Added mpcompiler/mmc/extensions/test/ext_int_test.mli
Properties mpcompiler/mmc/extensions/test/ext_int_test.mli