Context Navigation

Changes between Version 137 and Version 138 of TypeFunctionsStatus

v137	v138
4	4
5	5	'''Current:'''
	6	0. For Tom: Construct `TyCon` for type equation in `tcIdxTyInstDecl1`. This needs to be a synonym tycon, which still needs to be extended to include family information.
6	7	1. Dictionary handling for equational constraints:
7	8	* Where do we check the details of the formation of equational constraints? (In `check_pred_ty`?)
…	…
34	35	* RHS of a `type instance` must be a tau type.
35	36	* Check that patterns of type indexes don't contain type functions.
36		* Construct `TyCon` for type equation in `tcIdxTyInstDecl1`. This needs to be a synonym tycon, which still needs to be extended to include family information.
37	37	* Implement the equation of `conflict`, which is local to `FamInst.addLocalFamInst`, for synonyms; ie, check that the left hand sides coincide under the substitution.
38	38	* 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.)