diff options
| author | Jan Hrček <honza.hrk@gmail.com> | 2020-06-09 18:43:52 +0200 |
|---|---|---|
| committer | Jan Hrček <honza.hrk@gmail.com> | 2020-06-16 20:36:38 +0200 |
| commit | 56a9e95fd6c2f213d676c9a2bd0a6cf93c531dbb (patch) | |
| tree | 1e77aaff04c643a81b7209ecbd33017686e32bf4 | |
| parent | d0dcbfe646e52d0a1ef6d6e59a059323485775eb (diff) | |
| download | haskell-56a9e95fd6c2f213d676c9a2bd0a6cf93c531dbb.tar.gz | |
Resolve TODO
| -rw-r--r-- | docs/users_guide/exts/type_families.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/exts/type_families.rst b/docs/users_guide/exts/type_families.rst index c4153301b2..3c09e63a14 100644 --- a/docs/users_guide/exts/type_families.rst +++ b/docs/users_guide/exts/type_families.rst @@ -660,8 +660,8 @@ keyword in the family instance: :: ... The data or type family instance for an associated type must follow -the rule that the type indexes corresponding to class parameters must have -precisely the same {- TODO: same what? -} as type given in the instance head. For example: :: +the rule that the type indexes corresponding to class parameters must be +precisely the same as types given in the instance head. For example: :: class Collects ce where type Elem ce :: Type |