Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-11 15:34:52 -0700 (Fri, 11 Jul 2003)
Revision: 4731
Log message:

      Added a little more code for type inference.  The current
      code does not handle bounded quantifiers correctly.
      

Changes	Path
+64 -13	mpcompiler/mmc/core/mmc_core_type_infer.ml