diff options
author | Jason Shipman <jasonpshipman@gmail.com> | 2023-01-27 22:52:41 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-30 21:21:50 -0500 |
commit | b69461a06166d2b1c600df87b87656d09122fb7c (patch) | |
tree | b5216320b941e81ee09e5bec90f6dc21248329c6 | |
parent | 68eb8877a73e09dd76a26017ec065fb843e843ed (diff) | |
download | haskell-b69461a06166d2b1c600df87b87656d09122fb7c.tar.gz |
User's guide: Clarify overlapping instance candidate elimination
This commit updates the user's guide section on overlapping instance candidate
elimination to use "or" verbiage instead of "either/or" in regards to the
current pair of candidates' being overlappable or overlapping. "Either IX is
overlappable, or IY is overlapping" can cause confusion as it suggests "Either
IX is overlappable, or IY is overlapping, but not both".
This was initially discussed on this Discourse topic:
https://discourse.haskell.org/t/clarification-on-overlapping-instance-candidate-elimination/5677
-rw-r--r-- | docs/users_guide/exts/instances.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/exts/instances.rst b/docs/users_guide/exts/instances.rst index 84276527a3..17ef06885b 100644 --- a/docs/users_guide/exts/instances.rst +++ b/docs/users_guide/exts/instances.rst @@ -486,8 +486,8 @@ like this: - :math:`IY` is strictly more specific than :math:`IX`. That is, :math:`IY` is a substitution instance of :math:`IX` but not vice versa. - - Either :math:`IX` is *overlappable*, or :math:`IY` is *overlapping*. (This - "either/or" design, rather than a "both/and" design, allow a + - :math:`IX` is *overlappable* or :math:`IY` is *overlapping*. (This + "or" design, rather than an "and" design, allows a client to deliberately override an instance from a library, without requiring a change to the library.) |