Changes between Version 35 and Version 36 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 11, 2006 7:26:10 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v35 v36  
    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 kind signatures.  (We already check this for instances of indexed types.)
    2524 * 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.)
    2625 * 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.)