Changes between Version 127 and Version 128 of TypeFunctionsStatus
- 12/28/06 14:23:04 (6 years ago)
v127 v128 5 5 '''Current:''' 6 6 1. Dictionary handling for equational constraints: 7 7 8 * In the case for ordinary instances in `TcInstDcls.tcInstDecl2`, filter the ids of the super class equalities out of `map instToId sc_dicts`. (They don't appear explicitly in the `Hs' representation of the methods binding.) 8 9 * Similarly with `map instToId meth_dicts` in `TcClassDcl.tcMethodBind` Maybe we just need a special function to replace all occurences of `map instToId`? Occurs also in `TcPat.tcConPat`.