Changes between Version 425 and Version 426 of TypeFunctionsStatus


Ignore:
Timestamp:
Mar 4, 2009 4:22:58 PM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v425 v426  
    1919  * #2767 
    2020  * #2775 
     21  * #2360: improve error message when unifying `a~T a` where `a` is rigid. 
    2122  * #2664 (typechecker diverges; actually, it's after Tc9, probably during zonking) 
    2223  * #2102 & #2715 (superclass equalities)