Changes between Version 329 and Version 330 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 2, 2008 10:54:03 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v329 v330  
    55'''Open Trac bugs related to type families''' 
    66 
    7  * 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.  
    8 http://www.haskell.org/pipermail/haskell-cafe/2008-April/041465.html 
     7 
    98 * #714 (fundeps treated inconsistently in superclasses and type sigs) 
    109 * #2291 (panic mixing RULES and type families) 
     
    1817 * #2157 (solution: lhs of type instances may not contain partially applied vanilla type synonyms) 
    1918   * Addition to user manual, see [http://www.haskell.org/pipermail/haskell-cafe/2008-March/040989.html] and [http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#type-synonyms] 
    20  * #1897 (see also http://www.haskell.org/pipermail/haskell-cafe/2008-April/041385.html) 
     19 * #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) 
    2120 * #2151 (GADT) 
    2221 * #2146 (minor problem)