| 7 | | * #2202 (Uses `a ~ MeshVertex a b` in `normaliseWantedDicts` w/o the occurs check kicking in; also occurs in 6.8.2 ad the program doesn't mention TFs, so need to merge) |
| | 7 | * #2202 (Uses `a ~ MeshVertex a b` in `normaliseWantedDicts` w/o the occurs check kicking in; also occurs in 6.8.2 and the program doesn't mention TFs, so need to merge): |
| | 8 | * Should `eqInstToRewrite` already check for and return whether the equality is cyclic in a bad way (i.e., without intervening tyfam)? (Would that be less efficient?) In any case, document the invariants. |
| | 9 | * `rewriteWithOneEquality` should uses `eqInstToRewrite` |
