Changes between Version 339 and Version 340 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 5, 2008 4:24:33 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v339 v340  
    22
    33= Type Functions: Implementation Status =
     4
     5'''Add to test suite:'''
     6 * Add the program of #1999
    47
    58'''Open Trac bugs related to type families'''
     
    2225  * #2212 (Assertion failure in `writeMetaTyVar` with -DDEBUG on gadt/equal; see also below)
    2326  * #2151 (nested GADT constructors in patterns)
    24   * #2040 (incomplete deduction of evidence)
     27  * #2040 (incomplete deduction of evidence for class contexts in GADT constructors)
    2528
    2629 * Misc:
     
    3134   * #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)
    3235 
    33  * #1999 (GADT)
    34  * #1948
    3536 * #1900
    3637 * #1897 (confusing error message)