Changes between Version 33 and Version 34 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 4, 2008 3:10:39 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSolving

    v33 v34  
    121121'''TODO:'''
    122122 * Rules applying to family equalities:
    123   * IdenticalLHS only applies to family equalities (both local and wanteds)
     123  * IdenticalLHS only applies to family equalities (both local and wanteds) - MAYBE only when at least one of the equalities is a local (see email).
    124124  * Top only applies to family equalities (both locals and wanteds)
    125125 We should apply IdenticalLHS first as it cheaper and potentially reduces the number of applications of Top.