Changes between Version 463 and Version 464 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
09/08/09 00:08:06 (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v463 v464  
    1111 
    1212 * Constraint simplification: 
     13  * #3484: type checker diverges (involves higher rank types) 
    1314  * #3460: mixed equalities and type classes 
    1415  * #3208 (another problem with recursive groups that containing signatures with equalities over TFs)