summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGravatar Daphne Preston-Kendal 2022-12-09 18:17:51 +0100
committerGravatar Daphne Preston-Kendal 2022-12-09 18:19:48 +0100
commit54fd29319a024b64914e7710a4924d2025ac6423 (patch)
treea71c06a4684cae9218bf2060f2ef73a1d8c857ee
parentRestore explicit use of base cases (diff)
More extensive warning about the appropriateness of the name product
-rw-r--r--srfi-228.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/srfi-228.html b/srfi-228.html
index dfc3091..397dac1 100644
--- a/srfi-228.html
+++ b/srfi-228.html
@@ -77,7 +77,7 @@
</ul>
<p>If the ordering predicate or the hash function of any of the given comparators does not exist, the corresponding procedure in the product comparator will also not exist.</p>
<p>If there are no <var>comparator</var>s given, this procedure returns the <code>comparator-one</code>, or a new comparator with identical behaviour to it.</p>
- <p><i>Note:</i> Despite the name, this procedure actually creates comparators which are more general than a comparator over a product type, because each of the given <var>comparator</var>s has its own type test.</p>
+ <p><i>Note:</i> This procedure actually creates comparators which are more general than a comparator over a product type – for example, because each <var>comparator</var> has its own type test, it can be used to combine a comparator for one type with that of a subtype; or if more than one <var>comparator</var> looks at the same component of a type. However, in most cases it is expected that this procedure will be used together with <code>make-wrapper-comparator</code> to create comparators over record types i.e. product types, hence the name.</p>
<dt><code>(make-sum-comparator</code> <var>comparator</var> ... <code>)</code> (Procedure)
<dd>