Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-08-24 11:48:23 -0700 (Tue, 24 Aug 2004)
Revision: 6128
Log message:

      Type inference for recursive functions works now.
      

Changes	Path
+3 -3	mpcompiler-branches/letfun/mmc/core/mmc_core_ast.ml
+1 -1	mpcompiler-branches/letfun/mmc/core/mmc_core_ast.mli
+4 -5	mpcompiler-branches/letfun/mmc/core/mmc_core_tast.ml
+0 -1	mpcompiler-branches/letfun/mmc/core/mmc_core_tast.mli
+3 -0	mpcompiler-branches/letfun/mmc/core/mmc_core_type_check.ml
+2 -2	mpcompiler-branches/letfun/mmc/core/mmc_core_type_erase.ml
+31 -34	mpcompiler-branches/letfun/mmc/core/mmc_core_type_infer.ml
+3 -3	mpcompiler-branches/letfun/mmc/test/syntax.pho