Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-30 13:50:24 -0800 (Sun, 30 Jan 2005)
Revision: 6528
Log message:

      This is an intermediate commit.
      Progress on the dependent type system.
      

Changes  Path
+27 -4 metaprl-branches/opname_classes2/filter/base/filter_cache_fun.ml
+2 -0 metaprl-branches/opname_classes2/filter/base/filter_type.ml
+4 -4 metaprl-branches/opname_classes2/filter/filter/filter_parse.ml
+2 -1 metaprl-branches/opname_classes2/filter/filter/term_grammar.ml
+0 -1 metaprl-branches/opname_classes2/refiner/refiner/refine_error.ml
+5 -3 metaprl-branches/opname_classes2/refiner/reflib/dform.ml
+2 -5 metaprl-branches/opname_classes2/refiner/reflib/refine_exn.ml
+120 -106 metaprl-branches/opname_classes2/refiner/reflib/simple_print.ml
+172 -158 metaprl-branches/opname_classes2/refiner/reflib/term_ty_infer.ml
+0 -1 metaprl-branches/opname_classes2/refiner/refsig/refine_error_sig.ml
+3 -1 metaprl-branches/opname_classes2/refiner/term_gen/term_meta_gen.ml
+5 -4 mpcompiler-branches/opname_classes2/mmc/base/mmc_base_judgment.ml
+5 -4 mpcompiler-branches/opname_classes2/mmc/base/mmc_base_judgment.mli
+1 -1 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_tast.mli
+2 -1 mpcompiler-branches/opname_classes2/mmc/core/mmc_core_type_check.ml
+1 -1 mpcompiler-branches/opname_classes2/util/mm_list_util.ml
+1 -1 mpcompiler-branches/opname_classes2/util/mm_list_util.mli