Changes between Version 473 and Version 474 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 2, 2009 2:43:51 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v473 v474  
    1717 
    1818 * Declarations involving families: 
     19  * #3714: scoping error for associated types 
    1920  * 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.) 
    2021  * #2435 (Inconsistency in handling qualification of names of class methods and associated types in instance declarations)