Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-12 12:09:51 -0700 (Tue, 12 Aug 2003)
Revision: 4827
Log message:

      Tell infer_fun_type to pay attention to Hypothesis values
      as well as HypBinding.
      
      Here is the latest error:
      Uncaught exception: Invalid_argument("Rewrite_match_redex.check_sequent_hyps: binding clash in a sequent. Please let Aleksey Nogin know if this happens to you.")
      
      Apparently, we are creating sequents somewhere with shadowing in the hyps.
      

Changes	Path
+3 -3	metaprl/refiner/rewrite/rewrite_match_redex.ml
+8 -1	mpcompiler-branches/mojave_sequents/mmc/core/mmc_core_type_infer.ml