Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-06 23:57:02 -0800 (Sun, 06 Feb 2005)
Revision: 6620
Log message:

      Added support for non-sequent contexts to Term_man_ds.context_vars_info
      
      However I am still getting a type error from Itt_test.context_rw:
                   Itt_rfun!let
                       {'e1;
                        v. context[C:v]{C. 'e2['v]; Perv!xcons{'C; Perv!xnil}}}
                   - has type
                   - Perv!Term
                   - but is used with type
                   - Perv!type[C1093:v]
                   - unify_normal_term_types2
                   - term type
                   - Perv!Term - is not compatible with - Perv!type[C1093:v]
      
      The error is sort of correct - this rewrite is only type-safe when applied to
      something of type Term, while it could potentially be applied to something
      else. Jason, what do you think would be the right thing to do here? Should we
      indeed consider this illegal?
      

Changes	Path
+4 -0	metaprl-branches/opname_classes4/refiner/term_ds/term_man_ds.ml