Changes between Version 399 and Version 400 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
10/08/08 20:38:09 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v399 v400  
    1919 
    2020 * Constraint simplification: 
    21   * #2639 (CoreLint failure) 
     21  * #2639 (!CoreLint failure) 
    2222  * #2102 (superclass equalities) 
    2323    * 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. 
    … …  
    3939 
    4040 * Misc: 
     41  * #2649 (panic, missing case) 
    4142  * Test `Simple17` (corelint error as a dict binding, used to specialise a call to a local function, floats out too far) 
    4243  * Improve error messages for loopy equalities: TF tests `Simple13` & `SkolemOccursLoop`