Changes between Version 312 and Version 313 of TypeFunctionsStatus


Ignore:
Timestamp:
Apr 9, 2008 11:14:11 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v312 v313  
    55'''Open Trac bugs related to type families''' 
    66 
    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` 
    810 * #2203 (TFs in class instance heads) 
    911 * #2157 (solution: lhs of type instances may not contain partially applied vanilla type synonyms)