Changes between Version 74 and Version 75 of TypeFunctionsStatus
- 08/30/06 17:17:48 (7 years ago)
v74 v75 27 27 28 28 Todo (low-level): 29 * Check that the arguments of AT instances coincide with the respective instance arguments of their class. 30 29 * data/newtype instances may not overlap. (Such definitions would always be non-confluent.) 31 30 * RHS of a `type instance` must be a tau type.