Changes between Version 447 and Version 448 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
07/10/09 00:09:16 (4 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: