Changes between Version 23 and Version 24 of TypeFunctionsStatus
- Timestamp:
- 08/08/06 14:58:41 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TypeFunctionsStatus
v23 v24 10 10 Todo (high-level): 11 11 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. Defaults are quite different from vanilla synonyms anyway, as they usually have tyvars on their rhs that do not occur on the rhs.)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 lhs.) 13 13 14 14 Done:
