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