Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-26 10:53:48 -0800 (Wed, 26 Jan 2005)
Revision: 6508
Log message:

      Normalize types before unification.
      

Changes	Path
+144 -105	metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.ml
+0 -1	metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.mli
+53 -0	metaprl-branches/opname_classes2/support/display/perv.ml
+1 -1	mpcompiler-branches/opname_classes2/mmc/base/mmc_base_judgment.ml
+1 -1	mpcompiler-branches/opname_classes2/mmc/base/mmc_base_judgment.mli
+25 -9	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_tast.mli
+10 -5	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_type_check.ml