Changes between Version 31 and Version 32 of TypeFunctionsStatus

Aug 10, 2006 8:32:51 PM (8 years ago)



  • TypeFunctionsStatus

    v31 v32  
    2121Todo (low-level): 
    2222 * Applications of indexed types need to be applied to all type indexes. 
    23  * Ensure that the number of parameters in an indexed type instance is at least the number of type indexes given in the definition.  (We already check the kinds.) 
    2423 * Default AT synonyms are only allowed for ATs defined in the same class. 
    2524 * We need to require -fglasgow-exts for ATs. (The type checker seems to be the place to check whether the flag was supplied.) To check this for classes, we need to have `Class.Class` suitably extended; the infrastructure for the check is already builtin in (see `binding no_ats` in `checkValidClass`).  '''We already do this to some extend.''' 
    2928 * 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.''' 
    3029 * Search for {{{!!!TODO}}} (eg, `TcTyClsDecls.lhs`) 
    31  * Extend `TcTyClDecls.tcTyAndClassDecls` to properly do kind checking for instances of indexed types. 
    3230 * Check that patterns of type indexes don't contain type functions. 
     31 * Constructs `InstInfo` for type equation in `tcIdxTyInstDecl1`. 
    3433Todo (high-level):