Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-05 18:53:13 -0700 (Tue, 05 Apr 2005)
Revision: 7153
Log message:

      Cleaned up type inference.  If *only* we could agree on basic style
      principles, this phase would be easier:/
      

Changes	Path
+104 -84	mpcompiler/mmc/core/mmc_core_type_infer.ml