Changes between Version 462 and Version 463 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 25, 2009 7:18:57 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v462 v463  
    1111 
    1212 * Constraint simplification: 
     13  * #3460: mixed equalities and type classes 
    1314  * #3208 (another problem with recursive groups that containing signatures with equalities over TFs) 
    1415  * #3297: Rank-n types: In `TcTyFuns.flattenType`, we need to pull out type families below foralls -maybe pull out if possible, but definitely improve the error message