Changes between Version 45 and Version 46 of TypeFunctionsStatus
- Aug 16, 2006 4:02:46 PM (8 years ago)
v45 v46 22 22 23 23 Todo (low-level): 24 24 25 * In an AT definition, no argument variable may be repeated. 25 26 * 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.