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: 24.3.50; wrong defcustom type for `suggest-key-bindings' Date: Sat, 25 Sep 2021 06:00:20 -0700 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="2766"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Lars Ingebrigtsen , 15809@debbugs.gnu.org To: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sat Sep 25 15:01:11 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 1mU7Il-0000Xv-LP for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 25 Sep 2021 15:01:11 +0200 Original-Received: from localhost ([::1]:47810 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mU7Ik-0000wW-AT for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 25 Sep 2021 09:01:10 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:56042) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mU7Ic-0000w6-FJ for bug-gnu-emacs@gnu.org; Sat, 25 Sep 2021 09:01:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:48848) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mU7Ic-0000eg-6v for bug-gnu-emacs@gnu.org; Sat, 25 Sep 2021 09:01:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mU7Ic-0003m7-4E for bug-gnu-emacs@gnu.org; Sat, 25 Sep 2021 09:01: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 13:01: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 fixed Original-Received: via spool by 15809-submit@debbugs.gnu.org id=B15809.163257483014464 (code B ref 15809); Sat, 25 Sep 2021 13:01:02 +0000 Original-Received: (at 15809) by debbugs.gnu.org; 25 Sep 2021 13:00:30 +0000 Original-Received: from localhost ([127.0.0.1]:60394 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mU7I5-0003lE-Vt for submit@debbugs.gnu.org; Sat, 25 Sep 2021 09:00:30 -0400 Original-Received: from mail-pg1-f174.google.com ([209.85.215.174]:43713) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mU7I3-0003l0-Hb for 15809@debbugs.gnu.org; Sat, 25 Sep 2021 09:00:28 -0400 Original-Received: by mail-pg1-f174.google.com with SMTP id r2so12691907pgl.10 for <15809@debbugs.gnu.org>; Sat, 25 Sep 2021 06:00:27 -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:content-transfer-encoding; bh=mPsb/wlKBxOBL8rKhuKMfHpW7I1A8uYefCSAitczNPs=; b=VLZF6liOEXV9YtEZBeBqTKVJD2bgh1FH8uEcoyf+tLEgiPthA+/raNCSVCYu2gK/J0 opXgyB7wokZ62vDBLztGpCku133062aMVj1eTL8YSBJzsDwpQXsjLEY15ZL9yoo4S4xy 16GnKaDe754R+VKjKnQVf7B32mweuQUNHviRcUvztwo/TZGJlDqmu6fEfApn1j8bfJfE WiKT/hoX8SpMjGlCVOTqDO0khbjueb63kCK6YNfFzXd0Pio9K74tSzBmHVH7o1yoEbUp U1XLvYF1FS87lFduxYeLTXwTgH7aOM7QGMsAfpw2+x4ECmXhBLP6ar43QbAsNDtpOacH iXUw== X-Gm-Message-State: AOAM533sLorA9OE/5M82aZgynDdihDXQ22lHKeIqPraNOSE6AqvvLsCt p73xQcit0hm4vD4TShSvAv8bKCBBbjttgoEFJis= X-Google-Smtp-Source: ABdhPJwcR1S0QOGrHnFdqCRZ6iEkpAVBDJzUbDFVWayRpLjazrBOzTYxLoiGoh6DTbBt+sc6ZWkvsQZw3PQPPML5404= X-Received: by 2002:a62:cd0f:0:b0:447:b8fe:d6c2 with SMTP id o15-20020a62cd0f000000b00447b8fed6c2mr14673730pfg.70.1632574821345; Sat, 25 Sep 2021 06:00:21 -0700 (PDT) Original-Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Sat, 25 Sep 2021 06:00:20 -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:215438 Archived-At: Mattias Engdeg=C3=A5rd writes: >> (define-widget 'natnum 'restricted-sexp >> "A nonnegative integer." >> :tag "Integer (positive)" > > Sorry, but this is just wrong. 0 is not a positive integer. The text does not say that zero is positive. Feel free to improve it, but I don't think the terminology "nonnegative" is unusual or incorrect. For example, here is the definition of "nonnegative integer" from Wolfram MathWorld: Nonnegative Integer An integer that is either 0 or positive, i.e., a member of the set =E2=84=A4^* =3D {0} =E2=88=AA =E2=84=A4^+, where =CE=96-+ denotes the p= ositive integers. SEE ALSO: Negative Integer, Nonpositive Integer, Positive Integer, Z-* https://mathworld.wolfram.com/NonnegativeInteger.html