Changes between Version 19 and Version 20 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
08/01/06 20:58:01 (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v19 v20  
    1919 
    2020Todo (low-level): 
     21 * Applications of indexed types need to be applied to all type indexes. 
     22 * Match definitions of indexed types against their signatures. 
     23 * Default AT synonyms are only allowed for ATs defined in the same class. 
    2124 * 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.''' 
    2225 * 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.)