Changes between Version 106 and Version 107 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 7, 2006 4:36:09 AM (8 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 ==