Changes between Version 359 and Version 360 of TypeFunctionsStatus
- Jul 18, 2008 5:57:45 AM (8 years ago)
v359 v360 25 25 * `rewriteWithOneEquality` should uses `eqInstToRewrite` 26 26 * #2146 (infelicity in decomposition for higher-order TFs) 27 27 28 * #2102 (superclass equalities) 28 29 * 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.