Changes between Version 465 and Version 466 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
09/10/09 01:58:59 (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v465 v466  
    1111 
    1212 * Constraint simplification: 
     13  * #3500: type functions and recursive dictionaries 
    1314  * #3484: type checker diverges (involves higher rank types) 
    1415  * #3460: mixed equalities and type classes