Changes between Version 406 and Version 407 of TypeFunctionsStatus
- Oct 21, 2008 11:48:20 AM (5 years ago)
v406 v407 22 22 * #2693 (seems to be a problem during finalisation) 23 23 * #2664 (typechecker diverges; actually, it's after Tc9, probably during zonking) 24 * #2102 (superclass equalities) 24 * #2102 (superclass equalities) 25 25 * 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. 26 26 * What about filtering the `EqInst`s in `TcSimplify.addSCs`. We need them, don't we? But they give rise to `Var`s, not `Id`s, and we haven't got selectors.