Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-04 12:59:43 -0700 (Mon, 04 Apr 2005)
Revision: 7116
Log message:

      Updated type inference for recursive functions to use the
      usual method for type generalization.
      

Changes	Path
+78 -84	mpcompiler/mmc/core/mmc_core_type_infer.ml
+3 -2	mpcompiler/mmc/test/OMakefile
+0 -4	mpcompiler/mmc/test/mmc
Added	mpcompiler/mmc/test/mmc_infer_test.ml
Properties	mpcompiler/mmc/test/mmc_infer_test.ml
Added	mpcompiler/mmc/test/mmc_infer_test.mli
Properties	mpcompiler/mmc/test/mmc_infer_test.mli
+0 -14	mpcompiler/mmc/test/mmc_int_test.ml