Changes between Version 96 and Version 97 of TypeFunctionsStatus

Timestamp:

10/10/06 21:27:43 (7 years ago)

Author:

chak

Comment:

--

TypeFunctionsStatus

@@ -36 +36 @@
  * RHS of a `type instance` must be a tau type.
  * Check that patterns of type indexes don't contain type functions.
- * We probably need to replicate quite a bit of the infrastructure used to maintain class instances for type instances.  In particular, we need to suck all home package instances into a field in the `TcGblEnv` similar to `tcg_inst_env` and all external instances in a field in `Hsc.ExternalPackageState` similar to `eps_inst_env`.
- * Construct `InstInfo` for type equation in `tcIdxTyInstDecl1`.
+ * Construct `TyCon` for type equation in `tcIdxTyInstDecl1`.  This needs to be a synonym tycon, which still needs to be extended to include family information.
+ * Implement the equation of `conflict`, which is local to `FamInst.addLocalFamInst`, for synonyms; ie, check that the left hand sides coincide under the substitution.
  * 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.)
  * 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?