Changes between Version 379 and Version 380 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 30, 2008 4:33:58 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v379 v380  
    2020 
    2121 * Solving of equalities (`TcTyFuns`): 
    22   * #2235 
    2322  * #2448 (givens not properly used in superclass entailment check) 
    2423  * #2102 (superclass equalities) 
     
    2625 
    2726 * GADT: 
     27  * #2235 (trying to use a TF lemma in the form of a local equality annotation, leading to a tricky GADT-TF interaction) 
    2828  * #2627 (GADT-TF interaction) 
    2929  * #2151 (nested GADT constructors in patterns)