Changes between Version 406 and Version 407 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
10/21/08 04:48:20 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v406 v407  
    2222  * #2693 (seems to be a problem during finalisation) 
    2323  * #2664 (typechecker diverges; actually, it's after Tc9, probably during zonking) 
    24   * #2102 (superclass equalities) 
     24  * #2102 & 2715 (superclass equalities) 
    2525    * 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. 
    2626    * 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.