From: Eli Zaretskii <eliz@gnu.org>
To: Drew Adams <drew.adams@oracle.com>
Cc: contovob@tcd.ie, eggert@cs.ucla.edu, emacs-devel@gnu.org
Subject: Re: Predicate for true lists
Date: Fri, 06 Jul 2018 20:38:47 +0300 [thread overview]
Message-ID: <83601sl0wo.fsf@gnu.org> (raw)
In-Reply-To: <e0b6ffe6-db77-4086-857d-0b65499e240e@default> (message from Drew Adams on Fri, 6 Jul 2018 10:16:11 -0700 (PDT))
> Date: Fri, 6 Jul 2018 10:16:11 -0700 (PDT)
> From: Drew Adams <drew.adams@oracle.com>
> Cc: eggert@cs.ucla.edu, emacs-devel@gnu.org
>
> > Do we really want this usage of the function as a predicate? I find
> > this slightly unnatural, and also not future-proof enough, because you
> > rely on the checks 'length' does internally. If the internals of
> > 'length' change one day, this predicate usage will collapse like a
> > house of cards. Would it make more sense to have a separate
> > predicate?
>
> IIRC, the main motivation for adding this function was
> to provide a predicate for testing properness.
Then I'd prefer calling the function proper-list-p (and returning the
list length when it's a proper list) than the other way around.
next prev parent reply other threads:[~2018-07-06 17:38 UTC|newest]
Thread overview: 100+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-04-16 19:34 Predicate for true lists Basil L. Contovounesios
2018-06-04 12:12 ` Basil L. Contovounesios
2018-06-04 14:08 ` Stefan Monnier
2018-06-04 14:46 ` Basil L. Contovounesios
2018-06-04 15:31 ` Drew Adams
2018-06-04 16:14 ` Basil L. Contovounesios
2018-06-04 16:38 ` Drew Adams
2018-06-04 16:57 ` Stefan Monnier
2018-06-05 1:23 ` Paul Eggert
2018-06-05 2:57 ` Drew Adams
2018-06-05 3:08 ` Drew Adams
2018-06-05 3:12 ` Drew Adams
2018-06-05 3:25 ` Drew Adams
2018-06-05 15:05 ` Basil L. Contovounesios
2018-06-06 7:42 ` Paul Eggert
2018-06-06 9:40 ` Van L
2018-06-06 13:44 ` Stefan Monnier
2018-06-06 17:40 ` Stefan Monnier
2018-06-07 7:03 ` Van L
2018-07-05 22:31 ` Basil L. Contovounesios
2018-07-06 5:57 ` Eli Zaretskii
2018-07-06 17:16 ` Drew Adams
2018-07-06 17:38 ` Eli Zaretskii [this message]
[not found] ` <<83601sl0wo.fsf@gnu.org>
2018-07-06 18:00 ` Drew Adams
2018-07-07 6:54 ` Eli Zaretskii
[not found] ` <<<83601sl0wo.fsf@gnu.org>
[not found] ` <<95fda70b-5893-4788-83c5-a0bb5d708304@default>
[not found] ` <<8336wvleml.fsf@gnu.org>
2018-07-07 14:42 ` Drew Adams
2018-07-06 18:04 ` Paul Eggert
2018-07-07 6:58 ` Eli Zaretskii
2018-07-07 7:20 ` martin rudalics
2018-07-07 8:41 ` Paul Eggert
2018-07-07 10:04 ` Eli Zaretskii
2018-07-07 15:04 ` Basil L. Contovounesios
2018-07-07 16:12 ` Eli Zaretskii
2018-07-07 16:52 ` Basil L. Contovounesios
2018-07-07 17:07 ` Eli Zaretskii
2018-07-07 17:14 ` Paul Eggert
2018-07-07 17:34 ` Eli Zaretskii
2018-07-08 0:15 ` Drew Adams
2018-07-08 4:48 ` Paul Eggert
2018-07-08 15:15 ` Drew Adams
2018-07-08 16:00 ` Paul Eggert
2018-07-08 17:42 ` Drew Adams
2018-07-08 17:47 ` Paul Eggert
2018-07-07 17:06 ` Basil L. Contovounesios
2018-07-09 19:25 ` Basil L. Contovounesios
2018-07-09 19:40 ` Basil L. Contovounesios
2018-07-10 2:02 ` Paul Eggert
2018-07-10 5:46 ` Basil L. Contovounesios
2018-07-11 3:02 ` Paul Eggert
2018-07-11 6:27 ` Basil L. Contovounesios
2018-07-15 22:55 ` Wilfred Hughes
2018-07-16 1:37 ` Paul Eggert
2018-07-11 14:01 ` [Emacs-diffs] master babe0d4: Rearrange definition of zerop in subr.el Karl Fogel
2018-07-11 17:12 ` Basil L. Contovounesios
2018-07-11 17:33 ` Paul Eggert
2018-07-12 15:34 ` Basil L. Contovounesios
2018-07-12 15:43 ` Basil L. Contovounesios
2019-04-09 12:51 ` Predicate for true lists Basil L. Contovounesios
2019-04-09 15:33 ` Stefan Monnier
2019-04-09 16:20 ` Basil L. Contovounesios
2019-04-09 16:32 ` Stefan Monnier
2019-04-09 16:54 ` Daniel Colascione
2019-04-09 17:27 ` Basil L. Contovounesios
2019-04-09 17:27 ` Basil L. Contovounesios
2019-04-09 20:08 ` Unused value of error-free function warning (was: Predicate for true lists) Basil L. Contovounesios
2019-04-09 20:40 ` Unused value of error-free function warning Stefan Monnier
2019-04-09 20:12 ` Predicate for true lists Basil L. Contovounesios
2019-04-09 20:41 ` Stefan Monnier
2019-04-10 2:32 ` Eli Zaretskii
2019-04-10 14:16 ` Alex Branham
2019-04-10 14:34 ` Basil L. Contovounesios
2019-04-10 15:01 ` Drew Adams
2019-04-10 15:45 ` Basil L. Contovounesios
2019-04-10 16:04 ` Eli Zaretskii
2019-04-17 17:56 ` Basil L. Contovounesios
2019-04-17 18:11 ` Stefan Monnier
2019-04-21 21:42 ` Basil L. Contovounesios
2019-04-17 18:55 ` Drew Adams
2019-04-21 21:24 ` Basil L. Contovounesios
2019-04-22 0:03 ` Drew Adams
2019-04-22 1:12 ` Michael Heerdegen
2019-04-22 9:39 ` Drew Adams
2019-04-18 14:37 ` Eli Zaretskii
2019-04-21 18:30 ` Basil L. Contovounesios
2019-04-21 19:39 ` Eli Zaretskii
2019-04-21 21:37 ` Basil L. Contovounesios
2019-04-22 0:06 ` Drew Adams
2019-04-22 7:49 ` Eli Zaretskii
2019-04-22 12:59 ` Basil L. Contovounesios
2019-04-22 13:12 ` Eli Zaretskii
2019-04-22 15:19 ` Basil L. Contovounesios
2019-04-21 19:41 ` Eli Zaretskii
2019-04-21 21:41 ` Basil L. Contovounesios
2019-04-22 6:39 ` Eli Zaretskii
2019-04-22 12:58 ` Basil L. Contovounesios
2018-07-06 17:00 ` Drew Adams
2018-07-06 17:20 ` Paul Eggert
2018-07-06 17:33 ` Eli Zaretskii
2018-07-08 22:38 ` Basil L. Contovounesios
2018-07-06 17:30 ` Paul Eggert
[not found] <<87fu3vdjjk.fsf@tcd.ie>
[not found] <<<87fu3vdjjk.fsf@tcd.ie>
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=83601sl0wo.fsf@gnu.org \
--to=eliz@gnu.org \
--cc=contovob@tcd.ie \
--cc=drew.adams@oracle.com \
--cc=eggert@cs.ucla.edu \
--cc=emacs-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
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).