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.)