Changes between Version 342 and Version 343 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
07/04/08 21:37:33 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v342 v343  
    44 
    55'''Add to test suite:''' 
    6  * Add the program of #1900 & #1999 
     6 * Add the program of #1900 & #1999 and #1834 (but needs to use ghci) 
    77 
    88'''Open Trac bugs related to type families''' 
    … …  
    3434   * #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) 
    3535  
    36  * #1834 
    3736 * #1775 
    3837 * #1772