Changes between Version 314 and Version 315 of TypeFunctionsStatus
- Apr 14, 2008 5:08:14 AM (8 years ago)
v314 v315 5 5 '''Open Trac bugs related to type families''' 6 6 7 * # 7 * #2212 8 8 * #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): 9 9 * 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.