Changes between Version 30 and Version 31 of TypeFunctionsStatus
- Aug 10, 2006 4:22:31 PM (11 years ago)
v30 v31 21 21 Todo (low-level): 22 22 * Applications of indexed types need to be applied to all type indexes. 23 * Match definitions of indexed types against their signatures. 23 * 24 24 * Default AT synonyms are only allowed for ATs defined in the same class. 25 25 * 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.'''