Changes between Version 44 and Version 45 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 16, 2006 4:01:04 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v44 v45  
    2222 
    2323Todo (low-level): 
     24 * In an AT definition, no argument variable may be repeated. 
    2425 * Check that the arguments of AT instances coincide with the respective instance arguments of their class. This might be a bit more tricky if we want to allow that they can vary syntactically before expansion of type synonyms. 
    2526 * Check that each class instance has a definition for every AT and conversely that that all defined associated types are, in fact, part of the class - with the exception of associated synonyms with a default definition. (Do this in the type checker - GHC does the corresponding checks for methods in the type checker, too.)