diff options
author | Mark <saidelman+dev@ya.ru> | 2020-07-17 18:29:52 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-07-21 06:39:34 -0400 |
commit | 863c544c9849e49872acac64b8faea56a3311564 (patch) | |
tree | 7bbda09e243341c9dfe2a85db93fe3ac1544f602 | |
parent | 30caeee75193ea961c55ee847a3156e23116e84e (diff) | |
download | haskell-863c544c9849e49872acac64b8faea56a3311564.tar.gz |
Fix a typo in existential_quantification.rst
-rw-r--r-- | docs/users_guide/exts/existential_quantification.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/exts/existential_quantification.rst b/docs/users_guide/exts/existential_quantification.rst index c9cde919dd..42f5cbdc83 100644 --- a/docs/users_guide/exts/existential_quantification.rst +++ b/docs/users_guide/exts/existential_quantification.rst @@ -173,7 +173,7 @@ For example: :: data G a b where { G1 { g1::a, g2::c } :: G a [c] } upd3 g x = g { g1=x } -- OK: upd3 :: G a b -> c -> G c b - upd4 g x = g { g2=x } -- BAD (f2's type mentions c, which is not a simple + upd4 g x = g { g2=x } -- BAD (g2's type mentions c, which is not a simple -- type-variable argument in G1's result type) Restrictions |