Changes between Version 410 and Version 411 of TypeFunctionsStatus


Ignore:
Timestamp:
Nov 17, 2008 1:15:59 AM (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v410 v411  
    2020 
    2121 * Constraint simplification: 
     22  * #2767 
    2223  * #2664 (typechecker diverges; actually, it's after Tc9, probably during zonking) 
    2324  * #2102 & #2715 (superclass equalities)