diff options
| author | 2022-12-09 18:17:51 +0100 | |
|---|---|---|
| committer | 2022-12-09 18:19:48 +0100 | |
| commit | 54fd29319a024b64914e7710a4924d2025ac6423 (patch) | |
| tree | a71c06a4684cae9218bf2060f2ef73a1d8c857ee | |
| parent | Restore explicit use of base cases (diff) | |
More extensive warning about the appropriateness of the name product
| -rw-r--r-- | srfi-228.html | 2 |
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> |
