Changes between Version 61 and Version 62 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 18, 2008 3:19:18 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v61 v62  
    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)
    121120flatten [[t1 t2]] = (t1' t2', eqs++eqt)
    122121  where
     
    172171}}}
    173172where `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)
    176173
    177174=== Rule application: specification ===