Changes between Version 341 and Version 342 of TypeFunctionsStatus


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v341 v342  
    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  * #1897 (confusing error message) 
    3736 * #1834 
    3837 * #1775