Changes between Version 400 and Version 401 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 9, 2008 4:01:35 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v400 v401  
    1919
    2020 * Constraint simplification:
     21  * #2664 (typechecker diverges)
    2122  * #2639 (!CoreLint failure)
    2223  * #2102 (superclass equalities)