Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-08-25 19:29:26 -0700 (Wed, 25 Aug 2004)
Revision: 6138
Log message:

      A fix for type checking of let rec.
      Also cleaned up display forms quite a bit.
      

Changes	Path
+2 -0	mpcompiler-branches/letfun/mmc/base/mmc_base_dform.ml
+10 -12	mpcompiler-branches/letfun/mmc/core/mmc_core_ast.ml
+12 -16	mpcompiler-branches/letfun/mmc/core/mmc_core_tast.ml
+2 -2	mpcompiler-branches/letfun/mmc/core/mmc_core_type_check.ml
+6 -3	mpcompiler-branches/letfun/util/mm_dform_util.ml
+1 -0	mpcompiler-branches/letfun/util/mm_dform_util.mli