Changes between Version 32 and Version 33 of TypeFunctionsStatus

Aug 10, 2006 9:03:17 PM (11 years ago)



  • TypeFunctionsStatus

    v32 v33  
    2222 * Applications of indexed types need to be applied to all type indexes.
    2323 * Default AT synonyms are only allowed for ATs defined in the same class.
    24  * 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.'''
     24 * We need to require -fglasgow-exts for kind signatures.  (We already check this for instances of indexed types.)
    2525 * For each case scrutinising an associated data type, check that all constructors have been defined in a single instance.  (Maybe we can just extend the existing check that ensures that case expressions don't mix constructors of different data types.)
    2626 * Check that each AT definition mirrors the class arguments of the instance in its type indexes. This might be a bit more tricky if we want to allow that they can vary syntactically before expansion of type synonyms. (Do this in the type checker unless we find it is very hard to do there; then, revert to trying it during renaming.)