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#63410: 30.0.50; [FR] Optionally allow defcustom to check type for standard value Date: Wed, 10 May 2023 13:36:49 +0000 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="22200"; mail-complaints-to="usenet@ciao.gmane.io" To: Ruijie Yu , "63410@debbugs.gnu.org" <63410@debbugs.gnu.org> Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Wed May 10 15:37:18 2023 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 1pwk0L-0005Wd-M8 for geb-bug-gnu-emacs@m.gmane-mx.org; Wed, 10 May 2023 15:37:18 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pwk09-0001AV-HD; Wed, 10 May 2023 09:37:05 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pwk06-00019a-Dv for bug-gnu-emacs@gnu.org; Wed, 10 May 2023 09:37:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pwk06-0007Gm-54 for bug-gnu-emacs@gnu.org; Wed, 10 May 2023 09:37:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pwk05-0005Xd-Jk for bug-gnu-emacs@gnu.org; Wed, 10 May 2023 09:37:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Drew Adams Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 10 May 2023 13:37:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 63410 X-GNU-PR-Package: emacs Original-Received: via spool by 63410-submit@debbugs.gnu.org id=B63410.168372582021293 (code B ref 63410); Wed, 10 May 2023 13:37:01 +0000 Original-Received: (at 63410) by debbugs.gnu.org; 10 May 2023 13:37:00 +0000 Original-Received: from localhost ([127.0.0.1]:45562 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pwk03-0005XN-NT for submit@debbugs.gnu.org; Wed, 10 May 2023 09:36:59 -0400 Original-Received: from mx0b-00069f02.pphosted.com ([205.220.177.32]:18126) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pwjzz-0005XB-Es for 63410@debbugs.gnu.org; Wed, 10 May 2023 09:36:57 -0400 Original-Received: from pps.filterd (m0333520.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 34A9Xw0l005657; Wed, 10 May 2023 13:36:54 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=from : to : subject : date : message-id : references : in-reply-to : content-type : content-transfer-encoding : mime-version; s=corp-2023-03-30; bh=H0zuF/Zs9AoJlwGMOfzpUBMw3yvUWiE7ad2TrImRXBU=; b=bVGRD4eDKSeRbSYYcrDBMFb+k3FGUWSiZyc44LCqmd7tMCQYnyEa5f8gtGYjRWbDVZNA 0sTBdPdoD5n0lj131R8QCyYywQZeZ2/3KDcuxh+UAj6q2TJmgyCOlMUrrOKs8u87G6o5 c1tBfDh5aOIaFNiwkBB8dyLTMa2gUpTX1Sa88PK/3iTlNnR7c8OqT+Csck9v9yz648SZ SCOIluqATXmzmcZT5wM8zhUtxLsNOyqeCX8nyF10725DkmMdeeAzDldjT2Aqr3J4Pjx8 cd1W2ANgHV5QlzljNDW7GU62xOYAsfZsg9UdnSnz8omGOHhYmr315l6xd2IWWO9mitp3 fQ== Original-Received: from phxpaimrmta03.imrmtpd1.prodappphxaev1.oraclevcn.com (phxpaimrmta03.appoci.oracle.com [138.1.37.129]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 3qf7754mj9-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Wed, 10 May 2023 13:36:54 +0000 Original-Received: from pps.filterd (phxpaimrmta03.imrmtpd1.prodappphxaev1.oraclevcn.com [127.0.0.1]) by phxpaimrmta03.imrmtpd1.prodappphxaev1.oraclevcn.com (8.17.1.19/8.17.1.19) with ESMTP id 34ABs9ww021644; Wed, 10 May 2023 13:36:53 GMT Original-Received: from nam12-dm6-obe.outbound.protection.outlook.com (mail-dm6nam12lp2168.outbound.protection.outlook.com [104.47.59.168]) by phxpaimrmta03.imrmtpd1.prodappphxaev1.oraclevcn.com (PPS) with ESMTPS id 3qf8121tvj-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Wed, 10 May 2023 13:36:53 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=n5jboYKzSUXLEtxuPuRL0eHiAFsGzLoIQ/X0XN8hr+P2VKglfziO3iYig7HJbnaP84zEo+FSZ+3rriYSBm6x5xrJWqLgypYJP8FTrSEz0EGLWrOyWsVKmQ947ZiUy0gCZ2D35+W9Z5fLDPXc7tsWKcSApjVmoQ2IRUvqBtwNye4vmdLKyyqoJLWfHF+hZO4uxsaYz/+IlzzdBMuPH0us+UxYDQnJvQA5xZxeRAvT8e6QdxUicpHfyQTRPeVZom3ja3wo93IxkoCN/FRmfzmn1vWhYz3pgxYW00OcyC40AqOeN9ltbGxf0JW624paEOgkioXk2+SXg5qXHMGnW61xYg== 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:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=H0zuF/Zs9AoJlwGMOfzpUBMw3yvUWiE7ad2TrImRXBU=; b=T3ArpGGgrdG9VQhvKra30LOeLpBihv0BBZepjVqBp3AFGmh/P454AALAoJUo2s4MRBZPmXLbG64fgGyx5LOnDqCEVRpGbtJR77KZIfTBvQHK4NkskEvn4XHT9i4FWlY9WEtJ0Wn2lse1c82/Qrk/8dV73bBwTvaaOEte2RXKZ8MWYTDCWCDzUSMzMmSGQ6kV92/nAUV+F9xXHHVJyn85qkTC5LcyRss94+2KW87OvEpJ/oDugRMWLZEa60xUxqnyiiTIIZ0zIp7PA9D95M63hufb91nL91Cr9NB0WT+ElhUGpPyLKh7xyPXcxv0ZaHFs0OijXQz/exWGIfeuE92Iwg== 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=H0zuF/Zs9AoJlwGMOfzpUBMw3yvUWiE7ad2TrImRXBU=; b=YLBa+gsu59RkV0blTGL3HNWT7HcANiv4ZkPVl3YWxKO8vstrZl3HaI1vhVKznQG19adoe623nyQVTmgR7NGqZ7aW9Ta4UC24FCFuULQ5V7pX3TPfwJitxLtFub121mj079HgZtt9wfd1nyIE89Ms6Boto1MOhBIWGTojmAgwuXo= Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com (2603:10b6:a03:37e::19) by CO6PR10MB5393.namprd10.prod.outlook.com (2603:10b6:5:35e::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6363.33; Wed, 10 May 2023 13:36:49 +0000 Original-Received: from SJ0PR10MB5488.namprd10.prod.outlook.com ([fe80::a995:2ae5:2745:24ff]) by SJ0PR10MB5488.namprd10.prod.outlook.com ([fe80::a995:2ae5:2745:24ff%6]) with mapi id 15.20.6387.019; Wed, 10 May 2023 13:36:49 +0000 Thread-Topic: [External] : bug#63410: 30.0.50; [FR] Optionally allow defcustom to check type for standard value Thread-Index: AQHZgwF/7IsqpQEHo02tbZGCWwF6ea9TgqaQ In-Reply-To: Accept-Language: en-US Content-Language: en-US x-ms-publictraffictype: Email x-ms-traffictypediagnostic: SJ0PR10MB5488:EE_|CO6PR10MB5393:EE_ x-ms-office365-filtering-correlation-id: 05eddda1-77d5-458d-b8ab-08db515b9b88 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: TPoskk+/6wqUTfbYuzEbiLQ14GbleX+AjJ/zBdEmUZ78IBLXOcvowtve4lnjQxJ7Jo6rhLbg9bEFnB7rYRg7n6JhZX6Np7O9fyjwQn7/D7J+/8wwMyXQh5ks6EIByaF31r5eUC0R4IkeyRBbY9KpmnzGc7YDS2NSnnam4+qoMWnChVmoqKYOn4wbmlMO3J7BX5AgIV6ESLKqWf2Wb8ENMWNwWpn/hpBWZ8AsfY3HoXusrgh2QorZPG2DPXfVvhu5ZWvs3ZpSBPYWQX6hTxd4sjBcEMgKbdeYyodf5joMi+UaARL74GaEoaujhRjEH6q6yavZ6W5qy2e34VPi4m8gibH7SeH5YFNHmIfValPsirhTH6Ukcqo1ZpIfA1dX+o5DDzQJFVgMCPmEC1i4/IpmMYDXuSkmpRiMqNL9cJSN53N3HAT/Z9ViciVWYfvTDOxLVzrWLtEbmI2EBcMr3oSrSD1LVR94CDeb19YWl0SuIoxNTqR6aLjukxRNWsjSAxkqCjRZ9h1HhuWO/KUnI8z06a2Kw6ZyWbzVwUrpboS+kP/7CaCgRGcxYK1nc21Z3tJjRoGD0TS0GKbtlJjFrV8LGVN5/oeIBV8NAtm28j3+Or7+tI/Y1AyVMh1TsHv9PiWu 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:(13230028)(39860400002)(136003)(396003)(376002)(346002)(366004)(451199021)(9686003)(122000001)(26005)(6506007)(38100700002)(86362001)(76116006)(66946007)(66556008)(55016003)(33656002)(4744005)(44832011)(2906002)(478600001)(316002)(8676002)(66476007)(41300700001)(5660300002)(8936002)(110136005)(52536014)(64756008)(66446008)(38070700005)(7696005)(71200400001)(186003); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: v7nJ+4qD0T0GbOSKCjAoWBzI1RMpsfUsLwr4up4v71/WciZnxiZ53sySBGQkvvC/+Pe8ZKcnOzwsI4cOLzOpaC3iKMoRvfh5eR9krSYbhN2Xp8SUNW6HtfjffB1ck8rmPmpA4rh5dNCtcRLZQKZ/18Yh2SfGbkrb+FioY6/7DNkavqwefBIN8j82ifnrAKTuq4I93JdQYcKOh7XwNQaDE6p/5fG2ZKBy9KvTzkYaRJWfNwVyzBLmgjRaFui42zmDLKS6TnN5/ElqRscZSq2c1lCuJurcYzaTTqJdxM12wFrRn/pPSlScDaI1YcXT4JXCbqBJmgB6UGyUYPClBRIZ+/MnWWVseEyAAKf00U83ssAr7y0aOwKB5HEEk/VBdfJvaSa54ztHMqNCeiEdBn1ZGlB7VQqnEDUN5ka8TL/ZnMLfBOOo1xii4mJSYYMGDqJZJn6pQrgfn6G44BZJ4UKODX/aXVtCN5cR7GGALb+FIiCONS3XDbSbC/5CHlnzhkDHihhTIcWP8SbKqshPUXzWUMcOXmzoNC0RzbbS+p5xgxJOb+0IR4ZI8NPVgtpunpe5E0chU1qZPvm+Z1u7adY6JUH9HxWNN5W+BRXeBls/gC9zIYYSEroswTpgWb3wujGxIBnFCb/G2Nf0ybWZkbHaP6efYf5WL5R8X8TkegSKtKxqYE2hKD09MbTQDvw+YLMcmlmx//3ggkzt2ch+Dkn6UnxE0/lxxklW49alcmXlSGUqu5Y1Lc/8AWCZCo 2hlnd21FRFAYjo2700wrY33bAn9pB0M9cz7X65x+AOePlizWQjEhER15Zyu1F4vHle03YNzbwZaAXC3Z06ic8YzSK+PubgmNM4 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: SccHhEC5YSBbvSqsWWgTkM2R0tgpEDL54wu1xTWYaszhkCep3hXmSl48gg9c8MJLc2Ca502X1ZUxhANi/Cn66fyk/hSny951vG0Yl1zvdUUdotQ/gjbIlyBlmnim6lCtwJNivitTdi9uXJwTW1a5/0E59NVe+RgHJKSpbS3rQ357+u+l039/himNdztcjK1Q7vJy7DlEQkiQQluS3sfs52gN8LUjeZGHb8xAsc8/zNbMvyitViW0U9MD0b8O0kOjLZNNjsAYU+IYdwa1V+MigpsJ/esJY/qggtfi5+aPxwvaJ7V+X7QM2vuArXqFlyZKDsN9eRConEX6jAwdZpRvfLeFjlSbt3FOldSwFQoHV+VvqEFC61kHiecLq/4wk5R2IUg7/NCZpM2RgQOpE66fkV6ZL9wZRpeDhpcQA07YZi/CLOaRT70sG0sx8Ep5SeM+a271ZCrWnGm5XlezDXDaZkaZvYg2zisXij12msy7KMTHmHLmExNqIBnRnmJYSixDEgkKfTBFIaqMB1ZExcZq+8y4f6FlYZ6PSP2rJ7+7/R2tEG7WVtROfKyRkZhz7tPF/PlsOjLA6w5DcoZxOZn76ABKWRRujnf4+ORWZK+5iWhjhro3CeYk8cLXcTlA+kJ/tUkD2R/vAj3w6oZpyXN7Y6se22WWRGASIPecBc7oD73O5hOb1JitmMkA/HzGN6dzIZivrZu7wRHtgKRo8bQMm3bZCgWzt8hWt/26GWfIxrtptr NKJfes7Phzk5VVgw98XFqvDBsdZoHonrfiWyYEnnglREriJ/qUCLu6F3YSKTg= 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: 05eddda1-77d5-458d-b8ab-08db515b9b88 X-MS-Exchange-CrossTenant-originalarrivaltime: 10 May 2023 13:36:49.5802 (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: HOHqqRsxVZgtOQeh/sjKwQZBZWaVRvXh/ws4mFoAJ0Wootvk8PlrsrjVC+xTAQyfSebQOZ7WONHBWoTmofSa0Q== X-MS-Exchange-Transport-CrossTenantHeadersStamped: CO6PR10MB5393 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.254,Aquarius:18.0.942,Hydra:6.0.573,FMLib:17.11.170.22 definitions=2023-05-10_04,2023-05-05_01,2023-02-09_01 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=916 phishscore=0 adultscore=0 spamscore=0 suspectscore=0 malwarescore=0 bulkscore=0 mlxscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2304280000 definitions=main-2305100108 X-Proofpoint-GUID: Xq3XEmUwhoTvcaYZ0INFMqvusaES5Gby X-Proofpoint-ORIG-GUID: Xq3XEmUwhoTvcaYZ0INFMqvusaES5Gby 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-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:261494 Archived-At: > Similar to `setopt' introduced in 29, which warns when a variable gets > assigned a value with an incorrect type, I hope `defcustom' can > (optionally) check that the standard value of a customizable variable is > correct. This would help external as well as internal package authors > to catch errors on the types. Not sure I understand. Doesn't it do that already, showing "mismatch" next to the default value if it doesn't match the type definition?