Changes between Version 389 and Version 390 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 2, 2008 7:20:12 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v389 v390  
    2424  * Rank-n types: In `TcTyFuns.flattenType`, we need to pull out type families below foralls. 
    2525  * Implicit parameters: In `TcTyFuns`, we need to normalise IP constraints, too (in `normDict` and `substDict`). 
     26  * 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. 
    2627 
    2728 * GADT: