Changes between Version 403 and Version 404 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 9, 2008 1:59:16 PM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v403 v404  
    1919 
    2020 * Constraint simplification: 
    21   * #2664 (typechecker diverges) 
    22   * #2639 (!CoreLint failure) 
     21  * #2664 (typechecker diverges; actually, it's after Tc9, probably during zonking) 
    2322  * #2102 (superclass equalities) 
    2423    * 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.