From 3e09cf82ad111e0a6feed81b726849ceaaf3c805 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jan=20Hr=C4=8Dek?= Date: Sun, 5 Feb 2023 14:14:41 +0100 Subject: Remove extraneous word in Roles user guide --- docs/users_guide/exts/roles.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs') 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 -- cgit v1.2.1