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

      Improved display form for IsValue.  Also added another test.
      

Changes	Path
+0 -0	mpcompiler/mmc/core/mmc_core_type_check.ml
+9 -6	mpcompiler/mmc/core/mmc_core_type_check_grammar.ml
+7 -0	mpcompiler/mmc/test/mmc_int_test.ml