Changes between Version 447 and Version 448 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 10, 2009 7:09:16 AM (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v447 v448  
    1919  * Rank-n types: In `TcTyFuns.flattenType`, we need to pull out type families below foralls. 
    2020  * Implicit parameters: In `TcTyFuns`, we need to normalise IP constraints, too (in `normDict` and `substDict`). 
    21   * Most general types: In `TcTyFuns.instantiateAndExtract`, the condition for when to instantiate alpha in a wanted equation of  the form `F t1..tn ~ alpha` is still to liberal. 
    2221 
    2322 * GADT: