Changes between Version 451 and Version 452 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 31, 2009 7:14:35 AM (6 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)