Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-08-11 19:13:21 -0700 (Wed, 11 Aug 2004)
Revision: 6119
Log message:

      First stab at type inference for let rec.  This is *really* complicated and it
      doesn't work yet.  I'm sure there's a better way.  I'll try to work on it in
      Seattle but I probably won't be able to do much, so hopefully I can fix it on
      Monday.
      

Changes  Path
+3 -3 mpcompiler-branches/letfun/mmc/core/mmc_core_ast.ml
+1 -1 mpcompiler-branches/letfun/mmc/core/mmc_core_ast.mli
+27 -0 mpcompiler-branches/letfun/mmc/core/mmc_core_tast.ml
+3 -0 mpcompiler-branches/letfun/mmc/core/mmc_core_tast.mli
+37 -10 mpcompiler-branches/letfun/mmc/core/mmc_core_type_erase.ml
+120 -0 mpcompiler-branches/letfun/mmc/core/mmc_core_type_infer.ml
+4 -16 mpcompiler-branches/letfun/mmc/test/mmc_core_test.ml
+9 -0 mpcompiler-branches/letfun/mmc/test/mmc_int_test.ml
+3 -3 mpcompiler-branches/letfun/mmc/test/syntax.pho