Changes between Version 459 and Version 460 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
08/20/09 03:55:47 (4 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v459 v460  
    66 
    77 * Declarations involving families: 
    8   * #3418 (equalities in stupid theta need to be turned into foralls before Core) 
    98  * 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.) 
    109  * #2435 (Inconsistency in handling qualification of names of class methods and associated types in instance declarations)