Changes between Version 30 and Version 31 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 10, 2006 4:22:31 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v30 v31  
    2121Todo (low-level): 
    2222 * Applications of indexed types need to be applied to all type indexes. 
    23  * Match definitions of indexed types against their signatures. 
     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.) 
    2424 * Default AT synonyms are only allowed for ATs defined in the same class. 
    2525 * 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.'''