Changes between Version 372 and Version 373 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 29, 2008 7:50:36 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v372 v373  
    2020
    2121 * Solving of equalities (`TcTyFuns`):
    22   * #2219, #2235, #1775 & test `GADT1` (bogus occurs check failure - in both bugs, the loop is through a TF)
    23    * #2448 (givens not properly used in superclass entailment check)
    24    * #2102 (superclass equalities)
     22  * #2235, #1775 & test `GADT1` (bogus occurs check failure - in both bugs, the loop is through a TF)
     23  * #2448 (givens not properly used in superclass entailment check)
     24  * #2102 (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