summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorJan HrĨek <honza.hrk@gmail.com>2023-02-05 14:14:41 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2023-02-06 09:44:38 -0500
commit3e09cf82ad111e0a6feed81b726849ceaaf3c805 (patch)
tree42dc63749ad882a1b72b7ae8c3b2d2fa7b4ec3ed /docs
parent77a8234c5d284846e18c0a44ba5ee196059aaea6 (diff)
downloadhaskell-3e09cf82ad111e0a6feed81b726849ceaaf3c805.tar.gz
Remove extraneous word in Roles user guide
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/exts/roles.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/exts/roles.rst b/docs/users_guide/exts/roles.rst
index 1e3e8ddaeb..7e5384e53c 100644
--- a/docs/users_guide/exts/roles.rst
+++ b/docs/users_guide/exts/roles.rst
@@ -103,7 +103,7 @@ hand, has its parameter at role nominal, because ``Complex Age`` and
Role inference
--------------
-What role should a given type parameter should have? GHC performs role
+What role should a given type parameter have? GHC performs role
inference to determine the correct role for every parameter. It starts
with a few base facts: ``(->)`` has two representational parameters;
``(~)`` has two nominal parameters; all type families' parameters are