Changes between Version 405 and Version 406 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 20, 2008 9:58:25 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v405 v406  
    2020
    2121 * Constraint simplification:
     22  * #2693 (seems to be a problem during finalisation)
    2223  * #2664 (typechecker diverges; actually, it's after Tc9, probably during zonking)
    2324  * #2102 (superclass equalities)