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 20:37:05 +0300 Message-ID: <86seu8vida.fsf@gnu.org> References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> <8734m84wa4.fsf@web.de> Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="21711"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 73098@debbugs.gnu.org, monnier@iro.umontreal.ca, shipmints@gmail.com To: Michael Heerdegen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Mon Sep 09 19:38:12 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 1sniL6-0005U5-3d for geb-bug-gnu-emacs@m.gmane-mx.org; Mon, 09 Sep 2024 19:38:12 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sniKu-000544-Nh; Mon, 09 Sep 2024 13:38:00 -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 1sniKs-0004wR-LS for bug-gnu-emacs@gnu.org; Mon, 09 Sep 2024 13:37:58 -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 1sniKs-00071I-Cr for bug-gnu-emacs@gnu.org; Mon, 09 Sep 2024 13:37: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=nk4RwWxlebz11+opS624uFRBqzp4orCq4SEMnvjID0k=; b=uLR10V2qlG698928WkNbTaYcaYhfYKQqLGNZcCdLNzKlCi4/XrmlvCBrivgcw20UHUNX7GtaMD/B0Wf0Y3S9rrOpzwS2a4e3cPGE1gb2aKbxzoggem12N/1mVrQZQ3gwfNlQFJz6cM7Zv7t9kVK4xsbG0mHnkNgWHoSbmiZ3ddIT5UfV8ohKB+tB+Gdhnp2Zoj7qp5xDMDNWRgZFCriFlaqyGsyLc3+mId5x7tEQtFIhgljLiO7LNYETiVG+8BoqA/VOfSPnLQqKOgbrOPMOliCIehNvIiWdKerk9H5GyEUskDQOJLgtXijaqpLOjcPJc7F7SspKVHLaJXtU0MIyAw==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sniKw-0002R2-0T for bug-gnu-emacs@gnu.org; Mon, 09 Sep 2024 13:38:02 -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 17:38: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.17259034459314 (code B ref 73098); Mon, 09 Sep 2024 17:38:01 +0000 Original-Received: (at 73098) by debbugs.gnu.org; 9 Sep 2024 17:37:25 +0000 Original-Received: from localhost ([127.0.0.1]:33978 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sniKL-0002QA-86 for submit@debbugs.gnu.org; Mon, 09 Sep 2024 13:37:25 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:43176) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sniKI-0002Pw-0O for 73098@debbugs.gnu.org; Mon, 09 Sep 2024 13:37:23 -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 1sniK8-0006y7-Fv; Mon, 09 Sep 2024 13:37:12 -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=nk4RwWxlebz11+opS624uFRBqzp4orCq4SEMnvjID0k=; b=kJn9CaqcYInz xySDpcVCNkjoeaMslZDuE9ebEMcgbO6iQFcXf81GWUalEF3UtAdMg9zJiPEPdwQ9b5jbKAQNe6t6Z +AWfhigKTlfYkeZxbPfLNGb2H1yXXbNRcOWQAEfG6UkuUiopanrasGBF2sV+cTcEo/xz3zyJPqiHY dYXlWFKzWH9j51o3ozVyGqsico+6YEnVTaKvSBS5SSXjB25EguvzXbcro+yMDbLla+euaRJpQSljl 6WCBvJ4RzL24lOkCrFPfNtK0nbiLmeV+YGs5ZnfT7Vl8F983rWoBQ1K5c3zChOZcIBmEj0DMw8t/s 8lPx1fM7lt4gJvhgra9rhw==; In-Reply-To: <8734m84wa4.fsf@web.de> (message from Michael Heerdegen on Mon, 09 Sep 2024 18:38:43 +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:291519 Archived-At: > From: Michael Heerdegen > Cc: Stefan Monnier , shipmints@gmail.com, > 73098@debbugs.gnu.org > Date: Mon, 09 Sep 2024 18:38:43 +0200 > > Eli Zaretskii writes: > > > > 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'? > > The new option would have as value a list of option names. The user > could then add those options with incorrect type specs. And for those > specified options Emacs would skip type checking entirely. Thanks, but this sounds like overkill to me.