Changes between Version 414 and Version 415 of TypeFunctionsStatus


Ignore:
Timestamp:
Nov 24, 2008 2:15:52 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v414 v415  
    2323  * #2767 
    2424  * #2775 
    25   * #2787 
     25  * #2787 & #2787 
    2626  * #2664 (typechecker diverges; actually, it's after Tc9, probably during zonking) 
    2727  * #2102 & #2715 (superclass equalities)