Changes between Version 451 and Version 452 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
07/31/09 00:14:35 (4 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v451 v452  
    66 
    77 * Declarations involving families: 
     8  * #3405 (simple fix to pretty printing of family instance headers) 
    89  * If a type variable occurs only in arguments to type synonym families in a signature, GHC ought to reject the signature as ambiguous.  (If the variable is mentioned in an argument to a type class in the context, we cannot reject it though, as the class may contain a TF or FD that constrains the variable.) 
    910  * #2435 (Inconsistency in handling qualification of names of class methods and associated types in instance declarations)