diff options
| author | ARATA Mizuki <minorinoki@gmail.com> | 2021-09-07 19:13:23 +0900 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-10-22 12:47:52 -0400 |
| commit | 01161374df162d956193f34f3f5b5ee141a05244 (patch) | |
| tree | 609dc352c82ab29fc472fa294ab81cec547c14ab /docs/users_guide | |
| parent | 169d97d4403d52a727cdf8dc74392d5239350ebb (diff) | |
| download | haskell-01161374df162d956193f34f3f5b5ee141a05244.tar.gz | |
Fix code example in the documentation of subsumption
(cherry picked from commit 6ea9b3ee4454b87ecc017d89f131a80f57ef65aa)
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/exts/rank_polymorphism.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/exts/rank_polymorphism.rst b/docs/users_guide/exts/rank_polymorphism.rst index 8e9f55dd5b..92c6c8ffd6 100644 --- a/docs/users_guide/exts/rank_polymorphism.rst +++ b/docs/users_guide/exts/rank_polymorphism.rst @@ -168,7 +168,7 @@ Suppose: :: g1 :: forall x y. Int -> y -> x -> x f2 :: (forall a. (Eq a, Show a) => a -> a) -> Bool - g2 :: forall x. (Show x, Eq x) => Int -> a -> b -> b + g2 :: forall x. (Show x, Eq x) => x -> x then ``f1 g1`` and ``f2 g2`` are both well typed, despite the different order of type variables and constraints. What happens is that the |