Changes between Version 34 and Version 35 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 11, 2006 6:26:20 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v34 v35  
    44 
    55'''Current:'''  
    6  * Kind checking; next: treatment of instances of indexed types in the form of `TcTyClDecl.tcIdxTyInstDecl`. 
     6 * Type checking of kind signatures & testing. 
    77 
    88== Parsing and Renaming == 
     
    2626 * Check that each AT definition mirrors the class arguments of the instance in its type indexes. This might be a bit more tricky if we want to allow that they can vary syntactically before expansion of type synonyms. (Do this in the type checker unless we find it is very hard to do there; then, revert to trying it during renaming.) 
    2727 * Check that each instance has a definition for every AT and also that all defined associated types are, in fact, declared by the class. (Do this in the type checker - GHC does the corresponding checks for methods in the type checker, too.) Also check that kind signatures that correspond to type variables in the AT declaration or class declaration match the kinds inferred for the AT declaration. (This certainly needs to be done in the type checker.) 
    28  * Search for {{{!!!TODO}}} (eg, `TcTyClsDecls.lhs`) 
    2928 * Check that patterns of type indexes don't contain type functions. 
    3029 * Constructs `InstInfo` for type equation in `tcIdxTyInstDecl1`. 
     30 * Construct representations for kind signatures in `tcTyClDecl1`. 
    3131 
    3232Todo (high-level): 
     
    3636 
    3737Done:  
    38  * Kind checking for kind signatures. 
    39  
     38 * Kind checking of kind signatures. 
     39 * Kind and type checking of instance declarations of indexed types. 
    4040 
    4141== Desugaring ==