Changes between Version 15 and Version 16 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 2, 2006 12:16:08 AM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v15 v16  
    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.''' 
    2727 * Search for {{{!!!TODO}}} (eg, `TcTyClsDecls.lhs`) 
    28  * Extend `TcTyClDecls.tcTyAndClassDecls` to properly do kind checking for type function signatures and equations. 
     28 * Extend `TcTyClDecls.tcTyAndClassDecls` to properly do kind checking for kind signatures and type equations. 
    2929 
    3030Todo (high-level):