Changes between Version 106 and Version 107 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 7, 2006 4:36:09 AM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v106 v107  
    1414 1. Parse and rename equality constraints in signatures.
    1515 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.)
    16  3. Import/export lists:
    17    * We need to be able to write something like `GMapKey(GMap,empty)`.
    18    * Export and import of data constructors declarated in `data instance`s.  We should be able to use the same syntax for the entity specs as for closed data types, but the meaning is somewhat different.
    1916
    2017Done:
     
    2421 * Added `-findexed-types` switch.
    2522 * Allowing `type` tag in export lists to list associated types in the sub-binder list of an import/export item for a class.
     23 * Import/export lists: ATs can be listed as subnames of classes and the data constructors of instances of a data family are subnames of that family.
    2624
    2725== Type Checking ==