Changes between Version 72 and Version 73 of TypeFunctionsStatus
- Aug 27, 2006 1:53:21 AM (8 years ago)
v72 v73 27 27 28 28 Todo (low-level): 29 * data/newtype instances may not overlap. (Such definitions would always be non-confluent.) 30 29 * Check that the arguments of AT instances coincide with the respective instance arguments of their class. 31 30 * 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.) 31 32 32 * RHS of a `type instance` must be a tau type. 33 33 * Check that patterns of type indexes don't contain type functions.