[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] branch main updated: Add clarification about the less pr
From: |
Mikael Djurfeldt |
Subject: |
[Guile-commits] branch main updated: Add clarification about the less predicate passed to merge and sort |
Date: |
Mon, 09 Dec 2024 17:46:42 -0500 |
This is an automated email from the git hooks/post-receive script.
mdj pushed a commit to branch main
in repository guile.
The following commit(s) were added to refs/heads/main by this push:
new 98c8a014b Add clarification about the less predicate passed to merge
and sort
98c8a014b is described below
commit 98c8a014b2643e3ba07f4d878cfe0e3612b5af79
Author: Mikael Djurfeldt <mikael@djurfeldt.com>
AuthorDate: Mon Dec 9 23:46:20 2024 +0100
Add clarification about the less predicate passed to merge and sort
---
doc/ref/api-utility.texi | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/doc/ref/api-utility.texi b/doc/ref/api-utility.texi
index 5f2e67fa4..7ffed2d81 100644
--- a/doc/ref/api-utility.texi
+++ b/doc/ref/api-utility.texi
@@ -273,7 +273,10 @@ to @var{value}.
Sorting is very important in computer programs. Therefore, Guile comes
with several sorting procedures built-in. As always, procedures with
names ending in @code{!} are side-effecting, that means that they may
-modify their parameters in order to produce their results.
+modify their parameters in order to produce their results. The predicate
+@var{less} passed as second or third argument to the procedures below is
+assumed to define a strict weak order on the elements to be merged or
+sorted.
The first group of procedures can be used to merge two lists (which must
be already sorted on their own) and produce sorted lists containing
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Guile-commits] branch main updated: Add clarification about the less predicate passed to merge and sort,
Mikael Djurfeldt <=