Changes between Version 359 and Version 360 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 18, 2008 5:57:45 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v359 v360  
    2525    * `rewriteWithOneEquality` should uses `eqInstToRewrite` 
    2626   * #2146 (infelicity in decomposition for higher-order TFs) 
     27   * #2448 (givens not properly used in superclass entailment check) 
    2728   * #2102 (superclass equalities) 
    2829    * 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.