From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Kangas Newsgroups: gmane.emacs.bugs 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 Message-ID: References: <87txca8ede.fsf@building.gnus.org> <87zh46wzj7.fsf@gnus.org> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="13631"; mail-complaints-to="usenet@ciao.gmane.io" Cc: "15809@debbugs.gnu.org" <15809@debbugs.gnu.org> To: Drew Adams , Lars Ingebrigtsen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sat Sep 25 04:27:13 2021 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mTxPE-0003Lf-CI for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 25 Sep 2021 04:27:12 +0200 Original-Received: from localhost ([::1]:41798 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mTxPC-0003xs-VF for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 24 Sep 2021 22:27:10 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:55646) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mTxP4-0003wv-Qc for bug-gnu-emacs@gnu.org; Fri, 24 Sep 2021 22:27:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:48328) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mTxP4-0007kc-JH for bug-gnu-emacs@gnu.org; Fri, 24 Sep 2021 22:27:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mTxP4-000626-5g for bug-gnu-emacs@gnu.org; Fri, 24 Sep 2021 22:27:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Kangas Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 25 Sep 2021 02:27:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 15809 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch Original-Received: via spool by 15809-submit@debbugs.gnu.org id=B15809.163253676923072 (code B ref 15809); Sat, 25 Sep 2021 02:27:02 +0000 Original-Received: (at 15809) by debbugs.gnu.org; 25 Sep 2021 02:26:09 +0000 Original-Received: from localhost ([127.0.0.1]:59868 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mTxOC-000604-P8 for submit@debbugs.gnu.org; Fri, 24 Sep 2021 22:26:08 -0400 Original-Received: from mail-pj1-f53.google.com ([209.85.216.53]:55819) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mTxO6-0005zS-RV for 15809@debbugs.gnu.org; Fri, 24 Sep 2021 22:26:07 -0400 Original-Received: by mail-pj1-f53.google.com with SMTP id t20so8237781pju.5 for <15809@debbugs.gnu.org>; Fri, 24 Sep 2021 19:26:02 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:in-reply-to:references:mime-version:date :message-id:subject:to:cc; bh=yEl/XF7HIV/XjNlIFJ6nL9VdN4WRTujrswdeD4aV6lU=; b=pbDI+q1MAMZGlDMYowhw00+jERcuiSRv0pdwcVrEmPVva6edm88Cn1YoFfdZ7KVvni mPjVf9VGpqctSFk6uzBxfQi+Xj9T3kzgfD/8N6tAUv5RpVT4VeqkPWUYcApSQOfWnU75 QVTZP5WRU6Acgv1Pd3VngSaZL/txuvZ9oqDoMQYpVlmwiD9yL66eILBr+EbMdNHxCPIh mcFHZ3gHNK0LzdTf0iWp1A9wW95fNiOHv8G4PUtQGfQbCAzkUYhobAW+KuHj+/C0f8xB gm9SEfY+E08i0mFxUsoOeoz2smkSADAIEd0HXfaJv6AMiek9bUMh9OioCkKZwx40QatS qSEA== X-Gm-Message-State: AOAM532S+4TP8T9aDd69ppi12B9ZeOgKKHtixYEyHwiN+gZGo0XlDs0E pTp7uQxZW545WJEH3NIcn+UXwsiNsI17ItahTqM= X-Google-Smtp-Source: ABdhPJwBpEmcfNvcALP/chijbSLevMmGjdQVfiepTRmzH/+/mCz8APU64BUcw1eLEnwmFG8A5IH1fBo8wqkhPiP0ezI= X-Received: by 2002:a17:90a:460a:: with SMTP id w10mr5925840pjg.132.1632536757091; Fri, 24 Sep 2021 19:25:57 -0700 (PDT) Original-Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Fri, 24 Sep 2021 19:25:56 -0700 In-Reply-To: X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:215397 Archived-At: Drew Adams 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.