Changes between Version 403 and Version 404 of TypeFunctionsStatus
- Oct 9, 2008 1:59:16 PM (7 years ago)
v403 v404 19 19 20 20 * Constraint simplification: 21 * #2664 (typechecker diverges) 22 * #2639 (!CoreLint failure) 21 * #2664 (typechecker diverges; actually, it's after Tc9, probably during zonking) 23 22 * #2102 (superclass equalities) 24 23 * 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.