Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-08-24 18:18:29 -0700 (Tue, 24 Aug 2004)
Revision: 6129
Log message:

      Implemented type checking for recursive functions.  There's a hack to work
      around bug 175.  Also, it's inefficient but I'm going to improve it.
      

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