Changes between Version 333 and Version 334 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 4, 2008 9:06:19 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v333 v334  
    44 
    55'''Open Trac bugs related to type families''' 
     6 
     7 * Well-formedness of declarations involving families: 
     8  * #2157 (solution: lhs of type instances may not contain partially applied vanilla type synonyms) 
     9   * Addition to user manual, see [http://www.haskell.org/pipermail/haskell-cafe/2008-March/040989.html] and [http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#type-synonyms] 
     10  * #2203 (TFs in class instance heads) 
    611 
    712 * Solving of equalities (`TcTyFuns`): 
    813  * #2219 & #2235 (bogus occurs check failure - in both bugs, the loop is through a TF) 
     14  * #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): 
     15    * 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. 
     16    * `rewriteWithOneEquality` should uses `eqInstToRewrite` 
    917 
    1018 * GADT: 
    11   * #2366 (Assertion failure in `writeMetaTyVar` with -DDEBUG on gadt/equal; see also below) 
     19  * #2212 (Assertion failure in `writeMetaTyVar` with -DDEBUG on gadt/equal; see also below) 
    1220 
    1321 * Misc: 
     
    1624 
    1725 
    18  * #2212 
    19  * #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): 
    20    * 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. 
    21    * `rewriteWithOneEquality` should uses `eqInstToRewrite` 
    22  * #2203 (TFs in class instance heads) 
    23  * #2157 (solution: lhs of type instances may not contain partially applied vanilla type synonyms) 
    24    * Addition to user manual, see [http://www.haskell.org/pipermail/haskell-cafe/2008-March/040989.html] and [http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#type-synonyms] 
    2526 * #1897 If you infer a type for a function, then should check the function against that sigature, to check that if the user gave that signature, then typechecking would again succeed.  See this thread http://www.haskell.org/pipermail/haskell-cafe/2008-April/041385.html) 
    2627 * #2151 (GADT)