Changes between Version 444 and Version 445 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 10, 2009 4:37:54 AM (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v444 v445  
    77 * Declarations involving families: 
    88  * #2203 (TFs in class instance heads) 
     9  * Can we add a warning in case of a signature that is ambiguous due to a type variable only been mentioned as an argument to a type synonym family? 
    910  * #2435 (Inconsistency in handling qualification of names of class methods and associated types in instance declarations) 
    1011  * Defaults for associated type synonyms.  (Having both a kind signature and vanilla synonym is problematic as in `RnNames.getLocalDeclBinders` its hard to see that not both of them are defining declarations, which leads to a multiple declarations error.  Defaults are quite different from vanilla synonyms anyway, as they usually have tyvars on their rhs that do not occur on the lhs.)  If an associated synonym has a default definition, use that in the instances.  In contrast to methods, this cannot be overridden by a specialised definition.  (Confluence requires that any specialised version is extensionally the same as the default.) 
    11   * Can we add a warning in case of a signature that is ambiguous due to a type variable only been mentioned as an argument to a type synonym family? 
    1212 
    1313 * Constraint simplification: