Changes between Version 6 and Version 7 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 28, 2006 10:17:47 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v6 v7  
    66 
    77== Parsing and Renaming == 
     8 
     9Todo (low-level): 
     10 * Extend `HsDecls.countTyClDecls` and its use in `HscStats.ppSourceStats` to properly account for type functions (kind signatures and equations). 
    811 
    912Todo (high-level): 
     
    3235 * 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.''' 
    3336 * Search for {{{!!!TODO}}}. 
     37 * Extend `TcTyClDecls.tcTyAndClassDecls` to properly do kind checking for type function signatures and equations. 
    3438 
    3539Todo (high-level):