diff options
| author | Jan Hrček <honza.hrk@gmail.com> | 2023-02-05 14:14:41 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-02-06 09:44:38 -0500 |
| commit | 3e09cf82ad111e0a6feed81b726849ceaaf3c805 (patch) | |
| tree | 42dc63749ad882a1b72b7ae8c3b2d2fa7b4ec3ed | |
| parent | 77a8234c5d284846e18c0a44ba5ee196059aaea6 (diff) | |
| download | haskell-3e09cf82ad111e0a6feed81b726849ceaaf3c805.tar.gz | |
Remove extraneous word in Roles user guide
| -rw-r--r-- | docs/users_guide/exts/roles.rst | 2 |
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 |