Changes between Version 27 and Version 28 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
08/09/06 13:07:42 (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v27 v28  
    2929 * We need to somehow change the signatures of data constructors of ATs around so that they mention the Name of the type constructor declared in the class (and not the one of the instance the data constructor was declared in). Might be able to do that via a GADT style signature.  '''Rethink this under the new scheme.''' 
    3030 * Search for {{{!!!TODO}}} (eg, `TcTyClsDecls.lhs`) 
    31  * Extend `TcTyClDecls.tcTyAndClassDecls` to properly do kind checking for kind signatures and type equations. 
     31 * Extend `TcTyClDecls.tcTyAndClassDecls` to properly do kind checking for instances of indexed types. 
     32 * Check that patterns of type indexes don't contain type functions. 
    3233 
    3334Todo (high-level): 
    … …  
    3738 
    3839Done:  
    39  * Kind checking for associated data types. 
     40 * Kind checking for kind signatures. 
    4041 
    4142