Changes between Version 22 and Version 23 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 8, 2006 9:58:27 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v22 v23  
    1010Todo (high-level): 
    1111 1. Parse and rename equality constraints in signatures. 
    12  2. 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.) 
     12 2. 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 rhs.) 
    1313 
    1414Done: