Changes between Version 458 and Version 459 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 20, 2009 10:44:29 AM (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v458 v459  
    1212 
    1313 * Constraint simplification: 
    14   * #2767 & #3208 (`idInfo` panic) 
     14  * #3208 (another problem with recursive groups that containing signatures with equalities over TFs) 
    1515  * #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 
    1616  * Implicit parameters: In `TcTyFuns`, we need to normalise IP constraints, too (in `normDict` and `substDict`).