Changes between Version 60 and Version 61 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 18, 2008 3:03:46 AM (7 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 ===