File 1862-fixup-otp-Explain-the-term-equivalence-ope... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 1862-fixup-otp-Explain-the-term-equivalence-operators.patch of Package erlang

From 0a890fd458cbae2c8a0a01ee5de781847aac6b41 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?John=20H=C3=B6gberg?= <john@erlang.org>
Date: Fri, 6 Oct 2023 13:13:07 +0200
Subject: [PATCH 2/2] fixup! otp: Explain the term equivalence operators

---
 system/doc/reference_manual/expressions.xml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/system/doc/reference_manual/expressions.xml b/system/doc/reference_manual/expressions.xml
index 77f46d5363..0e3bac9302 100644
--- a/system/doc/reference_manual/expressions.xml
+++ b/system/doc/reference_manual/expressions.xml
@@ -840,7 +840,7 @@ number &lt; atom &lt; reference &lt; fun &lt; port &lt; pid &lt; tuple &lt; map
 whether two terms are indistinguishable. While the other operators
 consider the same numbers equal even when their types differ
 (<c>1 == 1.0</c> is true), the term equivalence operators return whether
- there exists any function that can tell their arguments apart.
+ or not there exists a way to tell the arguments apart.
 
 For example, while the terms <c>0</c> and <c>0.0</c> represent the same
 number, we can tell them apart by using the <c>is_integer/1</c>
@@ -855,8 +855,9 @@ number &lt; atom &lt; reference &lt; fun &lt; port &lt; pid &lt; tuple &lt; map
 
 The term equivalence operators are useful when reasoning about terms as 
 opaque values, for example in associative containers or memoized
- functions where using the equal-to operator (<c>==</c>) can result in
- subtly incorrect results.
+ functions where using the equal-to operator (<c>==</c>) risks producing
+ incorrect results as a consequence of mixing up numbers of different
+ types.
 
 Term comparison operators return the Boolean value of the
 expression, <c>true</c> or <c>false</c>.
-- 
2.35.3

Places

File 1862-fixup-otp-Explain-the-term-equivalence-operators.patch of Package erlang

Places