guile-commits
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]