Changes between Version 38 and Version 39 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 11, 2006 8:21:45 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v38 v39  
    44 
    55'''Current:'''  
    6  * Type checking of kind signatures & testing. 
     6 * Test type checking of declarations of indexed types. 
    77 
    88== Parsing and Renaming == 
     
    2929  
    3030Todo (high-level): 
    31  1. Type checking of associated data types. 
    32  2. Type checking of associated synonym defaults.  (Default AT synonyms are only allowed for ATs defined in the same class.) 
     31 1. Type checking in the presence of associated data types. 
     32 2. Type checking in the presence of associated synonym defaults.  (Default AT synonyms are only allowed for ATs defined in the same class.) 
    3333 3. Type checking of type functions (and hence, associated type synonyms); forget about `iso` for the moment. 
    3434 4. Type check functional dependencies as type functions. 
    3535 
    3636Done:  
    37  * Kind checking of kind signatures. 
     37 * Kind and type checking of kind signatures. 
    3838 * Kind and type checking of instance declarations of indexed types. 
    3939 
     
    4444 
    4545Todo (high-level): 
    46  1. Desugar associated data types. 
    47  2. Desugar type functions and equality constraints. 
    48  3. Extend interface files. 
     46 1. Desugar indexed data types. 
     47 2. Extend interface files. 
    4948  * How do we exactly want to represent ATs in interface files? 
    5049   * SPJ pointed out that instances are maintained in `InstEnv.InstEnv` with different values for the home packages and others. The definitions of ATs may have to be maintained in a similar way, as they are also incrementally collected during compiling a program. 
     
    5251  * Export and import lists: The name lists that may appear at class imports and exports can now also contain type names, which is tricky as data type names can carry a list of data constructors. 
    5352  * At the moment, we add as the parent name of the data constructors of associated data types defined in instances, the new name for the data type constructor, which is ''different'' from that of the data type constructor in the class (also their source representation is the same). We may need to fix that during renaming. (We can't easily fix it in `getLocalDeclBinders`, where the names of the data constructors are made, as we don't have the means to get at the right class at that point.) 
     53 3. Desugar type functions and equality constraints. 
    5454 
    5555Done: Nothing.