Changes between Version 13 and Version 14 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 2, 2006 12:14:30 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v13 v14  
    2525 * 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.) 
    2626 * 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.''' 
    27  * Search for {{{!!!TODO}}}. 
     27 * Search for {{{!!!TODO}}} (eg, TcTyClsDecls.lhs) 
    2828 * Extend `TcTyClDecls.tcTyAndClassDecls` to properly do kind checking for type function signatures and equations. 
    2929