Changes between Version 71 and Version 72 of TypeFunctionsStatus
- Aug 27, 2006 1:52:30 AM (10 years ago)
v71 v72 30 30 * Check that the arguments of AT instances coincide with the respective instance arguments of their class. 31 31 * 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.) 32 * 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.) 33 32 * RHS of a `type instance` must be a tau type. 34 33 * Check that patterns of type indexes don't contain type functions.