Changes between Version 448 and Version 449 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 14, 2009 4:34:10 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v448 v449  
    1111 
    1212 * Constraint simplification: 
     13  * #3272: flatten predicates 
     14  * #2767 & #3208 (`idInfo` panic) 
     15  * #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 
     16  * Implicit parameters: In `TcTyFuns`, we need to normalise IP constraints, too (in `normDict` and `substDict`). 
    1317  * #3330: typechecker goes into a loop 
    14   * #2767 & #3208 (`idInfo` panic) 
    1518  * #2664 (typechecker diverges; actually, it's after Tc9, probably during zonking) 
    1619  * #2102 & #2715 (superclass equalities) 
    1720    * To fix superclass equalities (specifically getting the coercion evidence), we could introduce a kind of typelet just for evidence.  In fact, re-use `HsBind.VarBind` and make its right-hand side a specially data structure describing evidence construction, instead of being a general `HsExpr`.  That evidence construction generation can have a case for extracting superclass constraints.  The desugarer than has to generate the case expression bringing the equality in scope from that. 
    1821    * What about filtering the `EqInst`s in `TcSimplify.addSCs`.  We need them, don't we?  But they give rise to `Var`s, not `Id`s, and we haven't got selectors. 
    19   * Rank-n types: In `TcTyFuns.flattenType`, we need to pull out type families below foralls. 
    20   * Implicit parameters: In `TcTyFuns`, we need to normalise IP constraints, too (in `normDict` and `substDict`). 
    2122 
    2223 * GADT: 
     
    3233 
    3334 * Misc: 
    34   * #3297, #3272: `flattenType` errors 
    3535  * #3220 (generalisation) 
    36   * #3208: panic `idInfo` of a coercion variable 
    3736  * #3064: exponentially slow compile times 
    3837  * #3169 & #2360 (improve occurs-check error message in two instances)