From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#73098: setopt float warning unexpected Date: Fri, 13 Sep 2024 15:09:12 -0400 Message-ID: References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> Reply-To: Stefan Monnier Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="23735"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Michael Heerdegen , Eli Zaretskii , 73098@debbugs.gnu.org, Stefan Kangas To: Ship Mints Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Fri Sep 13 21:10:18 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 1spBgP-0005wW-Ky for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 13 Sep 2024 21:10:17 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1spBg4-0000MY-EM; Fri, 13 Sep 2024 15:09:56 -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 1spBg1-0000MB-Mn for bug-gnu-emacs@gnu.org; Fri, 13 Sep 2024 15:09:53 -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 1spBg1-0000WE-D3 for bug-gnu-emacs@gnu.org; Fri, 13 Sep 2024 15:09:53 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:Date:References:In-Reply-To:From:To:Subject; bh=xr76NeN7ow4l8a5ouAtgml7OcAbVpDERl1+k7w05FfM=; b=ED9CK5Ekb7lNBbOFo1UfZGcY1K7CRYkn41r1Y3rm2ZfJgaEZnBn3Q8S3x8LcJ20CG9pH8S9Wk5GwXhE4v5Z03Cj/PKQXgeAmqeepMAkxE27EzDfFIxvPKZM4HC/vNHAc3m1/X9qM8uk+gLvHBSOUlkDHf+loPvaJyZggaMPhp6kAseJzB0E40LSLwBiOs4VoGtZGEe8Z7DCq1kCs62WX5xALgw+cpq2Id2cnGARqNaGHxlNLZY4Cc2hqo3qFI8vw3qOLdi33XC8PNQ1UbKdr1hZCf4bms7a8ccmn8PEYPhGfPWly211Tas6Yj89jRIb7ykVbcpuVwRn6HXLR2Y5yWw==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1spBgA-0002RK-D0 for bug-gnu-emacs@gnu.org; Fri, 13 Sep 2024 15:10:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 13 Sep 2024 19:10:02 +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.17262545739326 (code B ref 73098); Fri, 13 Sep 2024 19:10:02 +0000 Original-Received: (at 73098) by debbugs.gnu.org; 13 Sep 2024 19:09:33 +0000 Original-Received: from localhost ([127.0.0.1]:44277 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spBfh-0002QL-6R for submit@debbugs.gnu.org; Fri, 13 Sep 2024 15:09:33 -0400 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:60691) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spBff-0002Q4-Et for 73098@debbugs.gnu.org; Fri, 13 Sep 2024 15:09:32 -0400 Original-Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 62849444FC6; Fri, 13 Sep 2024 15:09:15 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1726254553; bh=Cq4go8/V5xn0EX9IJsHnLNq7ebRzUlHqG9uUvh694qQ=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=Cf4u90SqzoNeOcpyDDmtAN420z9WiXSwuXEVR5XSkib2OjAHrYUiKvB5sUGxqGUei 9QXMEtcmNTmqG1Xakl0cmhGvcADX+KhvKFtc0DYXCEzZVgLbdq9XRZ0mcipUI/BpMH rrMsVxjnm77oclPDAax2a+mLWGmP4eDqaF/4Y6sfukHEcY+9qTpxGZWmPwHi454Yr1 p3xTSZ1cBVLLONbZwHWxhU3WYa03aBEiYieCwPbfQbgRJyAkvIp8WtgqGuOM0OBEV6 eCHdffa6ut31fqa30igXV90mEIcfM5AeNksiOaOAOc5ZyJBwqy/oNJm6yN2JcJvUNY q3Wgk0Z0Wo3YA== Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id CE9EB444FB8; Fri, 13 Sep 2024 15:09:13 -0400 (EDT) Original-Received: from pastel (104-195-209-174.cpe.teksavvy.com [104.195.209.174]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 98DE012022A; Fri, 13 Sep 2024 15:09:13 -0400 (EDT) In-Reply-To: (Ship Mints's message of "Fri, 13 Sep 2024 11:11:18 -0400") 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:291670 Archived-At: > If you encounter a discrepancy that cannot be addressed by amending > the type specified by a setopt call, and you can deem the desired > type compatible nonetheless, use setq. If the user option has an > associated \"setter\" you may invoke it manually using ???" You're here trying to describe workarounds to use in case of bugs (either the value you set is wrong, or the type (or type-checker) is wrong). We usually don't do that in docstrings. Stefan