Changes between Version 22 and Version 23 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 8, 2006 9:58:27 PM (9 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: