Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-05 20:02:55 -0700 (Tue, 05 Apr 2005)
Revision: 7154
Log message:

      Cleaned up type checking.
      
      Oh the pain:(  This file had been abandoned in a half-done state,
      I'm guessing slashdot was the culprit.
      

Changes	Path
+11 -3	mpcompiler/mmc/core/mmc_core_tast.mli
+62 -70	mpcompiler/mmc/core/mmc_core_type_check.ml
+4 -5	mpcompiler/mmc/core/mmc_core_type_check.mli