Changes between Version 411 and Version 412 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
11/16/08 17:26:22 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v411 v412  
    2121 * Constraint simplification: 
    2222  * #2767 
     23  * #2775 
    2324  * #2664 (typechecker diverges; actually, it's after Tc9, probably during zonking) 
    2425  * #2102 & #2715 (superclass equalities)