Changes between Version 345 and Version 346 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 7, 2008 5:48:37 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v345 v346  
    3333   * #2291 (panic mixing RULES and type families; rule simplification stumbles over a coercion) 
    3434   * #714 (feature request: fundeps treated inconsistently in superclasses and type sigs) 
    35    * #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) 
     35   * #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.  #2418 suggests that for higher-kinded TFs, we could use decomposition more aggressively. 
    3636  
    3737 * #1772