Changes between Version 144 and Version 145 of TypeFunctionsStatus
- Jun 29, 2007 4:35:02 AM (7 years ago)
v144 v145 33 33 * RHS of a `type instance` must be a tau type. 34 34 * Check that patterns of type indexes don't contain type functions. 35 * Implement the equation of `conflict`, which is local to `FamInst.addLocalFamInst`, for synonyms; ie, check that the left hand sides coincide under the substitution. 36 35 * If an associated synonym has a default definition, use that in the instances. In contrast to methods, this cannot be overridden by a specialised definition. (Confluence requires that any specialised version is extensionally the same as the default.) 37 * It should be ok to allow newtype instances for data families. (NB: the rhs of a newtype is guaranteed to be a lifted type.) Is this desirable? 38 36 39 37 Todo (high-level): … … 76 74 * Generation and plumbing through of rough matches. 77 75 * Equational constraints in contexts. 78 79 == Testsuite == 80 81 Todo: 82 * Are the tests being compiled with CoreLint?