Changes between Version 383 and Version 384 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 1, 2008 9:21:50 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v383 v384  
    1919  * #2436 (Bad warning on export) 
    2020 
    21  * Solving of equalities (`TcTyFuns`): 
     21 * Constraint simplification: 
    2222  * #2448 (givens not properly used in superclass entailment check) 
    2323  * #2102 (superclass equalities)