Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-08-26 18:48:03 -0700 (Thu, 26 Aug 2004)
Revision: 6143
Log message:

      Merging letfun branch
      

Changes  Path
+2 -0 mpcompiler/mmc/base/mmc_base_dform.ml
+28 -3 mpcompiler/mmc/core/mmc_core_ast.ml
+7 -0 mpcompiler/mmc/core/mmc_core_ast.mli
+35 -5 mpcompiler/mmc/core/mmc_core_tast.ml
+10 -0 mpcompiler/mmc/core/mmc_core_tast.mli
+1 -1 mpcompiler/mmc/core/mmc_core_tast_util.ml
+34 -10 mpcompiler/mmc/core/mmc_core_type_check.ml
+37 -10 mpcompiler/mmc/core/mmc_core_type_erase.ml
+124 -3 mpcompiler/mmc/core/mmc_core_type_infer.ml
Deleted mpcompiler/mmc/syntax.pho
+12 -1 mpcompiler/mmc/test/mmc_core_test.ml
+20 -1 mpcompiler/mmc/test/mmc_int_test.ml
+73 -48 mpcompiler/mmc/test/syntax.pho
+8 -25 mpcompiler/util/mm_dform_util.ml
+1 -1 mpcompiler/util/mm_dform_util.mli