From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#73098: setopt float warning unexpected Date: Mon, 09 Sep 2024 18:28:07 +0300 Message-ID: <86tteovoc8.fsf@gnu.org> References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="9118"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 73098@debbugs.gnu.org, shipmints@gmail.com To: Michael Heerdegen , Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Sep 09 17:29:27 2024 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 1sngKU-0002EQ-34 for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 09 Sep 2024 17:29:26 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sngKB-0003Fd-NT; Mon, 09 Sep 2024 11:29:07 -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 1sngK2-0003FN-85 for bug-gnu-emacs@gnu.org; Mon, 09 Sep 2024 11:28:59 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1sngK1-0002Yf-UP for bug-gnu-emacs@gnu.org; Mon, 09 Sep 2024 11:28:58 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=References:In-Reply-To:From:Date:To:Subject; bh=ViBGW2pVcI0HydBeN4Xem0wLNQPAg/yEdEDMN0GwXxI=; b=aSEt1v3rPVVYnXxYO078cCAGVposg+zzwPORrmKr7Ozdunybum6q9Y3fvk/ufsWomAmeH+zK31AihFfYvkYI2O2rfEr7pOu5TqonrKHJ1NAi3NYDCwkkmLR72sazQsVL8oH0IXacmxQY4OR96HzPeLOghdB5MII5WiH8cxxbP4u0DX+G38a3wvodrqZwpCTY0biVQrMan++Uf7SBmaFPbhqd3LRvoawmFae5x4zVVnsauYErubsUxFhJyyQ/4y4hps8OIeGk+zKQ9jLrMDiulHbliLnKRLGhPi+84PFMK1DBOC7UbLahMmOE5nwv2wScdhUa6imeNHcYpF42OXBNRA==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sngK5-0004II-J0 for bug-gnu-emacs@gnu.org; Mon, 09 Sep 2024 11:29:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 09 Sep 2024 15:29:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73098 X-GNU-PR-Package: emacs Original-Received: via spool by 73098-submit@debbugs.gnu.org id=B73098.172589570116447 (code B ref 73098); Mon, 09 Sep 2024 15:29:01 +0000 Original-Received: (at 73098) by debbugs.gnu.org; 9 Sep 2024 15:28:21 +0000 Original-Received: from localhost ([127.0.0.1]:33917 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sngJR-0004HD-8A for submit@debbugs.gnu.org; Mon, 09 Sep 2024 11:28:21 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:50690) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sngJQ-0004H1-55 for 73098@debbugs.gnu.org; Mon, 09 Sep 2024 11:28:20 -0400 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sngJG-0002Wz-I3; Mon, 09 Sep 2024 11:28:10 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=ViBGW2pVcI0HydBeN4Xem0wLNQPAg/yEdEDMN0GwXxI=; b=SzquuFIuNtjW 8RAVBzrSgto6PrQYqwucoP7H7UJLUKpfZUcSMhkvBueYWlnFBJLx3LG6muEfr8pV9HY/BDshI8t10 vGVJD9epWD31RrA1dGRmBxPLFQQOEujNFMyCnrIzYSv0DBT9c421Bqwv/NQl760V0d8HAlQWSIzwZ KkBQnl9rk4asiy7iZqhwvqmaiL+VGPS++zvUqRWIkeSAuDXp0Wb7SHfKHiRB9iBnFdmE65OAdmuc0 mLqUI0ydnWu6f44rQpu3QM5YC8Qr1kn9qrH9DmiUCC2Hxl9CnH718r8nk1eoaFdDmev0y+3p1ag3o PaGNbGxY2XVNDcTkwt/TdA==; In-Reply-To: <877cbk50b7.fsf@web.de> (message from Michael Heerdegen on Mon, 09 Sep 2024 17:11:40 +0200) 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:291511 Archived-At: > From: Michael Heerdegen > Cc: Eli Zaretskii , 73098@debbugs.gnu.org > Date: Mon, 09 Sep 2024 17:11:40 +0200 > > Ship Mints writes: > > > I'm suggesting that there will be noise from people who convert from a > > working (setq some-package-option 2) to (setopt some-package-option > > 2). This is not a request to change the elisp type system, it is a > > request to consider if setopt's / customize internals should be > > relaxed to the equivalent of #'= for these simple cases. > > How about adding an option letting the user disable the type checking of > some options? Like what? Would we accept, for example, a string where the type is 'symbol'? Or any value where type is 'boolean'? And I'm also not sure we want this: presumably, if the defcustom's author specified a type, they meant it, no? Which is why I asked for opinions (but for now got only yours). Stefan, WDYT?