Changes between Version 371 and Version 372 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 29, 2008 7:45:43 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v371 v372  
    2121 * Solving of equalities (`TcTyFuns`): 
    2222  * #2219, #2235, #1775 & test `GADT1` (bogus occurs check failure - in both bugs, the loop is through a TF) 
    23   * #2202 (Uses `a ~ MeshVertex a b` in `normaliseWantedDicts` w/o the occurs check kicking in; also occurs in 6.8.2 and the program doesn't mention TFs, so need to merge): 
    24     * 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. 
    25     * `rewriteWithOneEquality` should uses `eqInstToRewrite` 
    2623   * #2448 (givens not properly used in superclass entailment check) 
    2724   * #2102 (superclass equalities)