Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-30 15:19:30 -0800 (Sun, 30 Jan 2005)
Revision: 6529
Log message:

      Added delayed type constraints.
      

Changes	Path
+7 -7	metaprl-branches/opname_classes2/refiner/reflib/refine_exn.ml
+46 -7	metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.ml
+8 -9	mpcompiler-branches/opname_classes2/mmc/base/mmc_base_judgment.ml
+6 -7	mpcompiler-branches/opname_classes2/mmc/base/mmc_base_judgment.mli
+2 -3	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_type_check.ml