Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-19 20:46:23 -0700 (Tue, 19 Aug 2003)
Revision: 4852
Log message:

      - Unification should now give something slightly resembling meaningful error messages.
      - Minor clean-ups of recently committed code.
      

Changes  Path
+0 -1 metaprl/library/Makefile
Deleted metaprl/library/lib_term.ml
Deleted metaprl/library/lib_term.mli
+6 -30 metaprl/refiner/refiner/refine.ml
+1 -2 metaprl/refiner/refiner/refine_error.ml
+1 -0 metaprl/refiner/reflib/Files
+0 -3 metaprl/refiner/reflib/dform.ml
Added metaprl/refiner/reflib/lib_term.ml
Properties metaprl/refiner/reflib/lib_term.ml
Added metaprl/refiner/reflib/lib_term.mli
Properties metaprl/refiner/reflib/lib_term.mli
+1 -3 metaprl/refiner/reflib/refine_exn.ml
+163 -213 metaprl/refiner/reflib/unify_mm.ml
+1 -2 metaprl/refiner/refsig/refine_error_sig.ml
+0 -1 metaprl/refiner/refsig/term_addr_sig.ml
+2 -2 metaprl/refiner/rewrite/rewrite_build_contractum.ml
+3 -16 metaprl/refiner/rewrite/rewrite_debug.ml
+0 -2 metaprl/refiner/rewrite/rewrite_debug_sig.ml
+2 -3 metaprl/refiner/rewrite/rewrite_match_redex.ml
+0 -4 metaprl/refiner/term_ds/term_addr_ds.ml
+0 -1 metaprl/refiner/term_gen/term_addr_gen.ml
+1 -1 metaprl/support/shell/shell_rewrite.ml
+1 -1 metaprl/support/shell/shell_rule.ml