Changes between Version 457 and Version 458 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 18, 2009 12:54:26 PM (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v457 v458  
    66 
    77 * Declarations involving families: 
    8   * #3405 (simple fix to pretty printing of family instance headers) 
    98  * #3418 (equalities in stupid theta need to be turned into foralls before Core) 
    109  * 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.)