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)