Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-08-18 16:50:37 -0700 (Wed, 18 Aug 2004)
Revision: 6121
Log message:

      A quick commit before trying a new direction with type inference.  We now think
      that each recursive function should only be quantified over its free type
      variables, not the union of all free type variables from all functions.
      

Changes	Path
+11 -6	mpcompiler-branches/letfun/mmc/core/mmc_core_type_infer.ml
+6 -5	mpcompiler-branches/letfun/mmc/test/mmc_int_test.ml