Changes between Version 313 and Version 314 of TypeFunctionsStatus
- Apr 14, 2008 5:07:56 AM (9 years ago)
v313 v314 5 5 '''Open Trac bugs related to type families''' 6 6 7 7 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): 8 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.