Changes between Version 40 and Version 41 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 11, 2006 8:35:44 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v40 v41  
    99
    1010Todo (high-level):
    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 lhs.)
     11 1. New syntax for indexed types: `type/data/newtype family` and `type/data/newtype instance`.  Then, the kind can be optional again (with `*` being the default).
     12 2. Parse and rename equality constraints in signatures.
     13 3. 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.)
    1314
    1415Done: