From: Stefan Kangas <stefan@marxist.se>
To: Drew Adams <drew.adams@oracle.com>, Lars Ingebrigtsen <larsi@gnus.org>
Cc: "15809@debbugs.gnu.org" <15809@debbugs.gnu.org>
Subject: bug#15809: [External] : Re: bug#15809: 24.3.50; wrong defcustom type for `suggest-key-bindings'
Date: Fri, 24 Sep 2021 19:25:56 -0700 [thread overview]
Message-ID: <CADwFkmnxD3AFsnLmNwG7JwaEAyk31akafif9FGmrOPjxw9Lc8g@mail.gmail.com> (raw)
In-Reply-To: <SJ0PR10MB5488CA0AF06F4F745C54E31DF3A59@SJ0PR10MB5488.namprd10.prod.outlook.com>
Drew Adams <drew.adams@oracle.com> writes:
>> How about the attached?
>
> In some cases you say "must", in other cases you say "should".
This inconsistency is there in the documentation already, compare:
:type-error "This field should contain an integer"
With:
@item integer
The value must be an integer.
Sorting it out seems beyond the scope of this bug report. If we even
need to do anything about it.
> You could say that one can always assign an option a value
> that doesn't match its :type spec. So in practice, there's
> no solid enforcement of the law. Still, the law says the
> value must be a nonnegative integer, regardless of whether
> there are ways to escape enforcement. It's the law that
> gets written as the rule. ;-)
I basically agree, but we use "must" and "should" interchangeably all
over Emacs. In context, they mean more or less the same thing.
next prev parent reply other threads:[~2021-09-25 2:25 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-11-05 15:30 bug#15809: 24.3.50; wrong defcustom type for `suggest-key-bindings' Drew Adams
2014-02-08 3:36 ` Lars Ingebrigtsen
2014-02-09 2:14 ` Drew Adams
2014-02-11 11:47 ` Lars Ingebrigtsen
2020-10-28 7:50 ` Stefan Kangas
2020-10-28 8:00 ` Lars Ingebrigtsen
2020-10-28 14:25 ` Drew Adams
2021-09-24 23:32 ` Stefan Kangas
2021-09-25 1:50 ` bug#15809: [External] : " Drew Adams
2021-09-24 23:34 ` Stefan Kangas
2021-09-25 1:09 ` Lars Ingebrigtsen
2021-09-25 1:29 ` bug#15809: [External] : " Drew Adams
2021-09-25 1:54 ` Stefan Kangas
2021-09-25 2:06 ` Lars Ingebrigtsen
2021-09-25 2:43 ` Stefan Kangas
2021-09-25 1:24 ` bug#15809: [External] : " Drew Adams
2021-09-25 2:25 ` Stefan Kangas [this message]
2021-09-25 15:22 ` Drew Adams
2021-09-25 15:56 ` Stefan Kangas
2021-09-25 16:01 ` Eli Zaretskii
[not found] <D0F524A8-6F43-4A73-928B-EC91FAFA2866@acm.org>
2021-09-25 13:00 ` Stefan Kangas
2021-09-25 15:31 ` bug#15809: [External] : " Drew Adams
2021-09-25 15:24 ` Drew Adams
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=CADwFkmnxD3AFsnLmNwG7JwaEAyk31akafif9FGmrOPjxw9Lc8g@mail.gmail.com \
--to=stefan@marxist.se \
--cc=15809@debbugs.gnu.org \
--cc=drew.adams@oracle.com \
--cc=larsi@gnus.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).