Changes between Version 453 and Version 454 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 7, 2009 12:15:46 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v453 v454  
    77 * Declarations involving families:
    88  * #3405 (simple fix to pretty printing of family instance headers)
     9  * #3418 (equalities in stupid theta need to be turned into foralls before Core)
    910  * 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.)
    1011  * #2435 (Inconsistency in handling qualification of names of class methods and associated types in instance declarations)