summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorJan Hrček <honza.hrk@gmail.com>2020-06-09 18:43:52 +0200
committerJan Hrček <honza.hrk@gmail.com>2020-06-16 20:36:38 +0200
commit56a9e95fd6c2f213d676c9a2bd0a6cf93c531dbb (patch)
tree1e77aaff04c643a81b7209ecbd33017686e32bf4 /docs
parentd0dcbfe646e52d0a1ef6d6e59a059323485775eb (diff)
downloadhaskell-56a9e95fd6c2f213d676c9a2bd0a6cf93c531dbb.tar.gz
Resolve TODO
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/exts/type_families.rst4
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