Changes between Version 430 and Version 431 of TypeFunctionsStatus


Ignore:
Timestamp:
Apr 28, 2009 4:32:09 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v430 v431  
    1616
    1717 * Constraint simplification:
    18   * #2828
    19   * #2796
    2018  * #2767
    21   * #2775
    2219  * #2360: improve error message when unifying `a~T a` where `a` is rigid.
    2320  * #2664 (typechecker diverges; actually, it's after Tc9, probably during zonking)