Changes between Version 426 and Version 427 of TypeFunctionsStatus


Ignore:
Timestamp:
Mar 6, 2009 5:13:49 AM (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v426 v427  
    1313  * #2435 (Bug with qualified names in declarations) 
    1414  * 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.) 
     15  * 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? 
    1516 
    1617 * Constraint simplification: