Skip to content
Snippets Groups Projects
Commit 3e09cf82 authored by Jan Hrček's avatar Jan Hrček Committed by Marge Bot
Browse files

Remove extraneous word in Roles user guide

parent 77a8234c
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment