Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-08-27 15:11:21 -0700 (Fri, 27 Aug 2004)
Revision: 6145
Log message:

      Fixed type checking so it's not quadratic in the number of recursive functions.
      

Changes	Path
+34 -18	mpcompiler/mmc/core/mmc_core_type_check.ml