Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2005-03-16 16:13:56 -0800 (Wed, 16 Mar 2005)
Revision: 6951
Log message:

      Verify that the bound in a TyLambda are well-formed.
      

Changes	Path
+1 -0	mpcompiler/mmc/core/mmc_core_type_check.ml