Changes between Version 388 and Version 389 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 2, 2008 6:54:50 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v388 v389  
    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.
     24  * Rank-n types: In `TcTyFuns.flattenType`, we need to pull out type families below foralls.
     25  * Implicit parameters: In `TcTyFuns`, we need to normalise IP constraints, too (in `normDict` and `substDict`).
    2426
    2527 * GADT: