Changes between Version 370 and Version 371 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
09/29/08 00:43:33 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v370 v371  
    2424    * Should `eqInstToRewrite` already check for and return whether the equality is cyclic in a bad way (i.e., without intervening tyfam)?  (Would that be less efficient?)  In any case, document the invariants. 
    2525    * `rewriteWithOneEquality` should uses `eqInstToRewrite` 
    26    * #2146 (infelicity in decomposition for higher-order TFs) 
    2726   * #2448 (givens not properly used in superclass entailment check) 
    2827   * #2102 (superclass equalities)