Changes between Version 198 and Version 199 of TypeFunctionsStatus
- Sep 6, 2007 1:43:09 PM (7 years ago)
v198 v199 26 26 * `TcGadt.tcUnifyTys` can now probably be replaced again by the non-side-effecting unifier that was in `types/Unify.hs` (recover from previous repo states). 27 27 0. 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. 28 0. Emit a warning if there are two ''identical'' type instances. 29 28 30 29 '''Current:''' 31 30 * Add some trac wiki documentation of how inference with type families works.