Changes between Version 440 and Version 441 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 2, 2009 1:14:31 PM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v440 v441  
    1616
    1717 * Constraint simplification:
     18  * #3330: typechecker goes into a loop
    1819  * #2767 & #3208 (`idInfo` panic)
    1920  * #2664 (typechecker diverges; actually, it's after Tc9, probably during zonking)