Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-10 14:38:55 -0700 (Sun, 10 Apr 2005)
Revision: 7193
Log message:

      As far as I understand, type_subst v t TypeExists(v', ...) was not handling
      v=v' correctly.
      
      - Jason should double-check this!
      - This did not fix the problem I was having with ty_exists :-(
      

Changes	Path
+3 -2	metaprl/refiner/reflib/term_ty_infer.ml