Changes between Version 69 and Version 70 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 26, 2006 11:50:39 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v69 v70  
    2828Todo (low-level): 
    2929 * data/newtype instances may not overlap.  (Such definitions would always be non-confluent.) 
    30  * In an AT definition, no argument variable may be repeated. 
    3130 * Check that the arguments of AT instances coincide with the respective instance arguments of their class. 
    3231 * 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. (Do this in the type checker - GHC does the corresponding checks for methods in the type checker, too.)