* seq-every-p documentation suggestion
@ 2024-02-21 2:53 R. Clayton
0 siblings, 0 replies; 2+ messages in thread
From: R. Clayton @ 2024-02-21 2:53 UTC (permalink / raw)
To: help-gnu-emacs
The documentation for seq-every-p is incomplete because it specifies a function
satisfied by the definition
(defun seq-every-p (P S) t)
which I'm assuming isn't an acceptable implementation for seq-every-p. One
potential fix is to rewrite the specification as
Return non-nil if and only if PRED returns non-nil for all the elements of
SEQUENCE.
or more explicitly
Return non-nil if PRED returns non-nil for all the elements of SEQUENCE,
otherwise return nil.
The documentation should also describe what is expected when S is the empty
list.
This is in emacs 29.1 on Debian testing.
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: seq-every-p documentation suggestion
@ 2024-02-21 22:47 Mekeor Melire
0 siblings, 0 replies; 2+ messages in thread
From: Mekeor Melire @ 2024-02-21 22:47 UTC (permalink / raw)
To: R. Clayton; +Cc: help-gnu-emacs
2024-02-20 21:53 factotum@rclayton.org:
> The documentation for seq-every-p is incomplete because it specifies a function
> satisfied by the definition
>
> (defun seq-every-p (P S) t)
>
> which I'm assuming isn't an acceptable implementation for seq-every-p. One
> potential fix is to rewrite the specification as
>
> Return non-nil if and only if PRED returns non-nil for all the elements of
> SEQUENCE.
>
> or more explicitly
>
> Return non-nil if PRED returns non-nil for all the elements of SEQUENCE,
> otherwise return nil.
Another alternative would be to use "iff":
Return non-nil iff PRED returns non-nil for all the elements of
SEQUENCE.
> The documentation should also describe what is expected when S is the empty
> list.
Sounds good. Would you like to submit a bug report and a patch?
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2024-02-21 22:47 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-02-21 2:53 seq-every-p documentation suggestion R. Clayton
-- strict thread matches above, loose matches on Subject: below --
2024-02-21 22:47 Mekeor Melire
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).