Changes between Version 77 and Version 78 of TypeFunctionsStatus
- Timestamp:
- 09/01/06 11:50:42 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TypeFunctionsStatus
v77 v78 27 27 28 28 Todo (low-level): 29 * data/newtype instances may not overlap. (Such definitions would always be non-confluent.) 29 * data/newtype instances may not overlap. (Such definitions would always be non-confluent.) We might be able to get away with a lazy check at every place where a value of family type is constructed (i.e., occurences of the datacon wrapper). Such a value may never be an inhabitant of more than one instance declaration. 30 30 * RHS of a `type instance` must be a tau type. 31 31 * Check that patterns of type indexes don't contain type functions.
