Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-27 19:40:40 -0800 (Thu, 27 Jan 2005)
Revision: 6517
Log message:

      Packaging the type environment.
      

Changes	Path
+10 -21	metaprl-branches/opname_classes2/filter/base/filter_cache_fun.ml
+6 -1	metaprl-branches/opname_classes2/filter/filter/term_grammar.ml
+107 -96	metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.ml
+16 -27	metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.mli
+89 -24	metaprl-branches/opname_classes2/support/display/perv.ml
+3 -3	metaprl-branches/opname_classes2/support/display/perv.mli
+2 -2	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_tast.mli
+47 -41	mpcompiler-branches/opname_classes2/mmc/core/mmc_core_type_check.ml