Changes between Version 370 and Version 371 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 29, 2008 7:43:33 AM (7 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)