Changes between Version 328 and Version 329 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 2, 2008 10:52:51 AM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v328 v329  
    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.  
     8http://www.haskell.org/pipermail/haskell-cafe/2008-April/041465.html 
    79 * #714 (fundeps treated inconsistently in superclasses and type sigs) 
    810 * #2291 (panic mixing RULES and type families)