From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.bugs Subject: bug#15809: [External] : Re: bug#15809: 24.3.50; wrong defcustom type for `suggest-key-bindings' Date: Sat, 25 Sep 2021 15:24:48 +0000 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="4220"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Lars Ingebrigtsen , "15809@debbugs.gnu.org" <15809@debbugs.gnu.org> To: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= , Stefan Kangas Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sat Sep 25 17:46:47 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 1mU9t0-0000uO-Ig for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 25 Sep 2021 17:46:46 +0200 Original-Received: from localhost ([::1]:34218 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mU9sz-0003qI-Dz for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 25 Sep 2021 11:46:45 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:46684) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mU9Y1-0001K6-AD for bug-gnu-emacs@gnu.org; Sat, 25 Sep 2021 11:25:07 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:51025) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mU9Xy-0006Uo-MI for bug-gnu-emacs@gnu.org; Sat, 25 Sep 2021 11:25:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mU9Xy-0003cu-C5 for bug-gnu-emacs@gnu.org; Sat, 25 Sep 2021 11:25:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Drew Adams Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 25 Sep 2021 15:25: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.163258349513921 (code B ref 15809); Sat, 25 Sep 2021 15:25:02 +0000 Original-Received: (at 15809) by debbugs.gnu.org; 25 Sep 2021 15:24:55 +0000 Original-Received: from localhost ([127.0.0.1]:34338 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mU9Xq-0003cT-Vk for submit@debbugs.gnu.org; Sat, 25 Sep 2021 11:24:55 -0400 Original-Received: from mx0a-00069f02.pphosted.com ([205.220.165.32]:41304) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mU9Xp-0003cL-As for 15809@debbugs.gnu.org; Sat, 25 Sep 2021 11:24:53 -0400 Original-Received: from pps.filterd (m0246627.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.16.1.2/8.16.1.2) with SMTP id 18PCo4Xl021080; Sat, 25 Sep 2021 15:24:52 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=from : to : cc : subject : date : message-id : references : in-reply-to : content-type : content-transfer-encoding : mime-version; s=corp-2021-07-09; bh=NCrvzvtZfqwkGxbbjIkmFDjJyGJ9fUBiO7do5ih0reM=; b=qIB7j0GRA4lKRF4IsO96iGCq4/D8EylGL7VX5kunBf8WqEG0OC/lKutAF+KnZ6dI5E53 AQhRPVx9NQK6Ibualh0uW93voVkk7lBltUYAUPZBnB/Lb+OYaTAtO1+E/mGSQzqOy+mt WQjYTgiwqwBhhlMR0r6bZeV4ZZ9Ws1oTywYd9c7hggfv+ZneMvljmdgy29/y04c9lMIe wfXs8UeUkdH7UJ2BEZBBcn+p9GbPIgDPFYXTkoQfkyLFa7z/IFMIWjbTZ0pjhW2X/NeS te2oKE4L6Cd86MkZg2uFsKqxthVS7cYHPFQT62O0hygyLBYeNjxgU/2+t4NbU1SxnIJf /A== Original-Received: from userp3030.oracle.com (userp3030.oracle.com [156.151.31.80]) by mx0b-00069f02.pphosted.com with ESMTP id 3b9tc11738-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sat, 25 Sep 2021 15:24:52 +0000 Original-Received: from pps.filterd (userp3030.oracle.com [127.0.0.1]) by userp3030.oracle.com (8.16.0.42/8.16.0.42) with SMTP id 18PFJkrP060084; Sat, 25 Sep 2021 15:24:50 GMT Original-Received: from nam11-dm6-obe.outbound.protection.outlook.com (mail-dm6nam11lp2173.outbound.protection.outlook.com [104.47.57.173]) by userp3030.oracle.com with ESMTP id 3b9rvry5tm-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sat, 25 Sep 2021 15:24:50 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=a6ab8+Yka3303UETWjl/dwOon3gZSKYap8AavrvUu9vW0ykyO4fIlz4gHZD5ufWH19eTPhOb1LPuSlPzWCOEYTfuSXUZCCZ5IA41T5NORNogUStFL0aIlj7asJ5u1lXWXwOhKCscqYgkYvYQjAyvx4CUIdAPo+TDR961znQ888p+wvJsRc7mjqQbeNNqflEeVBQu6HKaOTr0xfrK9pu0untGwh6N6NCbkK5rMiWjlPzrz3bymkJCf4d/M0Wwe4c4CMyIF/eZQmjrpu12+DoelkqjSgWUb28oXz6ihc53ciXmJfrSclt3JpTTH/GqJF2ybWv1IpneK/XLx84auii/MA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=NCrvzvtZfqwkGxbbjIkmFDjJyGJ9fUBiO7do5ih0reM=; b=SePJ5YXipkWiiq5G647ahY6eUj8jmpcJ17BaIn/dhKVtONFAEw++3dnGP/kwA5xDi6E4G3jLb374ihfX4F4oPxVaop4G4N1272iPLudqwtJb8QsiER01QOm6SxALzCpRVCPyW7v/0lzVNwrchoNxoFWJYdkbRbmN0DqjXOcG58EzKzBxTpEuZzHsd2GuXykhwjAcm1ZionZeHjK2NfUtR4eWjz+hykBz9r4UoBnTDA9wIsY2WNHi5nNzddM6TOGTzd9FSejlVn1bzBnQ8lFdhS6KwUHMMK8KDYfxNhLCkY/P1T5l5WvBPsWmmlykZfrV3a9J+xoYlv1P5sOiDLZWVQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=oracle.com; dmarc=pass action=none header.from=oracle.com; dkim=pass header.d=oracle.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.onmicrosoft.com; s=selector2-oracle-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=NCrvzvtZfqwkGxbbjIkmFDjJyGJ9fUBiO7do5ih0reM=; b=soaBUyPMFUfXqVJlq3nYvcTw4Vy0r+7v0yDy/ANGCPemjWwaWcMr7peDOJjR6YnBA9CIy4HRWIrxXBc0ohkFzrf6bRTwsQZtFZKTXocYiEJCr00AIGp+DmPaNEX3ql+LnIzjR0Njjqo2YOpJJwKSU8I2E18dF3mZex4Enq6EueA= Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com (2603:10b6:a03:37e::19) by BY5PR10MB4257.namprd10.prod.outlook.com (2603:10b6:a03:211::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4544.15; Sat, 25 Sep 2021 15:24:48 +0000 Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com ([fe80::c0bc:7c3a:292f:8a82]) by SJ0PR10MB5488.namprd10.prod.outlook.com ([fe80::c0bc:7c3a:292f:8a82%9]) with mapi id 15.20.4544.020; Sat, 25 Sep 2021 15:24:48 +0000 Thread-Topic: [External] : Re: bug#15809: 24.3.50; wrong defcustom type for `suggest-key-bindings' Thread-Index: AQHXsfpTo6BwTkvuIkyaBIxCP0hK66u03mNQ In-Reply-To: Accept-Language: en-US Content-Language: en-US authentication-results: acm.org; dkim=none (message not signed) header.d=none;acm.org; dmarc=none action=none header.from=oracle.com; x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 0ebdd9ac-96f1-4c3f-1f5e-08d980389cec x-ms-traffictypediagnostic: BY5PR10MB4257: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:8273; x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 5S/eImmM7j7FdpAaHCNyyTM7ipl+OuHP18DyW+8Ui7fjJTKU5War0icUq/tlLmCaCRetPv0Z3tNlmh8NHaDA8U1WBzzKjkhwDZ53tM/8RJe9T4uc2GgB3/YIJtYxhKOSSBho566mwM+ukBtSXCVGnZp65xOTFqWjAPZtk1MlLHio7Rog+TXwCe7hTQtSrcF0LsbCW/kfV/7/AKmaP2fgEaohL/mFEYpluC4UlE9KOiqkOYeLYydeahOSu+Fi5qQcFMCa0KM966KfKb9ZXqk8SM22ERApTSz1PrZYMR7WnoEAlS9mV32efE7P2RLKcCZ6YXHq6BBTMxrGhXaSX9DU+Le7f3R0Ri2OkPRkC6QVW+hgmrCmEbuSfwDPfOpfmnX886NDbHqXbMeNiPBAmsnGHuzUKBWozQYBDit19LTL3tXFp5TMAdDkJS3OMn2k0qohw/E8mRXJF9UAec0w0ppjE8hHdu/94F/f6MmIQ+lVaYYjhn88nO/LnqxeQ3g0Cv2tV6iZrdxRWIqtcHV1sGgHrf2TfeGGs8IIvcq3kOePUkTaHPDU+kfTvLRByn2I3RfkkxdfU25g/rIpkRMCg+ohfFPFqr0u2TJg/+UreL0OTRP1pMf4XiTu400ZyTrTPmfOUh4q030TjwoOaIc+0TzM2YCLMZWY/65Rg+cQhDcTTbNzuyjS4Ru7ZxQZs2pEfpTGupYjwpg3PrZM39SCFtNZH+ayHCt7+aFisAB4D4WVrIc= x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:SJ0PR10MB5488.namprd10.prod.outlook.com; PTR:; CAT:NONE; SFS:(366004)(64756008)(66446008)(7696005)(8936002)(76116006)(66946007)(66556008)(508600001)(66476007)(4743002)(8676002)(26005)(186003)(6506007)(71200400001)(2906002)(4326008)(38100700002)(33656002)(110136005)(86362001)(316002)(52536014)(44832011)(122000001)(55016002)(5660300002)(4744005)(9686003)(38070700005)(54906003)(81973001); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: IK5eEZdzaBUOW9033UjviLKzYQ2pFnxILfCSsIRV2t7jwGC/Mn6+E89iYTKFrLLqGl2b1S/d2h1WU2IJ2T0LcZj7mc/ERMPIrXSmoArl1/EuAy9TbaflhJM6cs8nRyFcLTK9y9RPdnU7xY+wwIyUBexmh7PEFlmdAEd/wFqRGj3WVeskbkLtaRqILCpxW8Gdnq/YzCq3lzLkKjqb8vlRvOOhGcsyZVAqf7/gmdZmt6Yj02O2GeGAeR9Zi63rnTjyOpvMmcWI44/x4TnzkwAnjmyk95Wy7HilXUn31vEQJ54go7QJhMT2o4ownvKVZvm+69zpHlFExg3FVFvGiPEUle9+PkpBcNDESXAzvX0q6+ODO4+wLj3VQoqT/ILvqlh3pnSDlD1zG/aXpnnMYoSLnxqzjZaCXEjSmY/zUa2Tb43T+VyzH8/8BbOplPV/0sf+1MYwSouYC8j9QrTv8Co26zKiETnOBS3ZGY5sO7is+XU0gh7e8KvDMdhObPfq/r24wht9yTWkcIKTC7woGibS8pnU4LFbTDWXuatSNFNEWv+KILhMjSXvTo+h4rDSvX1W6vEzma7US+EZWEs6ulsyqURlVoJcTEc3ofHtTMCFtooNJNcwiL/+FMgVd55hGH311K4pMO6828NxQews10RwX6hcvhJn1z9T6Fk+kkudk7RhtQqu5Dc8husz8ylMQ+ItDdQ//6qPi0LdhiV7JXu3YPQH8u6O1yK3jUDFncQSzn36WsuEsP3+Wb3tcA iQ2PxPNHJIQf6cWexuAyN+YYYGe8KwzYyWPbDnrKrdrYdBPWVKt/xHR65x4+iwuegbc6i3FmKN5ZmnJKZOBBPMu7irpBh0CeT5 x-ms-exchange-transport-forked: True X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: SJ0PR10MB5488.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 0ebdd9ac-96f1-4c3f-1f5e-08d980389cec X-MS-Exchange-CrossTenant-originalarrivaltime: 25 Sep 2021 15:24:48.7535 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: iswKsHWjYfzjLKtatpjxRFam03xyuefzcMa1tFj4lBnu49fDW9442kgL775yViXBsr8DLUZs0/l/IThVHNz9fQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY5PR10MB4257 X-Proofpoint-Virus-Version: vendor=nai engine=6300 definitions=10118 signatures=668682 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=739 phishscore=0 mlxscore=0 spamscore=0 suspectscore=0 adultscore=0 bulkscore=0 malwarescore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2109230001 definitions=main-2109250115 X-Proofpoint-ORIG-GUID: kldKXCu11aLhSKaZoJSDouitizgqlFAq X-Proofpoint-GUID: kldKXCu11aLhSKaZoJSDouitizgqlFAq 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:215455 Archived-At: > > (define-widget 'natnum 'restricted-sexp > > "A nonnegative integer." > > :tag "Integer (positive)" >=20 > Sorry, but this is just wrong. 0 is not a positive integer. If nobody > fixes this then I will. 100% agreement that "positive" is wrong - it does not apply to 0. > And regarding whether natural numbers include zero, the answer is that > yes, they do. The notion that they don't is antiquated; today 0 is > assumed to be included by default unless otherwise stated or hinted in > the notation. Let's not spread some silly 19th century bickering about > something that was settled long ago. It's not about what is current or appropriate in math etc. It's about providing doc that leaves less room for confusion. And yes, "natural number" is understood differently by different people, unfortunately. It's not hard to be clear, here. "Nonnegative integer" is short, clear, unambiguous.