Changes between Version 41 and Version 42 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 14, 2006 9:30:42 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v41 v42  
    44
    55'''Current:'''
    6  * Test type checking of declarations of indexed types.
     6 * Compute `TyCon`s resulting from type instance declarations; then, test type checking of declarations of indexed types.
    77
    88== Parsing and Renaming ==
     
    2121
    2222Todo (low-level):
    23  * In `TcTyClsDecls.tcKindSigDecl`: compute resulting `TyCon` (i.e. representation of kind signatures)
    24  * Applications of indexed types need to be applied to all type indexes.
    2523 * Check that the arguments of AT instances coincide with the respective instance arguments of their class. This might be a bit more tricky if we want to allow that they can vary syntactically before expansion of type synonyms.
    2624 * Check that each class instance has a definition for every AT and conversely that that all defined associated types are, in fact, part of the class - with the exception of associated synonyms with a default definition. (Do this in the type checker - GHC does the corresponding checks for methods in the type checker, too.)