Changes between Version 21 and Version 22 of TypeFunctionsStatus


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v21 v22  
    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.) 
    1213 
    1314Done: