Changes between Version 373 and Version 374 of TypeFunctionsStatus


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v373 v374  
    2020 
    2121 * Solving of equalities (`TcTyFuns`): 
    22   * #2235, #1775 & test `GADT1` (bogus occurs check failure - in both bugs, the loop is through a TF) 
     22  * #2235 & #1775 (bogus occurs check failure - in both bugs, the loop is through a TF) 
    2323  * #2448 (givens not properly used in superclass entailment check) 
    2424  * #2102 (superclass equalities)