Changes between Version 376 and Version 377 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
09/29/08 20:17:21 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v376 v377  
    3232   * Test `Simple17` & `GADT12` (corelint errors) 
    3333   * #2291 (panic mixing RULES and type families; rule simplification stumbles over a coercion) 
    34    * #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. 
     34   * #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   * #1769 (deriving typeable for data families) 
    3636   * When a `type instance` changes (in an orphan modules), currently clients are not properly recompiled at least by `--make`.