Changes between Version 339 and Version 340 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 5, 2008 4:24:33 AM (6 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)