Changes between Version 407 and Version 408 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 21, 2008 12:15:59 PM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v407 v408  
    2020 
    2121 * Constraint simplification: 
    22   * #2693 (seems to be a problem during finalisation) 
    2322  * #2664 (typechecker diverges; actually, it's after Tc9, probably during zonking) 
    2423  * #2102 & 2715 (superclass equalities)