Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2004-03-10 11:01:10 -0800 (Wed, 10 Mar 2004)
Revision: 5446
Log message:

      Changes needed by CPS. Added a new resource for type_util.
      

Changes  Path
+1 -1 mpcompiler/mmc/core/core_test.ml
+1 -1 mpcompiler/mmc/core/mmc_core_ast.ml
+2 -0 mpcompiler/mmc/core/mmc_core_cps.ml
+3 -3 mpcompiler/mmc/core/mmc_core_type_infer.ml
+40 -15 mpcompiler/mmc/core/mmc_core_type_util.ml
+13 -0 mpcompiler/mmc/core/mmc_core_type_util.mli
+3 -1 mpcompiler/mmc/core/mmc_core_util.ml