Changes between Version 60 and Version 61 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 18, 2008 3:03:46 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v60 v61  
    118118    FRESH alpha, such that alpha > x for all x already used 
    119119    RECORD alpha := F t1'..tn' 
     120!!!TODO: maybe use a fresh gamma instead of 'id' for wanteds (and drop the alpha > x requirement (See SPJ's email) 
    120121flatten [[t1 t2]] = (t1' t2', eqs++eqt) 
    121122  where 
     
    171172}}} 
    172173where `x` occurs in `F s1..sn`.  (`co1` may be local or wanted.) 
     174 
     175!!!TODO: maybe make it " where `co1` is local, or both `co1` and `co2` are wanted", but no requirement for flexibles (a SubstVarFam may lead to refinement of unifier even if it has no flexible tyvar due to n-ary type families)  (see also SPJ's email) 
    173176 
    174177=== Rule application: specification ===