From unknown Sat Sep 20 12:10:31 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#73098 <73098@debbugs.gnu.org> To: bug#73098 <73098@debbugs.gnu.org> Subject: Status: setopt float warning unexpected Reply-To: bug#73098 <73098@debbugs.gnu.org> Date: Sat, 20 Sep 2025 19:10:31 +0000 retitle 73098 setopt float warning unexpected reassign 73098 emacs submitter 73098 Ship Mints severity 73098 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Sat Sep 07 09:15:14 2024 Received: (at submit) by debbugs.gnu.org; 7 Sep 2024 13:15:14 +0000 Received: from localhost ([127.0.0.1]:55161 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1smvHV-0003RQ-Nk for submit@debbugs.gnu.org; Sat, 07 Sep 2024 09:15:14 -0400 Received: from lists.gnu.org ([209.51.188.17]:33698) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1smvHU-0003RJ-7Y for submit@debbugs.gnu.org; Sat, 07 Sep 2024 09:15:12 -0400 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 1smvHT-0006Rc-2J for bug-gnu-emacs@gnu.org; Sat, 07 Sep 2024 09:15:11 -0400 Received: from mail-vk1-xa31.google.com ([2607:f8b0:4864:20::a31]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1smvHP-0002Yk-2z for bug-gnu-emacs@gnu.org; Sat, 07 Sep 2024 09:15:10 -0400 Received: by mail-vk1-xa31.google.com with SMTP id 71dfb90a1353d-501269674daso664113e0c.0 for ; Sat, 07 Sep 2024 06:15:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1725714905; x=1726319705; darn=gnu.org; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=UF4puR+5k1IwIs1L2LbF+24lXo9023I4Cg1zno5s/wQ=; b=Az5reS5f/94grcLV8ailrpa1zs7JOpmYku+zRbLKyywXAwMC1+6AnYthIAPtAQ+hG5 53UvrxeZOFLA1eE6BBTsON3Bj8iKGKDp3Z7eRpf/GBgxR9EgGOBCn9xqJSfxe35fia+R LUulIeDTJz/8u3QJgxW9CfSLg6ZSjKj7htm2DUfnz/RlEoEhi2DBJQN3uXlcIV5WER85 TxP4RMd2RrLXa6qhRf+RGVw4zYs3Z6+iXiRc+9FcoaBjCAq4xXQ8xGTajIvUgbiV3BMA iTVt3MZvvueW/G1yi68tVawjapixQMB63Dv8iY/a5fI/c+xgqeZTlO2cR0111kwjSRkO RDjg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1725714905; x=1726319705; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=UF4puR+5k1IwIs1L2LbF+24lXo9023I4Cg1zno5s/wQ=; b=wvAnpkrSW/o8mISuEelJUA0y0d1LuzodJSwmmP1mvFuhzSvm/tQQOuJzvc5w6AzsZr MiDu7+t45oF012sdDxTP+8fFOEIq1FHFZaeoj7lG6MrViCZD0Iw8gwIb2cgcMY4VWweR egGUxWiSzolCZz96g64IgFJvJcEfA6RpCulR/8Msckr0QfBSQxeuQIMpPLNZC0C7wKVI +W6Mo3j42+tNu149CBEZSxLiAl2Yx1mRkFGtjkjdgkX8k8x+dHSAYSfp8GCDV6s52C6Z sZ3G9d3BkYWHFicNj8vCoQueFkU2aa5jGQk6oxcT2D+oWoEsf/CW+yA1Q5qYbOZmq9dH NXcw== X-Gm-Message-State: AOJu0YxAWuXcLL5GVRqo4Xp7GIeDrmQeKG/DanhE7MJydqj2PYWUb/X+ owsaBMheuxETISeH4HnxyLxlqCJcFBAPKEpdUK1CFCWYHCBmUx409vJnPgrgA8F8A58QzRsZWvY 26Yk6lWqrryMYuiMA+2F3sBRR367Ru7Xg X-Google-Smtp-Source: AGHT+IEjVbZ/GI+sc6J92QM4xrdK4T7ERl81+/xXuW9JtHtIDJDjqS396qPqBFvkR+SoZCllY78oH6cWhmc/N9LCkxY= X-Received: by 2002:a05:6102:f14:b0:49a:59cc:b948 with SMTP id ada2fe7eead31-49bde177bd7mr5678475137.7.1725714905323; Sat, 07 Sep 2024 06:15:05 -0700 (PDT) MIME-Version: 1.0 From: Ship Mints Date: Sat, 7 Sep 2024 09:14:54 -0400 Message-ID: Subject: setopt float warning unexpected To: bug-gnu-emacs@gnu.org Content-Type: multipart/alternative; boundary="000000000000ea63ca0621874f57" Received-SPF: pass client-ip=2607:f8b0:4864:20::a31; envelope-from=shipmints@gmail.com; helo=mail-vk1-xa31.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) --000000000000ea63ca0621874f57 Content-Type: text/plain; charset="UTF-8" This one bit me yesterday on Emacs 29.3 as I was revising my init file (for the thousandth time this week). As setopt becomes more widely recommended, people will likely encounter situations like the below where they expect constant numeric types to be coerced. (defcustom temp-float "Float" "Float type." :type 'float) (setopt temp-float 2.0) ; works (setopt temp-float 2) ; Warning (emacs): Value '2' does not match type float -Stephane P.S. I reported a bug to Prot as some much more complex modus defcustom type definitions seem either themselves broken or setopt needs some work to accommodate them. --000000000000ea63ca0621874f57 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
This one bit me yesterday on Emacs 29.3 as I was revising my init file (= for the thousandth time this week).

As setopt becomes more widely recommended, people wi= ll likely encounter situations like the below where they expect constant nu= meric types to be coerced.

(defcustom temp-float "Float"
=C2=A0 "Floa= t type."
=C2=A0 :type 'float)

(setopt temp-float 2.0) ; = works
(setopt temp-float 2) ; Warning (emacs): Value '2' does no= t match type float

-Stephane

P.S. I reported a bug to Prot as some much more complex modus defcus= tom type definitions seem either themselves broken or setopt needs some wor= k to accommodate them.
--000000000000ea63ca0621874f57-- From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 08 02:07:08 2024 Received: (at 73098) by debbugs.gnu.org; 8 Sep 2024 06:07:08 +0000 Received: from localhost ([127.0.0.1]:57876 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snB4m-0007Fx-EG for submit@debbugs.gnu.org; Sun, 08 Sep 2024 02:07:08 -0400 Received: from eggs.gnu.org ([209.51.188.92]:35918) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snB4l-0007FU-27 for 73098@debbugs.gnu.org; Sun, 08 Sep 2024 02:07:07 -0400 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 1snB4d-0001w8-Rl; Sun, 08 Sep 2024 02:06:59 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-version:References:Subject:In-Reply-To:To:From: Date; bh=ltBYiAy3JH+wYJVkewglw/DoESHCe0RHDGG73jYw+98=; b=bSUwogT5121XC62PcodZ 8+L+pzz4IKcMXqq9cdMjqD8ko6++DaWxKOq/5xsvchqps1E3S4+mOduIEEndQfNGohVXojmDeZQb8 z/jQyz2gzCFRTRZ2CjfNCRcxnu9NeamFAnXfzpKGCRsBfvvFoAmX93Syz9TTjIi3zAPWBKMeus9vM +XjMd2kQui070K4+vkBW3b7M933V/linD6qE7QJaMAPgIq+tn6tvJJI/7+Iq/CHS4p83M4ebwCxk7 xfiKpCxQce/8ScO7rp3Mx0c1q7lqq7NceFdojoyBcbaerL0BxLtuOVkB622uO51TM4y/jQ0FWwbqC Dt2oiHK5d3CYOg==; Date: Sun, 08 Sep 2024 09:06:56 +0300 Message-Id: <86r09uwuf3.fsf@gnu.org> From: Eli Zaretskii To: Ship Mints In-Reply-To: (message from Ship Mints on Sat, 7 Sep 2024 09:14:54 -0400) Subject: Re: bug#73098: setopt float warning unexpected References: MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 73098 Cc: 73098@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > From: Ship Mints > Date: Sat, 7 Sep 2024 09:14:54 -0400 > > This one bit me yesterday on Emacs 29.3 as I was revising my init file (for the thousandth time this week). > > As setopt becomes more widely recommended, people will likely encounter situations like the below where they > expect constant numeric types to be coerced. > > (defcustom temp-float "Float" > "Float type." > :type 'float) > > (setopt temp-float 2.0) ; works > (setopt temp-float 2) ; Warning (emacs): Value '2' does not match type float If you are going to allow integer values, shouldn't :type be 'number, not 'float? The documentation of 'float says: ‘float’ The value must be floating point. "Must be floating point." The value 2 isn't. From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 08 07:00:52 2024 Received: (at 73098) by debbugs.gnu.org; 8 Sep 2024 11:00:52 +0000 Received: from localhost ([127.0.0.1]:58027 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snFf1-0005N3-MD for submit@debbugs.gnu.org; Sun, 08 Sep 2024 07:00:52 -0400 Received: from mail-vs1-f48.google.com ([209.85.217.48]:56743) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snFf0-0005Mr-DV for 73098@debbugs.gnu.org; Sun, 08 Sep 2024 07:00:51 -0400 Received: by mail-vs1-f48.google.com with SMTP id ada2fe7eead31-49bf3b4d07bso201453137.1 for <73098@debbugs.gnu.org>; Sun, 08 Sep 2024 04:00:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1725793182; x=1726397982; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=gEV/FoW33P+yxsBIGxyIRJmXODOB8hnPq0yTpBfCOiM=; b=NNLVwLl2MMEpxqin8oA1Nfq+/jRg0wWCP/dwtW3gG1FGIbLVrDKF9JVbxNN44IF2nb fRMiF2pc8uQMyVrH611vb4LPZnSjppkGnmdWKfOhSQSJe8Vv1y2a382t1nz2mWJy65Zk X09rSzKHw6r3oYa//F7VaUf2e6phqj+MgO4/h3qI61JUVSyNucRVA1a0D9Y3gNmdIbhf agUsgWu9DAYny/vzJH6Up+u7nKh3EbOA8JEOI3zwP6fw5yGUmFKfnR4JW3wbi4QZ3Suz r4dbsCB332xwFw2SlPy/S36kAl0sl+Da9APnROqgWxNRaidvvOxyI17iOMZKusRJZ3TR GRBQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1725793182; x=1726397982; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=gEV/FoW33P+yxsBIGxyIRJmXODOB8hnPq0yTpBfCOiM=; b=YYWEooQDojDnZGbbYbeNDq1fUe/wiUxREWZK4D7A5rXHDSWA5dsPHwfDPvhjdol+/n wZXuh0VHr/wViBcOPlf4WS47crM1OioFthediysfqcwppW9hzYSfMbO9A+zBrjgMkHdy teMAxaGn6QZxVnnlACS3yiZTtuAslUMKOW5Afv+5hWuOuz8ev8YghHrqMzcdld3L2wkv fOJwsyHem+UpMqsonE5ibeOgaaj/KXKXFAaL2+ehlviljEY1dGDTCwCYC57vg/qNa6y7 juX3Y5NKZp9/KpMA7iSNk+urkfkbRW1BcarhB2Aqsp8D6Fhe7uVl5n/59hkyat/7bUT1 r00w== X-Gm-Message-State: AOJu0YzLfdudraQoa+e2+ui8HjKe4IAiD7i/lSjdxNCjDSsULF/9w30t +ZqTfgstiWYnvgVFYIW+swy/mn09XMdddCo7hsyfqZtT6wF+4/f5Icj9SVnT6l1/T6GULcbAmmO hdyqruoMGVbTqJuJG/FvG8S4EGQI= X-Google-Smtp-Source: AGHT+IEx0YKBezeeuCwKX0HyuebixCxZw84e8zQA2MRuWwi/v6TTtO0jJIot/kuLS7G4f5fRfdJ4XgWCcPJHA8p9R7c= X-Received: by 2002:a05:6102:441d:b0:493:b8d8:93d5 with SMTP id ada2fe7eead31-49bde263442mr8842200137.20.1725793182479; Sun, 08 Sep 2024 03:59:42 -0700 (PDT) MIME-Version: 1.0 References: <86r09uwuf3.fsf@gnu.org> In-Reply-To: <86r09uwuf3.fsf@gnu.org> From: Ship Mints Date: Sun, 8 Sep 2024 06:59:31 -0400 Message-ID: Subject: Re: bug#73098: setopt float warning unexpected To: Eli Zaretskii Content-Type: multipart/alternative; boundary="00000000000098fd1f06219989e3" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 73098 Cc: 73098@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --00000000000098fd1f06219989e3 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Yessir. I was talking about users' likely expectations for type coercion. There are cases in elisp where numeric type coercion is the default, e.g., (=3D 2.0 2) is t. I expected it to be so here, too. If you feel this is moot, then so be it. On Sun, Sep 8, 2024 at 2:07=E2=80=AFAM Eli Zaretskii wrote: > > From: Ship Mints > > Date: Sat, 7 Sep 2024 09:14:54 -0400 > > > > This one bit me yesterday on Emacs 29.3 as I was revising my init file > (for the thousandth time this week). > > > > As setopt becomes more widely recommended, people will likely encounter > situations like the below where they > > expect constant numeric types to be coerced. > > > > (defcustom temp-float "Float" > > "Float type." > > :type 'float) > > > > (setopt temp-float 2.0) ; works > > (setopt temp-float 2) ; Warning (emacs): Value '2' does not match type > float > > If you are going to allow integer values, shouldn't :type be 'number, > not 'float? The documentation of 'float says: > > =E2=80=98float=E2=80=99 > The value must be floating point. > > "Must be floating point." The value 2 isn't. > --00000000000098fd1f06219989e3 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Yessir. I was talking about users' likely expectations for type=C2= =A0coercion. There are cases in elisp where numeric type coercion is the de= fault, e.g.,=C2=A0(=3D 2.0 2) is t. I expected it to be so here, too.
=

If you feel this i= s moot, then so be it.

On Sun, Sep 8, 2024 at 2:07=E2=80=AFAM Eli Za= retskii <eliz@gnu.org> wrote:
=
> From: Ship Min= ts <shipmints@g= mail.com>
> Date: Sat, 7 Sep 2024 09:14:54 -0400
>
> This one bit me yesterday on Emacs 29.3 as I was revising my init file= (for the thousandth time this week).
>
> As setopt becomes more widely recommended, people will likely encounte= r situations like the below where they
> expect constant numeric types to be coerced.
>
> (defcustom temp-float "Float"
>=C2=A0 =C2=A0"Float type."
>=C2=A0 =C2=A0:type 'float)
>
> (setopt temp-float 2.0) ; works
> (setopt temp-float 2) ; Warning (emacs): Value '2' does not ma= tch type float

If you are going to allow integer values, shouldn't :type be 'numbe= r,
not 'float?=C2=A0 The documentation of 'float says:

=C2=A0 =E2=80=98float=E2=80=99
=C2=A0 =C2=A0 =C2=A0 =C2=A0The value must be floating point.

"Must be floating point."=C2=A0 The value 2 isn't.
--00000000000098fd1f06219989e3-- From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 08 07:09:14 2024 Received: (at 73098) by debbugs.gnu.org; 8 Sep 2024 11:09:14 +0000 Received: from localhost ([127.0.0.1]:58032 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snFn7-0005if-P9 for submit@debbugs.gnu.org; Sun, 08 Sep 2024 07:09:14 -0400 Received: from eggs.gnu.org ([209.51.188.92]:55444) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snFn6-0005iT-2G for 73098@debbugs.gnu.org; Sun, 08 Sep 2024 07:09:12 -0400 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 1snFmy-0004hh-JE; Sun, 08 Sep 2024 07:09:04 -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=vyb0oCGK65rJPjpxRUF+eKtmLNLjFEIfhQVxbqJD+pw=; b=i9t1bgGS5+cl vYhTlgxyctVdv2Y/8bQMqgs/AP+8tA43tnrcl3AHzpkSq88pVVi19GG8EcJDH+gcdNy2tgPaH1YXE j7D2+vyttSZPIjopMGG5j1zrUEUoTAxchUnK4RWVflOEHbTEHJyzxzkPyTWRR2x29XFLqjgpeovQ2 4p9UQ1uwUw1XMqOEpvgA80G8JUuP/g7eeVMvLGc5VxtYMBdvvgm8FVdCCAT1xSyueE7+URQzD2Pnh jMSla0peNk3YcFEJ+M9WqwyObz2AErjFcFPnIvB+xyOcuRYKDAQgglF71WbSuotM9X8NrzXKDPFKZ zkg2vlh0YzkNB8IoffpwDw==; Date: Sun, 08 Sep 2024 14:08:59 +0300 Message-Id: <86ikv6wgfo.fsf@gnu.org> From: Eli Zaretskii To: Ship Mints In-Reply-To: (message from Ship Mints on Sun, 8 Sep 2024 06:59:31 -0400) Subject: Re: bug#73098: setopt float warning unexpected References: <86r09uwuf3.fsf@gnu.org> X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 73098 Cc: 73098@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > From: Ship Mints > Date: Sun, 8 Sep 2024 06:59:31 -0400 > Cc: 73098@debbugs.gnu.org > > Yessir. I was talking about users' likely expectations for type coercion. There are cases in elisp where numeric > type coercion is the default, e.g., (= 2.0 2) is t. I expected it to be so here, too. > > If you feel this is moot, then so be it. Let's see if there are other opinions. But basically, you'd like 'float to be an alias for 'number, right? From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 08 07:16:49 2024 Received: (at 73098) by debbugs.gnu.org; 8 Sep 2024 11:16:49 +0000 Received: from localhost ([127.0.0.1]:58058 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snFuT-0006DT-F0 for submit@debbugs.gnu.org; Sun, 08 Sep 2024 07:16:49 -0400 Received: from mail-ua1-f44.google.com ([209.85.222.44]:51326) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snFuR-0006DD-0l for 73098@debbugs.gnu.org; Sun, 08 Sep 2024 07:16:48 -0400 Received: by mail-ua1-f44.google.com with SMTP id a1e0cc1a2514c-846bc787b3dso970804241.2 for <73098@debbugs.gnu.org>; Sun, 08 Sep 2024 04:16:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1725794139; x=1726398939; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=Hau0AtRrHqeoF9SgXn2aorKB1UOITg6lavKZ5wB7660=; b=HX3PLxc1XX8giTeFnNwdn2hsx2aFwtcIteDRVDzrLxVy6SYeClAR2ROWLpYD07noCv SsxfTtb+koIc7fsOEdjbn95KQV5WwuGvpe+KwbqWwDWRKra/IpM9YaX1ftCFLQmQ/z8x I1XgR0DhFaTzP2sWcgz35MMya06SFAm/pp0qKCOQgGKc1D3aq0yIF3XNk8FtK8Or2In4 HhGgpY/miS15luZCCo0GxTEPDoWkZmlAzTTsiSyNJ0o55b5WSNVHfHVbLkEXv8iyTCZc 2SXgOELGcVWJvWwLmmaQwGOCbTIQM4ILXEQWJiCbo6jnS0zy45IbAT2aAxyUXLlNriG0 bQ6g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1725794139; x=1726398939; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=Hau0AtRrHqeoF9SgXn2aorKB1UOITg6lavKZ5wB7660=; b=mg8KGvN9f+/I8pK6kNI5lwgVc/cSnZSGOHb/PKIqaGQ15/mqf868gWBaWMaOz67O1i vbsgIlNtfedwKO/EC0FZvJ2WyJw8Vwgtvnrtzq+xJo5n8G5f0wp0TjBqwYzJU0aa4okN zL6ywPGAMS/9JFCl+jB6G/hrHmL0oo8JTLx/BuVSdvGgxbh0ZpCkFOSRETxV3yOOHKBx Myy3SgIBb3RFwGVMJMaMTQ/jQmb5uPACjoJBBz6sKpKS13f1UAHYmnebszJp8BduxESw RsHSQPahURJNu9LYzReEBJeG7E4Nod8c3pj7/TxunVPmDhMXtHahByW6BElksijQthNe UuRw== X-Gm-Message-State: AOJu0Yw8Qxs4h6rMPf4JdXS8SxFvCub5PfhPnttG/ndsVMewKhNu93+5 G/7nFc47QgJY+7pbz2wCEW/giwJZ3o8PjqLS7ARKl13sJvPKXN5v3SF907accMih3RWclT30FB/ 01WwImZ3CCDqqgdHeJD+pCQdih44= X-Google-Smtp-Source: AGHT+IGTJjFuyZOtErsGTEUivwiF7r3te4CNbZcHQ8prV+Vnvha2QHkQNKe/shV3+mKF8xNWgyp7DR0upxZLj9Lo3gw= X-Received: by 2002:a67:b918:0:b0:498:c4e5:bc4f with SMTP id ada2fe7eead31-49bde1e349emr7929576137.17.1725794139495; Sun, 08 Sep 2024 04:15:39 -0700 (PDT) MIME-Version: 1.0 References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> In-Reply-To: <86ikv6wgfo.fsf@gnu.org> From: Ship Mints Date: Sun, 8 Sep 2024 07:15:28 -0400 Message-ID: Subject: Re: bug#73098: setopt float warning unexpected To: Eli Zaretskii Content-Type: multipart/alternative; boundary="000000000000a3e361062199c274" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 73098 Cc: 73098@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --000000000000a3e361062199c274 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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 #'=3D for these simple cases. On Sun, Sep 8, 2024 at 7:09=E2=80=AFAM Eli Zaretskii wrote: > > From: Ship Mints > > Date: Sun, 8 Sep 2024 06:59:31 -0400 > > Cc: 73098@debbugs.gnu.org > > > > Yessir. I was talking about users' likely expectations for type > coercion. There are cases in elisp where numeric > > type coercion is the default, e.g., (=3D 2.0 2) is t. I expected it to = be > so here, too. > > > > If you feel this is moot, then so be it. > > Let's see if there are other opinions. > > But basically, you'd like 'float to be an alias for 'number, right? > --000000000000a3e361062199c274 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
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 c= onsider if setopt's=C2=A0/ customize internals should be relaxed to the= equivalent of #'=3D for these simple cases.

On Sun, Sep 8, 2024 = at 7:09=E2=80=AFAM Eli Zaretskii <eliz@g= nu.org> wrote:
> From: Ship Mints <shipmints@gmail.com>
> Date: Sun, 8 Sep 2024 06:59:31 -0400
> Cc: 73098@d= ebbugs.gnu.org
>
> Yessir. I was talking about users' likely expectations for type co= ercion. There are cases in elisp where numeric
> type coercion is the default, e.g., (=3D 2.0 2) is t. I expected it to= be so here, too.
>
> If you feel this is moot, then so be it.

Let's see if there are other opinions.

But basically, you'd like 'float to be an alias for 'number, ri= ght?
--000000000000a3e361062199c274-- From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 08 07:39:43 2024 Received: (at 73098) by debbugs.gnu.org; 8 Sep 2024 11:39:44 +0000 Received: from localhost ([127.0.0.1]:58084 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snGGd-0007MM-Lv for submit@debbugs.gnu.org; Sun, 08 Sep 2024 07:39:43 -0400 Received: from mail-out.m-online.net ([212.18.0.10]:56155) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snGGb-0007ME-VF for 73098@debbugs.gnu.org; Sun, 08 Sep 2024 07:39:42 -0400 Received: from frontend01.mail.m-online.net (unknown [192.168.8.182]) by mail-out.m-online.net (Postfix) with ESMTP id 4X1p0V24f3z1sBq3; Sun, 8 Sep 2024 13:39:37 +0200 (CEST) Received: from localhost (dynscan1.mnet-online.de [192.168.6.68]) by mail.m-online.net (Postfix) with ESMTP id 4X1p0T5cJhz1qqlS; Sun, 8 Sep 2024 13:39:37 +0200 (CEST) X-Virus-Scanned: amavis at mnet-online.de Received: from mail.mnet-online.de ([192.168.8.182]) by localhost (dynscan1.mail.m-online.net [192.168.6.68]) (amavis, port 10024) with ESMTP id z8XSmVuEDnzR; Sun, 8 Sep 2024 13:39:37 +0200 (CEST) X-Auth-Info: NFSp9YpYTY2hYSLM/QHSssJiaJLgmSRH23jExb7QyTBmGbGhW646GnRu6OIr+k8P Received: from igel.home (aftr-82-135-83-115.dynamic.mnet-online.de [82.135.83.115]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mail.mnet-online.de (Postfix) with ESMTPSA; Sun, 8 Sep 2024 13:39:37 +0200 (CEST) Received: by igel.home (Postfix, from userid 1000) id CA0032C1A52; Sun, 8 Sep 2024 13:39:36 +0200 (CEST) From: Andreas Schwab To: Ship Mints Subject: Re: bug#73098: setopt float warning unexpected In-Reply-To: (Ship Mints's message of "Sun, 8 Sep 2024 06:59:31 -0400") References: <86r09uwuf3.fsf@gnu.org> X-Yow: Am I accompanied by a PARENT or GUARDIAN? Date: Sun, 08 Sep 2024 13:39:36 +0200 Message-ID: <875xr674sn.fsf@igel.home> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.5 (/) X-Debbugs-Envelope-To: 73098 Cc: Eli Zaretskii , 73098@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.5 (-) On Sep 08 2024, Ship Mints wrote: > There are cases in elisp where numeric type coercion is the default, > e.g., (= 2.0 2) is t. I expected it to be so here, too. That's because the function accepts a number, not a float. If you want to accept any kind of number, just say so. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different." From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 08 08:29:56 2024 Received: (at 73098) by debbugs.gnu.org; 8 Sep 2024 12:29:57 +0000 Received: from localhost ([127.0.0.1]:58129 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snH3E-0001Ta-GU for submit@debbugs.gnu.org; Sun, 08 Sep 2024 08:29:56 -0400 Received: from mail-vs1-f46.google.com ([209.85.217.46]:59454) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snH3B-0001TJ-Tm for 73098@debbugs.gnu.org; Sun, 08 Sep 2024 08:29:54 -0400 Received: by mail-vs1-f46.google.com with SMTP id ada2fe7eead31-49bcaee2754so981064137.2 for <73098@debbugs.gnu.org>; Sun, 08 Sep 2024 05:29:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1725798526; x=1726403326; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=gfoMRqVcQoN5pI8suF1evX5FVZKstim/Qk/laRzIL7U=; b=IqdoPfF3jjexFmYfsgBWynizpt6P+cVfmouB7ycI0cg+Bijt1gt+3KmoHg5bkz2NUz hKVf5O39w1oY7Pi/GCpNlCwX5OTqbJ+b3tsZfhWSuJIROGu+oYwiPydZlTMWND7Yjq+V X7POioujpRrJOxc9CdIN1kQjMRiHJ7F3RlMOyixG7brRhhzZgdf4/LCI3qEvNLsrfPmj JLhFWWkJ3mqeJsdO2hfbZx+6F3W801rQLgTzaG5BuiNNy6WWcTsuorf5+s6uC1vJzLHn TSD9UPnQS3w5BD5cl+FN5Zm5MovBRR+q+kaKrVLIhGNz71LvQ/2fnQituN+6+msxnFQU xW0Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1725798526; x=1726403326; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=gfoMRqVcQoN5pI8suF1evX5FVZKstim/Qk/laRzIL7U=; b=DPad9BxB9pGg5mfhAPoLiS9xJWU43+rqruMxfiBEo86AoErK706N50QHiKvCSSAEET DTGIUsmWm+qYUd5ZZixYumoCphcmSrh5gh7mdj7L2YHD5wI+nXDJgbLbZFhfZ13QgUc1 pYAEWTYD/jRjVXlWwmdxFGssigI8letqbB4ENBForKlrQMJ/ZIeiwO6J/4ft8LTzjZ1G /kBfN9Swb5Y1gf0U3iDCr9cZ6oyvme3LAQl4C0HoqJL9+81xlON/8qOdKB7b+5KVq9Ov SGwFXJj2S5Lel7+eMMhlFTskTh5bmZrn+nAwHWEg1E7fFGGiMh4H4kWCPeeyALvtyVt0 LvuQ== X-Forwarded-Encrypted: i=1; AJvYcCWO17YTYd1A0XMmdKUDY8mhH1gkcpmd1f7hKSSPjAjkPWn1H/Y/N44a4bYIq4DMkbJSAe2Uiw==@debbugs.gnu.org X-Gm-Message-State: AOJu0YzxtLWvsweS3oW7ztXSpuGuOHbyh4rG9GsXL/5uF4L27kFNlkSX HYUrp9MLgly5VeI7DJyMXEUTzYTbmU50xDiklsZISYZaTE5RK1lzyJ6kQGFoyF9VT2vYyFc5mG7 NfL+cqRjaBn2LNujk1naZt+Zqk8I= X-Google-Smtp-Source: AGHT+IHdSXwioY8PioESFGrYjr/hG+bbgOJYnnGsv36mv7EDpWEuBocU2W149p87nlx8S5bSN2ghnwlf9awlAMzEwcQ= X-Received: by 2002:a05:6102:941:b0:49b:cdfe:2066 with SMTP id ada2fe7eead31-49bde171e63mr6026279137.13.1725798526062; Sun, 08 Sep 2024 05:28:46 -0700 (PDT) MIME-Version: 1.0 References: <86r09uwuf3.fsf@gnu.org> <875xr674sn.fsf@igel.home> In-Reply-To: <875xr674sn.fsf@igel.home> From: Ship Mints Date: Sun, 8 Sep 2024 08:28:34 -0400 Message-ID: Subject: Re: bug#73098: setopt float warning unexpected To: Andreas Schwab Content-Type: multipart/alternative; boundary="00000000000019990906219ac811" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 73098 Cc: Eli Zaretskii , 73098@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --00000000000019990906219ac811 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 100% correct...when one controls the code base in question. For the many packages out there with strict types in their defcustom definitions and with many/most users using setq over customize, there will be lots of surprise for simple cases like this when they try setopt. Perhaps more vocal advisories for package authors to provide updates (though many seem fallow), and for users might be sufficient without resorting to monkey patching. Most, I suspect, will just revert to setq and ignore custom type validations. Most don't even check for the presence of setters and I've assisted many in my circles with their resulting heisenbugs. On Sun, Sep 8, 2024 at 7:39=E2=80=AFAM Andreas Schwab wrote: > On Sep 08 2024, Ship Mints wrote: > > > There are cases in elisp where numeric type coercion is the default, > > e.g., (=3D 2.0 2) is t. I expected it to be so here, too. > > That's because the function accepts a number, not a float. If you want > to accept any kind of number, just say so. > > -- > Andreas Schwab, schwab@linux-m68k.org > GPG Key fingerprint =3D 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC= 1 > "And now for something completely different." > --00000000000019990906219ac811 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
100% correct...when one controls the code base in question. For the many= packages out there with strict types in their defcustom definitions and wi= th many/most users using setq over customize, there will=C2=A0be lots of su= rprise for simple cases like this when they try setopt. Perhaps more vocal = advisories for package authors to provide updates (though many seem fallow)= , and for users might be sufficient without resorting to monkey patching. M= ost, I suspect, will just revert to setq and ignore custom type validations= . Most don't even check for the presence of setters and I've assist= ed many in my circles with their resulting heisenbugs.

On Sun, Sep 8, = 2024 at 7:39=E2=80=AFAM Andreas Schwab <schwab@linux-m68k.org> wrote:
On Sep 08 2024, Ship Mints wrote:

> There are cases in elisp where numeric type coercion is the default, > e.g., (=3D 2.0 2) is t. I expected it to be so here, too.

That's because the function accepts a number, not a float.=C2=A0 If you= want
to accept any kind of number, just say so.

--
Andreas Schwab, = schwab@linux-m68k.org
GPG Key fingerprint =3D 7578 EB47 D4E5 4D69 2510=C2=A0 2552 DF73 E780 A9DA = AEC1
"And now for something completely different."
--00000000000019990906219ac811-- From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 09 11:11:01 2024 Received: (at 73098) by debbugs.gnu.org; 9 Sep 2024 15:11:01 +0000 Received: from localhost ([127.0.0.1]:33868 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sng2f-0003K2-B9 for submit@debbugs.gnu.org; Mon, 09 Sep 2024 11:11:01 -0400 Received: from mout.web.de ([212.227.15.4]:57879) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sng2d-0003Jk-4E for 73098@debbugs.gnu.org; Mon, 09 Sep 2024 11:10:59 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=web.de; s=s29768273; t=1725894648; x=1726499448; i=michael_heerdegen@web.de; bh=sTKem5mAeCieNIW5CoNVOUg4K/yN4OlSh6HPTRXBacc=; h=X-UI-Sender-Class:From:To:Cc:Subject:In-Reply-To:References:Date: Message-ID:MIME-Version:Content-Type:cc:content-transfer-encoding: content-type:date:from:message-id:mime-version:reply-to:subject: to; b=i0BSrG9WrbP9gMZdTtsVqYsf+gYiESE0Wko5pctfjUgMy2Xzyy9m7y12mXLPrO9D LE5HXs6Pu8jyzzbsRhG21PjFc219m9vJ7L4J/mf0SRKiFTMKAUINxmrlWoqBFvPXg DvESHMyk7haG/QPcaX9rckcQ0TfXbVD8zW6mG+e9r6n99CgK9ZDuLyT9aGyCeEj+a NFWlPYXQFkhYMV25xaSb/o2Kjy8EdpCba4lHFkCR21kAFa5jwtO+bBi2ASgXFWwB4 kT7zN88fWFUKoPpqcEqJ2B2IXJfxkPp0M/Vxn0S4NDBv4hQGUJ0LK+AaIqbcO7SpV BGUXjG+AFJ28rZyM1g== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Received: from drachen.dragon ([84.59.210.176]) by smtp.web.de (mrweb005 [213.165.67.108]) with ESMTPSA (Nemesis) id 1MiMAE-1s8ZrC2b8Y-00kL8X; Mon, 09 Sep 2024 17:10:48 +0200 From: Michael Heerdegen To: Ship Mints Subject: Re: bug#73098: setopt float warning unexpected In-Reply-To: (Ship Mints's message of "Sun, 8 Sep 2024 07:15:28 -0400") References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> Date: Mon, 09 Sep 2024 17:11:40 +0200 Message-ID: <877cbk50b7.fsf@web.de> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V03:K1:Ac9eD09OCjFxGuijY96LCNhkzgkXyNxDWqWPDwe5QPu5/7tfgX/ QZD5A9GDnLBBjGZluw5W0CE5dS014j2T+QcmC39zDLubHSHQR69DDGgJHJgS6LMkuA3sRln Nntd5d/352PylFkVPEYox2giXX/TsHmhov3wJt5RCQlHd8A5sTGBs0M3kbXVQ11z8w7GP8n 8G28lEkUaEd4bVS3kdjRA== X-Spam-Flag: NO UI-OutboundReport: notjunk:1;M01:P0:TN7hnYKRc5w=;ifDs1Bluw/kn2BhwcUPsd54ylEO sfTrkyqgyIJBP9oi+jmaRtyJnQu0OztKrj3WnJixJ5gw+hO5hp9/O4VbmKODyaZHjR356fnH5 /Xzdyfh6PcvIdGSRdMYbNupStWpeTB23Vpnfgm76V/cIv4RVV0CgJ5tSuVrBQCOVzle1chIlA sZ6oO5tFt2tLZygzsn+SAbR3u4bw+eeIrlWKkNpxr+M0YUJvkcYwS5MuevlefYsjuPJIUTs9n kpVwRA8OY+A8MP2bOaA3U0kvGsoWXTQKYbERZJBBy/V6YPDEpT8SIMjEzsvwAJWSW5khqwbxL 1/7DIdyEzo36Cnvef9+0GDr12mRWe7FAcpNLV+TOK2JEb+sUqS2MzBuLZLSanrjXIQtG7r6F7 uo+VPrUe97QpDIQu7GuSFqkrces6uGQSevPQPZBEJYmPTUoEEu1M5hJnkmJ2e/OpmuwMzW8yB 2AY1OMgcrCXiBwEsQny1tasa30oss9+0IocxgG+ktMu6bQGQ5h426oaHIPrvIEiBziYVzm2eI Bg4SsfRsXcEiAgfA9iZnd1iaCEi0CpHec6d3PUuBpqu5u5yLKCNH/1iel9CCoM48sWM2mjxzx pp7sxzVW6cpVVVSyJfrHAZ+aB/5kwLUpA/ZRVlrPCNElEI+zyPmioMPKWbBGin0RRs8TSfK5W tlCzT9YD7uHeGZsww2kujtHiPZWisWfIW9KePgGIz/Zz0J4GbPrFIrnRwMtgfsncs7+WPwvgw 9t0nPiWbUE7xNBNNzA8sl9b07J7y2N5C8plmQJYqgCuELBwkCSCgZdsmlH50dhEZQjFBb8SnW UVWuUGPMEvqMI6VDwuiBUujDK5nO3r/6fG+p3gQmVy9gE= X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 73098 Cc: Eli Zaretskii , 73098@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) 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? Michael. From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 09 11:28:21 2024 Received: (at 73098) by debbugs.gnu.org; 9 Sep 2024 15:28:21 +0000 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 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 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==; Date: Mon, 09 Sep 2024 18:28:07 +0300 Message-Id: <86tteovoc8.fsf@gnu.org> From: Eli Zaretskii To: Michael Heerdegen , Stefan Monnier In-Reply-To: <877cbk50b7.fsf@web.de> (message from Michael Heerdegen on Mon, 09 Sep 2024 17:11:40 +0200) Subject: Re: bug#73098: setopt float warning unexpected References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 73098 Cc: 73098@debbugs.gnu.org, shipmints@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > 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? From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 09 11:37:02 2024 Received: (at 73098) by debbugs.gnu.org; 9 Sep 2024 15:37:02 +0000 Received: from localhost ([127.0.0.1]:33921 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sngRq-0004mT-9R for submit@debbugs.gnu.org; Mon, 09 Sep 2024 11:37:02 -0400 Received: from mail-ua1-f46.google.com ([209.85.222.46]:43489) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sngRo-0004lx-7k for 73098@debbugs.gnu.org; Mon, 09 Sep 2024 11:37:00 -0400 Received: by mail-ua1-f46.google.com with SMTP id a1e0cc1a2514c-846c452898cso2875843241.1 for <73098@debbugs.gnu.org>; Mon, 09 Sep 2024 08:36:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1725896151; x=1726500951; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=jvKZgz9d1PYrBCZjR5x51VH3IPmORKF02/XVdyxFhTs=; b=HlMWtyf79wk+aGUnBNjDy5kXSfJV2k0nIuLG/3q8XOlftFWXiJJ7fRjG7XXbhC8A3u hMbAH0eOZZpopXS+ANyxo1GZGWXTM4JZgnzVW6ZLBuQaFin21+f3V7pJV+4CyiLvYNt/ w8JLA7jfCuV1oNn18EvnCRbp9Vrahjh1XPkzDsz+lmxErWSnaYRehH2xWSD74J3xBOGQ PQLX1rGckIbDyQJHdfOaOx0V2OqKoKmXYbXRH5tQE15QhHDhgbGCLc4eWl6SCDQofvfP HNkgglQCPf4CQ6N5hJXQoiQT2yK10epoYOqNFvrXRGGUKLiaFKzm7h087212t7FxTx/z FFqQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1725896151; x=1726500951; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=jvKZgz9d1PYrBCZjR5x51VH3IPmORKF02/XVdyxFhTs=; b=REgC2HO+ahs9f2i2lYLmTiiaqSl4NmJMWJkZQdDrDJM5O+SciauDfBTuZjRm8jlWqP YTzteNrjxW7xbOmHOpsTVvfIxsXSEKvjr3XR2gESNJQO8nsU4kj8ZfwubHYtBQ2rHQHW D9iaSG5GmWBT7mfGFAxVQ5uF4RtQwO6nVXzBhZ2HMHL0/oXwO7FhPyA6Vs8Qq2+hjyCM Oy1HFcnBmdpL7McotPZ8xPg1Ko22dYFxEEyea7H7hjYlrEJHb6MF7PolD6xrGZ/0IvGL ekwy0bEx8VHY2zZb/tB4hYURj23Od8fApOVokJKy3s56rG/2BUUXvxkiNglDEHQCsMZM zgvQ== X-Forwarded-Encrypted: i=1; AJvYcCUc+E62mcqe0QTtDMrghuP5I+wsmZSfYBnbmTXYsl+prNPomrlZJwfwZ5fHb0aSOPD6wp4hQA==@debbugs.gnu.org X-Gm-Message-State: AOJu0YwYNnCm5/wBukrg6FOZLNrGANcGNJAinf0EsubHASTJsW9PJZqy pIR3tg/Py+lTfbTIKz6s2SLbRKifMivsgnO9alTHLHbjHm2DEu5uWlmHxrFnPuRICvotgLmro7V Eic8wolvPdBYkGxC36lAsXurGmaA= X-Google-Smtp-Source: AGHT+IFizyf7YoElBvi++9WPHkmt6DYlwaRgHALu8QAIdCBjNEk0HTjZNpYhDf9irvBsT/xKz3ES+Ey9JT3wpXDp1Js= X-Received: by 2002:a05:6102:161e:b0:49b:d489:d467 with SMTP id ada2fe7eead31-49c15a1091bmr42417137.8.1725896150531; Mon, 09 Sep 2024 08:35:50 -0700 (PDT) MIME-Version: 1.0 References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> In-Reply-To: <86tteovoc8.fsf@gnu.org> From: Ship Mints Date: Mon, 9 Sep 2024 11:35:39 -0400 Message-ID: Subject: Re: bug#73098: setopt float warning unexpected To: Eli Zaretskii Content-Type: multipart/alternative; boundary="000000000000f8cb070621b18206" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 73098 Cc: Michael Heerdegen , 73098@debbugs.gnu.org, Stefan Monnier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --000000000000f8cb070621b18206 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Perhaps an alternative macro `setopt-relaxed"? Documentation should suggest contacting package authors to request improvements (it's a very slow process to get misspecified packages updated and not all authors mean what they say when they themselves don't use the customize system--this group must know this all too well). On Mon, Sep 9, 2024 at 11:28=E2=80=AFAM Eli Zaretskii wrote: > > 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 #'=3D for these simple cases. > > > > How about adding an option letting the user disable the type checking o= f > > 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? > --000000000000f8cb070621b18206 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Perhaps an alternative macro `setopt-relaxe= d"? Documentation should suggest contacting package authors to request= improvements (it's a very slow process to get misspecified packages up= dated and not all authors mean what they say when they themselves don't= use the customize system--this group must know this all too well).

On Mon, Sep 9, 2024 at 11:28=E2=80=AFAM Eli Zaretskii <eliz@gnu.org> wrote:
> From: Michael Heerdegen <michael_heerdegen@we= b.de>
> Cc: Eli Zaretskii <eliz@gnu.org>,=C2=A0 73098@debbugs.gnu.org
> Date: Mon, 09 Sep 2024 17:11:40 +0200
>
> Ship Mints <shipmints@gmail.com> writes:
>
> > I'm suggesting that there will be noise from people who conve= rt from a
> > working (setq some-package-option 2) to (setopt some-package-opti= on
> > 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 #'=3D for these simple cases. >
> How about adding an option letting the user disable the type checking = of
> some options?

Like what?=C2=A0 Would we accept, for example, a string where the type is 'symbol'?=C2=A0 Or any value where type is 'boolean'?

And I'm also not sure we want this: presumably, if the defcustom's<= br> author specified a type, they meant it, no?

Which is why I asked for opinions (but for now got only yours).

Stefan, WDYT?
--000000000000f8cb070621b18206-- From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 09 12:38:17 2024 Received: (at 73098) by debbugs.gnu.org; 9 Sep 2024 16:38:17 +0000 Received: from localhost ([127.0.0.1]:33941 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snhP7-0007tF-71 for submit@debbugs.gnu.org; Mon, 09 Sep 2024 12:38:17 -0400 Received: from mout.web.de ([212.227.17.11]:40709) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snhP5-0007t0-3V for 73098@debbugs.gnu.org; Mon, 09 Sep 2024 12:38:15 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=web.de; s=s29768273; t=1725899874; x=1726504674; i=michael_heerdegen@web.de; bh=pKJ8uMx4E4gdKqOHGm8cKpFAa6csWFztXh5ORUQoXvc=; h=X-UI-Sender-Class:From:To:Cc:Subject:In-Reply-To:References:Date: Message-ID:MIME-Version:Content-Type:cc:content-transfer-encoding: content-type:date:from:message-id:mime-version:reply-to:subject: to; b=nyho2/JhJt+JJe9amXOCi5hqATWCN74LUVEibM31lB10csMcRkEcExjo3X/l3Uu3 6TBjwjlPW0QD/v2osu7mN8yBAuchGgdKb1PtSyj92coyrMFvvOrWBHKVlsrcLVdoN I9Ch7lMRDM+EozSA1jmkJKGTSpBg/uc6GTuzi17IzgRPWN7VVoRznbXi9gwMIzK2v NAhur1KHosvjnoFVwj/Als2LAktlsSb8RX9sM33l7yV1YnE760YXgD1j6WLBxlyls gCnmvwXGZ+iblvSSbMF1YUbccBkUOK8nTnVmP57ykOR2xcPnT4mZfllvaEO8qfqbm HeDbKsaWGZM0w24haQ== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Received: from drachen.dragon ([84.59.210.176]) by smtp.web.de (mrweb105 [213.165.67.124]) with ESMTPSA (Nemesis) id 1MNOQy-1sP2ym11YY-00PVbq; Mon, 09 Sep 2024 18:37:54 +0200 From: Michael Heerdegen To: Eli Zaretskii Subject: Re: bug#73098: setopt float warning unexpected In-Reply-To: <86tteovoc8.fsf@gnu.org> (Eli Zaretskii's message of "Mon, 09 Sep 2024 18:28:07 +0300") References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> Date: Mon, 09 Sep 2024 18:38:43 +0200 Message-ID: <8734m84wa4.fsf@web.de> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V03:K1:MmK30pkctR8M6Kv1qhybHwG9dFa8v28p4+NwgQoeXHk8KrKdFR/ LB7asFj2gcXspK6JBgnnxF7jZgku84+Qx7FDoc27lYNsVnjt0ey3nulRvXiLpRk1PzomCIc pfaU2knnar2dkdfZj10mm3ktzZKyaqr7/AyQUr5jkyKGcz+rpmWwLYOe7l5UrTc3gkUOBgw BYQbb5FN4v8u6tbpO9E/w== X-Spam-Flag: NO UI-OutboundReport: notjunk:1;M01:P0:BEgb73fLIp8=;rYYa/v+R0XbWE6r6ETSFvf5rfpo JpUm4v2Cs8E75r7vTtAxzeLuR4DljnZtrIU3wyz52wSCwUlHW+Vr648zzv3dt9wFjv+uBPnbc 7mztBO1zL5Kf4n0iP8ojG0KunLGr1sBOVqUzFQgx6wq+DRM9VvU50Tb6xNsfsDninOTeRWsv3 Y2RQLHchbDSuwoMT9xEDOPj5yIP1vc0sqGGXX2fgYMJK1649OCP0Ml8hjbMBToaJp20qIWJHI LQjOyK39tqAMvnguj3rbhI5U296vrLGA9OZ2oJuGngBIhPcuk9vTtN2sNk1B4x9jcaqRsmKbO baZRmTuXTQwYcOmFYtxDDiuNoU4gnbmaTuyIqUFSxL6Z8lMnHGsKW6DIdJY2jkOvRhb4tARDr R49ICMOQ4jYdb9b1icMnODXad1N19wn02wshqvRBC3Rp6BHVige0OcvxA8VTQvmuSIHmGzMSi 1aInKcV2ie8GBx5xYjyF80QJFDpp63jSNgWg0/qMDksDgsq4TI5l2CPX4ZoRSNmqSNWQcFqa7 IwJgXDT+zQGuFSB3O7snybpreuMmU564o4O0YazXSWnhJEP0OIIl21ARgf6EXY2VqEUPXeAmh VAVSp9nFWXcUWyGX70CPAuqH2ksgMMoHTHvYh38pAN77hoFTFoxiGlPYgXfEkQ6FXRDqu7vNo 63WpHC5nbO4cIk66EVIiZUVw53ObIo7KsnKEanCKfGNMtoK6NwMw2vSU8bgh8g7tQ/qXRWLLs IUS2ZpX+o27WyZQF9SauLZXSx7TIGci3aGe/ni78y8jsQbJ92BnyO8n2cXtHrj5BneN/Q/fJC HK03gVlbe1gIzvokEFXvb13xKRW4b5BFRomcC2Kof6wHA= X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 73098 Cc: 73098@debbugs.gnu.org, Stefan Monnier , shipmints@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) 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. I _don't_ think melting types in either way would be a good idea. Michael. From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 09 12:39:54 2024 Received: (at 73098) by debbugs.gnu.org; 9 Sep 2024 16:39:55 +0000 Received: from localhost ([127.0.0.1]:33945 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snhQg-0007vj-Ks for submit@debbugs.gnu.org; Mon, 09 Sep 2024 12:39:54 -0400 Received: from mout.web.de ([212.227.17.12]:58747) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snhQf-0007vT-Cv for 73098@debbugs.gnu.org; Mon, 09 Sep 2024 12:39:53 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=web.de; s=s29768273; t=1725899973; x=1726504773; i=michael_heerdegen@web.de; bh=VmTdsm128roLmBSUDkXE8UyV/ZyX6IJ2R63x/ZNzQZs=; h=X-UI-Sender-Class:From:To:Cc:Subject:In-Reply-To:References:Date: Message-ID:MIME-Version:Content-Type:cc:content-transfer-encoding: content-type:date:from:message-id:mime-version:reply-to:subject: to; b=VdU6arfPQQq+7HYBgRTFLJJEJUHnGMmlyywF6eKrqPP2WS/wNYqK8ZGKny6mnJsJ AQiDMKHw1u0zhRiOXn+7CH1aTb0TILDgvf7dhEXmTrgpQUR4Ii5prUcUEZQ/64O7J IdQgetMqmzWfowimmUY0ahlxENu1+JGgEqMS+ZQQ2DjgsLARu1WOIcQPK6QhUgSJv bEObYVgWImihzIW5q3veqdd09ZgsonnqgGwdFZCPDUkvdA+Mq4G91KlRXEVbIYTRg uNNozqJFfECA7XoPDUznMmXJORUhrwEI39Wo/yim0XwwYgEY5jYKxXZZjqAOivnci pXQxT8CtdEFoZiooDA== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Received: from drachen.dragon ([84.59.210.176]) by smtp.web.de (mrweb106 [213.165.67.124]) with ESMTPSA (Nemesis) id 1M9qd5-1shwGX3SeD-0092lL; Mon, 09 Sep 2024 18:39:32 +0200 From: Michael Heerdegen To: Ship Mints Subject: Re: bug#73098: setopt float warning unexpected In-Reply-To: (Ship Mints's message of "Mon, 9 Sep 2024 11:35:39 -0400") References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> Date: Mon, 09 Sep 2024 18:40:19 +0200 Message-ID: <87y1403hn0.fsf@web.de> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V03:K1:iEvYPUz/6kytziA1wQD/FqKxRbQEyh3KS9hUuadEdRlngZg+SZG iN0gxP3qLYa2EdrShMl2m2hjZ7L5bH2E5ZcHdiT55G1dNXhU8wRhwbXTWfCMXq+oSuvz1rz 5KVEQZ0HSQYnK8eJZ5Dc+NqM2zA+aUKZu06zGkZxYLO43v/j0g799kGnuKMbXJPzWwue3xA 6C9r197khTkaCAe3i4M+w== X-Spam-Flag: NO UI-OutboundReport: notjunk:1;M01:P0:WF+m206yaBU=;ue38Vb944WatTfzSos4Z1m6+BhD EJ5mRVbMdULbQaHRo3DYE4KySJnMH/aF5JtHwompziMjcqrRLhMkKuVZ9ijrMy94W74dckEo1 kV+WpTFoCsiTQxlkVRz6N+juplmhVew6Bavf2Xnyap53glOCs4JiXuv+Urt+xQmDpQ70e6sMD VPSYyCYB13+o/lx1jp/rzjZUan4VGX2OsFKRWakwoUfCUykNhz9gmzEBhr0xPLpcnBHOMtswW tESduc1emft1XsS37tC74NB6dLI8kYYu2jzON18T4YVpOyecW3VKrAnn+QvWSJhG+TPpP+tCh vNpQ0T6J+o/2a1UQHF/J2QAeInhgDAF+67f0OYUiO1F8dnpjT3gyKS2epkFLBbvQibdIvwxIs QrhsCwAMuFOZlTnNvPpdC+4/RStdThRo41VAjdgPITJhG4s+KakuvJ+b+34Gjr6KjHoAFMrFH v4amQD7Jamp2RQPNcXzmG6+CY+/c8bY/aNun2M0zI6AwW5WyFvPY0bfA4NRwDaBNIifpz3B4m HzZNzEUAa0mkUfXLlbbhP5QrdiBX4l+t2sBE1vbWXji19z9yYBxDBTdutz+Zica8tqwLiIdak yjIti6fMMEiRV1DEeOmNTvqmuoUIAendcPfiESkTfUeS8H0VatIGENEH/qHgpp57CmvI49mDi flOEdr3S9fnj5l3MI7Ii8CsiAMV2+nW+/aVZedvTYZkfevLxa1F/qbGlZZ5zkdNQU63OPWxAP rxW9x3535MRZ5Doz1mTSfgXcgppfyKjNdvjsGHVUqS/Da9Z8Y1FIK7AVxkau84VJK/OeyM1d/ gmORtT+3cONerjs/H8Cowino0cUxUBbKyAYZhKzhy0k4o= X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 73098 Cc: Eli Zaretskii , 73098@debbugs.gnu.org, Stefan Monnier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Ship Mints writes: > Perhaps an alternative macro `setopt-relaxed"? Documentation should > suggest contacting package authors to request improvements (it's a > very slow process to get misspecified packages updated and not all > authors mean what they say when they themselves don't use the > customize system--this group must know this all too well). Dunno 'bout the name, but the idea sounds ok to me. Michael. From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 09 13:37:25 2024 Received: (at 73098) by debbugs.gnu.org; 9 Sep 2024 17:37:25 +0000 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 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 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==; Date: Mon, 09 Sep 2024 20:37:05 +0300 Message-Id: <86seu8vida.fsf@gnu.org> From: Eli Zaretskii To: Michael Heerdegen In-Reply-To: <8734m84wa4.fsf@web.de> (message from Michael Heerdegen on Mon, 09 Sep 2024 18:38:43 +0200) Subject: Re: bug#73098: setopt float warning unexpected References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> <8734m84wa4.fsf@web.de> X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 73098 Cc: 73098@debbugs.gnu.org, monnier@iro.umontreal.ca, shipmints@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > 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. From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 09 13:46:36 2024 Received: (at 73098) by debbugs.gnu.org; 9 Sep 2024 17:46:36 +0000 Received: from localhost ([127.0.0.1]:34008 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sniTE-0002vd-74 for submit@debbugs.gnu.org; Mon, 09 Sep 2024 13:46:36 -0400 Received: from mout.web.de ([212.227.17.11]:57361) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sniTD-0002vR-0M for 73098@debbugs.gnu.org; Mon, 09 Sep 2024 13:46:35 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=web.de; s=s29768273; t=1725903971; x=1726508771; i=michael_heerdegen@web.de; bh=P1q41b11ixhshhUi/U3IHT8ShsT0TuP8EpjNmY0d/4c=; h=X-UI-Sender-Class:From:To:Cc:Subject:In-Reply-To:References:Date: Message-ID:MIME-Version:Content-Type:cc:content-transfer-encoding: content-type:date:from:message-id:mime-version:reply-to:subject: to; b=SPB2kRHSbJwsrY65YSW8siHY3mCBhx2wunF4ZwBPXUsXealxYhrxda442BSnENDj kYOIuCFS0B6qtg6TTVbrg1kLNL0HBlwdarvVPWVlnmgMkL9dst98EUdsZD231WTWV LDzGVplxXDlbm5JZMeJTxaK9bSU2IRY99QFZnL3e6tTC1n0W1XfUxezA2+PJEzM5t bCkB7KKVZi+zkc8eWeq9jdfoEG3+N+Aec0o7iMpx5D7RDUDIpnKx9EE1fzOET/DzX 5+t2JJoc+N8Tl7m1RC3yzQWMRkN5GfihNDPCMTTRPXRMPAw4w8ZI0VACaMyseemAL sBHGjiEAsPGZnTSRGQ== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Received: from drachen.dragon ([84.59.210.176]) by smtp.web.de (mrweb105 [213.165.67.124]) with ESMTPSA (Nemesis) id 1MgAJ2-1s6OdR1qaU-00fnSQ; Mon, 09 Sep 2024 19:46:11 +0200 From: Michael Heerdegen To: Eli Zaretskii Subject: Re: bug#73098: setopt float warning unexpected In-Reply-To: <86seu8vida.fsf@gnu.org> (Eli Zaretskii's message of "Mon, 09 Sep 2024 20:37:05 +0300") References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> <8734m84wa4.fsf@web.de> <86seu8vida.fsf@gnu.org> Date: Mon, 09 Sep 2024 19:46:56 +0200 Message-ID: <87cylcen3j.fsf@web.de> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V03:K1:KonKSrbdkjC81EpHn6+D2HoaicT3D1aQospUOTSycUPNz7wLcI0 hXZ0FcxfcmEEY8UTGNoNDGM7wcs4WjA+lRLZMCISmjB3E0KMg9TM67ScsoOfTVCUrqbg2/k BC+pdPPGuhUHh/70GwgriIDIdBwwFRkbR1MJFxeZQkqpHaWqfGj+21w9/JQW5eGeQUtuJZ1 3tXjk5dfckOhsRH+sUvrg== X-Spam-Flag: NO UI-OutboundReport: notjunk:1;M01:P0:/PWdkGzEXSQ=;T+XTsmYCLKu0DJVKb5TDKZ5TSf/ TUhTElowbLp8j1Ag9uD3slUigAtFi0pF5oPVU1+ljgeuVDkuyYG1ITM31vwyE9DizBbXrbUAm yVXWhWf1s9LnIgew6sjyt7GiO1cxEiNyq8aHOE39jTAFbOP/hwq997rlxdgsfcmJX9c39u1fx UAzKxQxi/lb5FCgH0KmjiVqGWojqX1z1+40kgdbqp+Va+XyN5iuzMzeCoGodt0B8mm7+zs24g wPkcW2xTL5inXpXzUyR2UJFHfPC6WG39xPkMtaymkslLOK2BvQgngfu+AatX9FYf/bmdYBBFp HHOgS3Ps/YMPc76AnfuIBM00KypqvJlNDEQ+1ISiU41Wv9d+bCQnWTMx1qCYvZ4QhmY/ZBqDj E6DL06b3pY5fRz5rWU0VPm2DzJFbkXfrgvfboZNIz2pKWmELMRNDzRTrGr8sE6OWXMQZ3HvGZ TQdUX4+HTpOREaAkLIQ2QN2Fy325yVwIjafdKYcJTlkOUufwTf0Gfte0zr4QdOB2+c6gB0hXj FwV0yN51FNzM62r2GIluWKm2z/lpWaUCQXZMYuz24sLbqxLZBkdvKkwr9+t8Zvub6T2S3zkxZ jqBwYMFrZlHnaiAXj+xSz/XxvNIm+p0hHkRfTpylU0/58GTuRFNN+Y9eI8YLZm9XTcuO/A60B og/aq0MTMr3rLqEo9CR/zW0FmZmbFQBP62yHCpkWAcQvM1oWxsQENGoe5WDCDWSdquYCPfupa mzZNmMLap9JybGXvTMTY6t8/igVEkGPhCJJkzqjqFNqBh71CfQr0cPK8SxTNfJNSuWu/Lkrs5 AGwU4T1PPbnBfufW+Ua42tBQYE6sCPownI6PfJSOy7A+Y= X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 73098 Cc: 73098@debbugs.gnu.org, monnier@iro.umontreal.ca, shipmints@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Eli Zaretskii writes: > Thanks, but this sounds like overkill to me. Hmm... maybe. And the idea of an extra macro? Michael. From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 09 15:02:36 2024 Received: (at 73098) by debbugs.gnu.org; 9 Sep 2024 19:02:36 +0000 Received: from localhost ([127.0.0.1]:34180 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snjem-0006yi-5O for submit@debbugs.gnu.org; Mon, 09 Sep 2024 15:02:36 -0400 Received: from eggs.gnu.org ([209.51.188.92]:59606) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snjek-0006yS-Bs for 73098@debbugs.gnu.org; Mon, 09 Sep 2024 15:02:35 -0400 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 1snjeZ-0007Dc-Ti; Mon, 09 Sep 2024 15:02:24 -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=+7cRsbxixUMzdEBc70eIO+C0g+7xIqdeWO1KplMkbDQ=; b=chPmYy0LPsIi ATDAN9HWNTGNs4eMH55BXh2BzoMA9023ZRi5v4f3PBQqy6MtU+RA7FhuW2DHKsSlrGZnKpGwWBtO5 vHNmIfwIQ9P4c5l4m7n0oPbuAPkZ4PrDumJiskzhPFt7YczzBRpPuwysTXmqCUTrvlRtgT390Xnjb H6vowXSV+9oa6DKegeHzvp5NSs9MH0PtHH+qDgrc47L4TT8bfjKFMMeiFmkw44pZ4OZ026q7H31xq IKFvU0n6uJANB16U17CQp21sWsbhuKLHpqb8BKZ6taeVj5uGpEYtN78B9EVz0UW1aUOSLv4xKlJFf JRgjk/vzCWtzgCCze+ra+w==; Date: Mon, 09 Sep 2024 22:02:20 +0300 Message-Id: <86o74wvef7.fsf@gnu.org> From: Eli Zaretskii To: Michael Heerdegen In-Reply-To: <87cylcen3j.fsf@web.de> (message from Michael Heerdegen on Mon, 09 Sep 2024 19:46:56 +0200) Subject: Re: bug#73098: setopt float warning unexpected References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> <8734m84wa4.fsf@web.de> <86seu8vida.fsf@gnu.org> <87cylcen3j.fsf@web.de> X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 73098 Cc: 73098@debbugs.gnu.org, monnier@iro.umontreal.ca, shipmints@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > From: Michael Heerdegen > Cc: monnier@iro.umontreal.ca, shipmints@gmail.com, 73098@debbugs.gnu.org > Date: Mon, 09 Sep 2024 19:46:56 +0200 > > Eli Zaretskii writes: > > > Thanks, but this sounds like overkill to me. > > Hmm... maybe. And the idea of an extra macro? Likewise. I think we should make up our minds: either we enforce :type in setopt or we don't. From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 09 18:42:06 2024 Received: (at 73098) by debbugs.gnu.org; 9 Sep 2024 22:42:06 +0000 Received: from localhost ([127.0.0.1]:34349 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snn5C-00016E-DK for submit@debbugs.gnu.org; Mon, 09 Sep 2024 18:42:06 -0400 Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:27948) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snn5A-00015g-8G for 73098@debbugs.gnu.org; Mon, 09 Sep 2024 18:42:04 -0400 Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 6DC6F444798; Mon, 9 Sep 2024 18:41:54 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1725921712; bh=dY+tZWcFi924IwJ19mUmMZQVOOvlk/PaM/TbCEge0zE=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=fwcPT0a3//6GS2XpjQ6tyHNUAJIcoTo+Qjr4lBJzD63xo+RA6K9AE7p3rKQUuGDht gDaaWDSmZEURwLO01j7q4HNYx+HPqMrY2rmd46hkWi3Pvs3K83/ewy1mme7khg1OXD rU8VP5uaCh4FW0Nac20r1qLw6FmK1DM45iYL1sPC5Vo+oevzbqyDkQzMou2V5jrneR k2T3UPuVZ1neqfT1WZDDwNUmQ/pqEtAJPcTIAotka6peoSMuYI8SHpGwJ7m+uMa4rT B9qnAtZB+NdA3NjI92M5KUw+6pRH3UcFcDAv65BpzIX0p575rGjm/GZo3Lb8DULFpl eKzvyWzi+lTDg== Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id E57F7444795; Mon, 9 Sep 2024 18:41:52 -0400 (EDT) Received: from lechazo (lechon.iro.umontreal.ca [132.204.27.242]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id D41BA1203AB; Mon, 9 Sep 2024 18:41:52 -0400 (EDT) From: Stefan Monnier To: Eli Zaretskii Subject: Re: bug#73098: setopt float warning unexpected In-Reply-To: <86tteovoc8.fsf@gnu.org> (Eli Zaretskii's message of "Mon, 09 Sep 2024 18:28:07 +0300") Message-ID: References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> Date: Mon, 09 Sep 2024 18:41:46 -0400 User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-SPAM-INFO: Spam detection results: 0 ALL_TRUSTED -1 Passed through trusted hosts only via SMTP AWL 0.163 Adjusted score from AWL reputation of From: address BAYES_00 -1.9 Bayes spam probability is 0 to 1% DKIM_SIGNED 0.1 Message has a DKIM or DK signature, not necessarily valid DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's domain DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from domain X-SPAM-LEVEL: X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 73098 Cc: Michael Heerdegen , 73098@debbugs.gnu.org, shipmints@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > 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? I tend to agree. If the type doesn't accept the value, you can use something lower-level than `setopt`, while you argue with the maintainer to try and get them to change their type. IMO, the whole point of `setopt` is to check the value against the type. Stefan From debbugs-submit-bounces@debbugs.gnu.org Tue Sep 10 04:21:34 2024 Received: (at 73098) by debbugs.gnu.org; 10 Sep 2024 08:21:34 +0000 Received: from localhost ([127.0.0.1]:34785 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snw7y-0004sG-Az for submit@debbugs.gnu.org; Tue, 10 Sep 2024 04:21:34 -0400 Received: from mout.web.de ([212.227.15.14]:36717) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snw7v-0004s1-FI for 73098@debbugs.gnu.org; Tue, 10 Sep 2024 04:21:32 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=web.de; s=s29768273; t=1725956475; x=1726561275; i=michael_heerdegen@web.de; bh=Rk40+8lXRc6MTvJHlxHj32ewuad9R1Y3znB/fZiOzxQ=; h=X-UI-Sender-Class:From:To:Cc:Subject:In-Reply-To:References:Date: Message-ID:MIME-Version:Content-Type:cc:content-transfer-encoding: content-type:date:from:message-id:mime-version:reply-to:subject: to; b=GUXHbVHfaUmCMu8gvF4ZLhtPVYl5cjPz3dnamDHAQi3D9Mux4dW+WXO6HypVRiBQ ZNYSXyo/voopXLYFayzL6gl+jeG6DR7yZ6ROJmA6zBBE9b7JgPaVK0jvjuDX5jwcB azyeAxlRIPoz85C8+sFQbsdo+nWTi8BimtwgssxerN5He62/GCubtJasYj7T7Q6uq hD8oWV21BnN71JJko/FmbzPM37FuzXQFVXq7Ybv/HSUCkOMr9YFiDUxupJPZA2ziz I5SxaladiXF1dWKl3uMjMxtTusm92QGYPrFb3iCqj5LmLM8OVe7ay9xk7hvqYbR24 OYwXSXbwXCnrw6q8tA== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Received: from drachen.dragon ([84.59.210.176]) by smtp.web.de (mrweb005 [213.165.67.108]) with ESMTPSA (Nemesis) id 1Madzi-1sHdZZ0Cp0-00news; Tue, 10 Sep 2024 10:21:15 +0200 From: Michael Heerdegen To: Stefan Monnier Subject: Re: bug#73098: setopt float warning unexpected In-Reply-To: (Stefan Monnier's message of "Mon, 09 Sep 2024 18:41:46 -0400") References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> Date: Tue, 10 Sep 2024 10:22:06 +0200 Message-ID: <8734m7ex5d.fsf@web.de> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V03:K1:EKP1xDIq8I5yUnNLvV54jlnGvipbb7x5b5m5hkTlD577bdJCznC 5zDLQ9+9RJWFklpnjy8PBPjePAj83qQodTXZ0J3sPm4JJECfLcZHTtFBXHIBTV8I1HYCUbQ An555OPyaRS+niHlkdBZihKbTPYrcQK0EsEwidcrKlYlyaBgW8ULBvNQEx3nqNSB7rCiBIs KA9IsjlIt32vnTZaMpM5g== X-Spam-Flag: NO UI-OutboundReport: notjunk:1;M01:P0:D6I/jrKTLwQ=;J7EpSc4hOnyII33n+qms5gFfIAK IPnIvmUmu145rbzFjsftDGswBiiTS+dMQfq5IcYWmbdrtW9mjYBAv2UuLpEMGl6EXJJekSocZ XfszgqxzMrDvW+AO9b5pCWvMNYwZTzGxC3NbLh2RsYUvU/PkhjI0SpUQIghsnBUWLfpcZJpgO rOompb8NLcvlYBilXRGszHYJhZYlEi1/IorjvREnAMuejtnV0bj8nfH8EMQajz02ju2Ug5UW9 6CUct3a4T+e+a7aDpZ1AlM/nyn3nCD3YcW4OcRvcGJOv1UvsUiC5LlhB3oMSQkQi6/ar19oUU 4K2MhvU2u/zCHbsPS7wAHKf/DoxYNDCYD+wJth+pRTg1SWYnqB6bEOuSX5ejsJXGaDQGJO8Ff QmmsBK86ocUNIYn+174fRBB5Gvs0LIhByjIKo6SPlJPtADzWDQONCF71sR6+Q9NYnmeCOkhu0 2pj7Vpc41OXSr4rEP4FoUeLXIMeC2EFCmytTe3WJsADcFjm0RQQli/RLzIndbbBc/8QTvwxZ5 2v9MvNS9195w7KMKmd2NOPe9Wg/3pfGIX6xlWV66e573XlGLcNDZP6YMy85wIio9zWC8BF7Pi Z/nXEM9jN3hlWKBk2ODrSBwFgJwM7MEJ7o/bPTT69PNDMYqLztpZIAMKlDJd4hPDKmA5wWvHU qj87xqE2/gmx6lYapsUNqkT+sPV47BSAzkDrpmnnrR96MQSESnCIyxN0yhc9RU/8P1MQHqbW1 kP2y/2RCHfYLuZh5D9G59OcNxAP2xZGq+GuA3uyVK00zn+5L7Sx9uHMppP2LcebnZwmZsLXyH VAuStQSTLveP65KqY+atGBIQ== X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 73098 Cc: Eli Zaretskii , 73098@debbugs.gnu.org, shipmints@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Stefan Monnier writes: > I tend to agree. If the type doesn't accept the value, you can use > something lower-level than `setopt` [...] What would that be in case the option has a custom setter function? Michael. From debbugs-submit-bounces@debbugs.gnu.org Tue Sep 10 07:36:28 2024 Received: (at 73098) by debbugs.gnu.org; 10 Sep 2024 11:36:28 +0000 Received: from localhost ([127.0.0.1]:34951 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snzAZ-0006Cu-SM for submit@debbugs.gnu.org; Tue, 10 Sep 2024 07:36:28 -0400 Received: from eggs.gnu.org ([209.51.188.92]:40122) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snzAY-0006Cf-L3 for 73098@debbugs.gnu.org; Tue, 10 Sep 2024 07:36:27 -0400 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 1snzAN-0004Qd-Te; Tue, 10 Sep 2024 07:36:15 -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=+cuE2PD7Q3dt7wF1jp0t4uUzPTC3DURVV0a0HlW8UM0=; b=sF6Zdxsbaf5z skYkhFsS6AgnEJA1thm9JyOpSAznjqezBe8uLtlh3cBtM+hCLrGNtQ/dpsnRI4rcEam7/aM2Aj89r 5yKjeVTn0VVywnVzMUHe8+4uno6GhyDb2Ef2rw01Xe/vNVuvgGIsHMgInNQWpsrfhuz12R2TGQ41H ZrXD492tX6tAQvqfnwPQo+wrv2kS/7OzsxEfDsromTAqhMt5vyTnWrEyD1B/9XNsJhktniD13WwnM 0bMxVmz6JGhOMWmMkNHM27Cpb1LyEPnL1eZcT1e2FM6nEH+P0AdXPUXmMJtSapBPTEUQBg/OUaG6+ JHUOotVKz2RH/pqVF28tbA==; Date: Tue, 10 Sep 2024 14:36:08 +0300 Message-Id: <86frq7vizb.fsf@gnu.org> From: Eli Zaretskii To: Stefan Monnier In-Reply-To: (message from Stefan Monnier on Mon, 09 Sep 2024 18:41:46 -0400) Subject: Re: bug#73098: setopt float warning unexpected References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 73098 Cc: michael_heerdegen@web.de, 73098@debbugs.gnu.org, shipmints@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > From: Stefan Monnier > Cc: Michael Heerdegen , shipmints@gmail.com, > 73098@debbugs.gnu.org > Date: Mon, 09 Sep 2024 18:41:46 -0400 > > IMO, the whole point of `setopt` is to check the value against the type. I agree, but some users expect setopt to be a variant of setq, especially since we advertise such use of setopt for modifying user options. From debbugs-submit-bounces@debbugs.gnu.org Tue Sep 10 07:58:21 2024 Received: (at 73098) by debbugs.gnu.org; 10 Sep 2024 11:58:21 +0000 Received: from localhost ([127.0.0.1]:34977 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snzVk-0007E5-Mm for submit@debbugs.gnu.org; Tue, 10 Sep 2024 07:58:20 -0400 Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:14660) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1snzVi-0007Dr-Pp for 73098@debbugs.gnu.org; Tue, 10 Sep 2024 07:58:19 -0400 Received: from pmg1.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id EC5CA100043; Tue, 10 Sep 2024 07:58:07 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1725969487; bh=98ExCPYhhlsKyy01KelANeSKXud49qeumz96j6Z1dLw=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=bLr7HugXoGEdWE5lDEy7NUcvxYRKbtUIaS2WCbUCDPRz6NYjDUgZ7WCcngyxniHRA X7RjLpS02q+z914BrBn/jYelBMQqLsIyx+DDE7MkLcWRgDGP2zgRhGqFYOhkmyaime SEXglQoqYww67F6te6zkxJ6yOAtjx+gLcwIir1unzseoVO/J9B2680S8/hwLxGbudn XEXdmdk/mJe3QqzHFZCp7kNqbjYLdcbLednSKs7AWrHKYp2gluYvwsqURfwstbFgnX 8E6AYywmzXN07sv8vzzi9Q0SBkpWVVkAH8t9ir1IJLvyf9JpePQLgcytakPKCtdckI 1i6ElOLJBmpyg== Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 197E110002E; Tue, 10 Sep 2024 07:58:07 -0400 (EDT) Received: from pastel (104-195-217-100.cpe.teksavvy.com [104.195.217.100]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id DFC7C12023B; Tue, 10 Sep 2024 07:58:06 -0400 (EDT) From: Stefan Monnier To: Michael Heerdegen Subject: Re: bug#73098: setopt float warning unexpected In-Reply-To: <8734m7ex5d.fsf@web.de> (Michael Heerdegen's message of "Tue, 10 Sep 2024 10:22:06 +0200") Message-ID: References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> <8734m7ex5d.fsf@web.de> Date: Tue, 10 Sep 2024 07:58:06 -0400 User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-SPAM-INFO: Spam detection results: 0 ALL_TRUSTED -1 Passed through trusted hosts only via SMTP AWL -0.216 Adjusted score from AWL reputation of From: address BAYES_00 -1.9 Bayes spam probability is 0 to 1% DKIM_SIGNED 0.1 Message has a DKIM or DK signature, not necessarily valid DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's domain DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from domain X-SPAM-LEVEL: X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 73098 Cc: Eli Zaretskii , 73098@debbugs.gnu.org, shipmints@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) >> I tend to agree. If the type doesn't accept the value, you can use >> something lower-level than `setopt` [...] > What would that be in case the option has a custom setter function? AFAIK people used `setq` before `setopt`. For vars that come with setter functions, this usually doesn't work quite the same, but in 99% it's good enough if the `setq` is performed early during startup. You can also (put ' 'custom-type t) if you want to disable type-checking for a specific variable. Stefan From debbugs-submit-bounces@debbugs.gnu.org Wed Sep 11 18:54:46 2024 Received: (at 73098) by debbugs.gnu.org; 11 Sep 2024 22:54:46 +0000 Received: from localhost ([127.0.0.1]:39715 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1soWEX-0006Ue-UB for submit@debbugs.gnu.org; Wed, 11 Sep 2024 18:54:46 -0400 Received: from mail-ed1-f53.google.com ([209.85.208.53]:45135) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1soWEV-0006UR-5x for 73098@debbugs.gnu.org; Wed, 11 Sep 2024 18:54:44 -0400 Received: by mail-ed1-f53.google.com with SMTP id 4fb4d7f45d1cf-5bef295a429so330269a12.2 for <73098@debbugs.gnu.org>; Wed, 11 Sep 2024 15:54:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1726095210; x=1726700010; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:from:to:cc:subject:date:message-id:reply-to; bh=tZt5ws7EV2nqR6PTRDGdB5MFr3FaeXcF+38t5TC/epE=; b=hJYB/yY9MaQI8PPJHcBYLoBGx8gKgK5ro6i4MiMg1oqJlk+/VLkAE+kqIb28rlgb8I Ca8gq4SOu2TOqP3xq6obJP3RqoqxMmL1d9ct8oYYw3BvWsxkvCNLU/yE9eb85+2xOhQS sVI5uFeznd21cHrIGpwlz22kYNNXuClpwqV1d1bYr5GMJzxmi++XcG/f5jWa0iF/ZpUV zbdHiffzTo3BH1to+dv0QauvUcOjxackCkvjkedC7HiKblhHyZLrl2ss4dgS7CZwhrgO VnRLofzcTlxQ8gSLsGLbZeAnlmcNsgFM/SGp+e3XcQ+9OrWjyJ3J7h7DqxTwM5NOSsyY fMAw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1726095210; x=1726700010; h=cc:to:subject:message-id:date:mime-version:references:in-reply-to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=tZt5ws7EV2nqR6PTRDGdB5MFr3FaeXcF+38t5TC/epE=; b=lW42RQYxd5tqW4lPzuv1+3RqOPOwJuIsM16oe1CNWqCQfzpFu7vePVbE9fckoOL8wh ucShIG1MqlfJKEXCijGZdt7Ef6a/Sp8JuI16VnqDOc2fgGPlBCR3wrRnDHnr+6AC8n2u G3eFjMfnwtIOkXxt8Vb8teWLKrViUAcLq41Tuj8Htzqj2ZEkPFEtb5A4TdZgz5pV6j8z i9QJBJe5M0lXFDVLOm7ma79aZpJfVR6xgmw0A1V+AlI+aOY+yjNNsE8sMHWzx8GlCjZw i5KFAWxf7tKJWegBrpCK1oQUnD1eTmatjGgaTVBJaF3QgnKEk5e7Arte57rY9Y4afoNX 2TNQ== X-Forwarded-Encrypted: i=1; AJvYcCUkjgMyaAKV7q80sDPJz1G3OfYBUM+NWMwV+yJXdVGRFWVuFyc0DjOJXxCieIlsrC3zv9JX+g==@debbugs.gnu.org X-Gm-Message-State: AOJu0YwJF1v4b+vcESKdISrRi+p2wflz0PBJ6Oy4JxuSxKBJANy4kGcH NaGJ7/6KJDP+5CNy01kjcuM+aZIyamHS6/hiKXPjc/WpCKb2zh0oKys28rUSX9x4Ff64s+ZW6dn TSc45O6DMhQwWI45JtHFQ0w+4xzA= X-Google-Smtp-Source: AGHT+IGVwfnO2b1xElJbxEQ1vTjqL8ul2kEcLgFJGj3m+AXTfz5eLMvLvvmUvDIuvScfpGMIkvFbRCGGqosK5ZnkHLw= X-Received: by 2002:a05:6402:34c4:b0:5c2:6bf7:8531 with SMTP id 4fb4d7f45d1cf-5c413e51dfdmr612792a12.33.1726095210246; Wed, 11 Sep 2024 15:53:30 -0700 (PDT) Received: from 753933720722 named unknown by gmailapi.google.com with HTTPREST; Wed, 11 Sep 2024 18:53:29 -0400 From: Stefan Kangas In-Reply-To: References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> MIME-Version: 1.0 Date: Wed, 11 Sep 2024 18:53:29 -0400 Message-ID: Subject: Re: bug#73098: setopt float warning unexpected To: Stefan Monnier , Eli Zaretskii Content-Type: text/plain; charset="UTF-8" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 73098 Cc: Michael Heerdegen , 73098@debbugs.gnu.org, shipmints@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Stefan Monnier via "Bug reports for GNU Emacs, the Swiss army knife of text editors" writes: > I tend to agree. If the type doesn't accept the value, you can use > something lower-level than `setopt`, while you argue with the maintainer > to try and get them to change their type. > > IMO, the whole point of `setopt` is to check the value against the type. +1 From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 13 11:12:46 2024 Received: (at 73098) by debbugs.gnu.org; 13 Sep 2024 15:12:46 +0000 Received: from localhost ([127.0.0.1]:43984 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sp7yY-0004tP-8J for submit@debbugs.gnu.org; Fri, 13 Sep 2024 11:12:46 -0400 Received: from mail-ot1-f48.google.com ([209.85.210.48]:54378) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sp7yW-0004t9-TC for 73098@debbugs.gnu.org; Fri, 13 Sep 2024 11:12:45 -0400 Received: by mail-ot1-f48.google.com with SMTP id 46e09a7af769-710dad96bf7so335646a34.0 for <73098@debbugs.gnu.org>; Fri, 13 Sep 2024 08:12:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1726240290; x=1726845090; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=YVq1bzmshSIzryBfkeDGrC7hAtq1HQMYuPUT5QQB8kg=; b=VjEmRGHbYiqkvVrF38RlYaqZA1nC+cS0jl3v0H7LnM2ukDH94G/+DO4kGBJGl4iFpr dcFR4HxLmilZUx7Xg4iY8OLcULugJ4cZjbqEtwzUdvg5QkBZBa7h1u6N4lJJOOIUmBws u6UEqawX37rSeLsP4P+8SukaVhyqi0st37QDE3EUjmY/MU8JxFMumDlSTBhaD9kuIu+9 3oO9Qu5xMsnMugPfeKqNjAnt9E1Z0WTJsI9+UsHU2mvWALRoRMMeTNMkRZgb0qTFvPyj hlNyw2cccFV3GaUPVuRb1BkWykpi3V2xIk7II1R/jcyOGF0YNrwZhd4AIStDRa0TrH/7 pBtw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1726240290; x=1726845090; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=YVq1bzmshSIzryBfkeDGrC7hAtq1HQMYuPUT5QQB8kg=; b=dj6psJ+vt3Y73H2Auy8mu1AdwW9dN2IJPgEvL9EhT5PKEwqaieT8giTA1ZK89hEHEc K6vF/ScKqapCQ81q4GkcI9E61jAOG5WvV6mgy8GG73hJ9R/dz7jPDO24baCXoYXwX7Kj js7+sbhOpoH+KzL+t+xfvy5K/tBWDlc7cs5nCs/6KuGdj8R7IP3+33jsufYKMlVRxEgF x49s+eyaebNkhrkML+UgbO5lCrnqWR/KE6SKYHWen8tywC+OTt3+oPUc1SFYSzovgfHw 5McPe3OF/vX9lpLH950FUdVR2D+rkDMU1IGPuN9pUuFP6Om5gpVdILAKjqIu8tbRgeKH xFoA== X-Forwarded-Encrypted: i=1; AJvYcCXoSlOprB+thRO40skd2dtWkhme68YFBF4zxOLMyRORhiBgJjVHRa2Q5ozs8wzdvpXhvIqBQw==@debbugs.gnu.org X-Gm-Message-State: AOJu0YxsRLOXPBdFT99WRyBg0qPo/oZv8Dxlu/f2ZfEyj34mF5N9/uVh K/NzT5QP82kIkGIWHq/waNHg4RcPHEXoDg/gDPYLI0oexgngPMFXN9iddGk4+48pK70zOFL8t+p fhoILJk7dteq2t5/0qOTzrV0m3XA= X-Google-Smtp-Source: AGHT+IECEK4bXHSef3fQHsXk8vnTawQF8pRS73TptkbeWfzfX9n+GUKuoBZIvbDrpZteJqV3hGalna3/9g61hnI0Ef0= X-Received: by 2002:a05:6808:140f:b0:3e0:5b62:4c2a with SMTP id 5614622812f47-3e07a107fdfmr2266429b6e.19.1726240289895; Fri, 13 Sep 2024 08:11:29 -0700 (PDT) MIME-Version: 1.0 References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> In-Reply-To: From: Ship Mints Date: Fri, 13 Sep 2024 11:11:18 -0400 Message-ID: Subject: Re: bug#73098: setopt float warning unexpected To: Stefan Kangas Content-Type: multipart/alternative; boundary="00000000000046c1d4062201a3b7" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 73098 Cc: Michael Heerdegen , Eli Zaretskii , 73098@debbugs.gnu.org, Stefan Monnier X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --00000000000046c1d4062201a3b7 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Happy for the thoughtful feedback. Perhaps, some expanded advice in the docstring for setopt? "Set VARIABLE/VALUE pairs with enforced types, and return the final VALUE. This is like setq, but is meant for user options instead of plain variables. This means that setopt will execute any custom-set form associated with VARIABLE, and strictly ensure that VALUE is of the type declared by the user option. Example: If the user option is declared to accept a `float', set the option to 2.0, not to 2 which is considered an `integer'. Note: Many user options accept more complex types than a scalar float and that may pose a challenge to address when setting them in elisp using setopt. 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 ???" Then there's the twist that some options force content checks, not just type checks. An example of a user option that is intended to be overridden with custom entries is tab-bar-format. The setopt type checker will barf on entries not strictly in the tab-bar-format pre-populated list despite the type being a normal hook. On Wed, Sep 11, 2024 at 6:53=E2=80=AFPM Stefan Kangas wrote: > Stefan Monnier via "Bug reports for GNU Emacs, the Swiss army knife of > text editors" writes: > > > I tend to agree. If the type doesn't accept the value, you can use > > something lower-level than `setopt`, while you argue with the maintaine= r > > to try and get them to change their type. > > > > IMO, the whole point of `setopt` is to check the value against the type= . > > +1 > --00000000000046c1d4062201a3b7 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Happy for the thoughtful feedback.

Perhaps, some expanded advice in the docstring f= or setopt?

&q= uot;Set VARIABLE/VALUE pairs with enforced types, and return the final VALU= E.

This is like setq, but is meant for user options instead of
pl= ain variables.=C2=A0 This means that setopt will execute any
custom-set = form associated with VARIABLE, and strictly ensure
that VALUE is of=C2=A0the type de= clared by the user option.

Example: If the user option is declared to accept a `float= 9;,=C2=A0
set the option to 2.0, not=C2=A0to 2 which is considered an `integer'.=

Note: Many u= ser options accept more complex types than a scalar
float and that may pose a challe= nge to address when setting them
in elisp using setopt.

If you encounter a discrepancy that canno= t 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 \"s= etter\" you may invoke it manually using ???"

Then there's the twist that = some options force content checks, not just type checks. An example of a us= er option that is intended to be overridden with custom entries is=C2=A0tab= -bar-format. The setopt type checker will barf on entries not strictly in t= he tab-bar-format pre-populated list despite the type being a normal hook.<= /div>


On Wed, Sep 11, 2024 at 6:53=E2=80=AFPM Stefan Kangas <stefankangas@gmail.com> wrote:
Stefan Monnier via "Bu= g reports for GNU Emacs, the Swiss army knife of
text editors" <bug-gnu-emacs@gnu.org> writes:

> I tend to agree.=C2=A0 If the type doesn't accept the value, you c= an use
> something lower-level than `setopt`, while you argue with the maintain= er
> to try and get them to change their type.
>
> IMO, the whole point of `setopt` is to check the value against the typ= e.

+1
--00000000000046c1d4062201a3b7-- From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 13 11:28:41 2024 Received: (at 73098) by debbugs.gnu.org; 13 Sep 2024 15:28:41 +0000 Received: from localhost ([127.0.0.1]:44027 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sp8Dx-0005t7-5G for submit@debbugs.gnu.org; Fri, 13 Sep 2024 11:28:41 -0400 Received: from eggs.gnu.org ([209.51.188.92]:57924) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sp8Du-0005sj-Qz for 73098@debbugs.gnu.org; Fri, 13 Sep 2024 11:28:39 -0400 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 1sp8De-00013o-Q5; Fri, 13 Sep 2024 11:28:23 -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=AlGo9X133H19PEQjWWlvPYzmjS3bvlWUO0DsBV3EmC4=; b=IKNPu7MPkucA f+705FvvVitwaaUQw8nBjT83g8y+iO1JbTgRW6kD2nAthwp/K7mbB59a+ceRwt80Fofiubpb0JFO/ XJSeA8OavT9Ip2pMnzXIiZYiZLYyRTCXzlihsOf5koipYlw946sUDdxLAoRQDF+hN1t8N2hgtXeoL 1POnbiapbS6npqskRZDpE+P/cxrIRseTJoo3yMXhONQ/OjDEplEbJdMTU+ze9iXCTFKUwTJbmVne8 EwYtiN+3Nxo3LCuBbuDCFpY4mXLvxLZiSaOfAM4wKDiyTidbiVke1cyTr8j1Z01SrpmbePqe+8rYF brnpwam4eqFqg+UYr4pDEA==; Date: Fri, 13 Sep 2024 18:28:18 +0300 Message-Id: <868qvvk1yl.fsf@gnu.org> From: Eli Zaretskii To: Ship Mints In-Reply-To: (message from Ship Mints on Fri, 13 Sep 2024 11:11:18 -0400) Subject: Re: bug#73098: setopt float warning unexpected References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 73098 Cc: michael_heerdegen@web.de, 73098@debbugs.gnu.org, stefankangas@gmail.com, monnier@iro.umontreal.ca X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > From: Ship Mints > Date: Fri, 13 Sep 2024 11:11:18 -0400 > Cc: Stefan Monnier , Eli Zaretskii , > Michael Heerdegen , 73098@debbugs.gnu.org > > Perhaps, some expanded advice in the docstring for setopt? > > "Set VARIABLE/VALUE pairs with enforced types, and return the final VALUE. "Enforce" is inaccurate, since a value that doesn't match :type just emits a warning (which can be shut up by the users, if they want), it doesn't signal an error. And the variable is assigned the value event if the type doesn't match. From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 13 13:16:28 2024 Received: (at 73098) by debbugs.gnu.org; 13 Sep 2024 17:16:28 +0000 Received: from localhost ([127.0.0.1]:44187 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sp9uG-0004L6-7m for submit@debbugs.gnu.org; Fri, 13 Sep 2024 13:16:28 -0400 Received: from mail-yb1-f169.google.com ([209.85.219.169]:61508) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sp9uD-0004Kg-T3 for 73098@debbugs.gnu.org; Fri, 13 Sep 2024 13:16:26 -0400 Received: by mail-yb1-f169.google.com with SMTP id 3f1490d57ef6-e1a7e54b898so2169595276.2 for <73098@debbugs.gnu.org>; Fri, 13 Sep 2024 10:16:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1726247711; x=1726852511; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=8GVA+vSYPi6k5lBgLctzzTWx+WyUU3WZgha4hLxIEUc=; b=c8OwTeAaQBU35JLaMic8vYVJzs6itQsJhSqf1gOm7YMJyfjmDaia71Q92hmNJ+vtPv qzmQ5gq0xxI3j9Uvc55Hlpyx/S5KB0k89SbRzZ63HjHOiNwMipKyG3qD8lIRRVUdsCCP RW/rVX4TOIc/iAKQgaKDEmTHkOD6keVDtStFn88BqHzqNwRSmmyeO2X5p6VLWjyhgOLa I4HGPF/fZ4WWSO8v6QqIBIDjlJzP/Nt+zoCuxXNWSznFBdl3IOauXbvO0hSPZYyVDST6 Nf3QE2ZkN/LgyKHBf4beiDjQQ/Gj/YAImUv5hAWShkGdl4mjpwuraSX37pCK/rle/7Rn tBoA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1726247711; x=1726852511; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=8GVA+vSYPi6k5lBgLctzzTWx+WyUU3WZgha4hLxIEUc=; b=H1hoNmW4fLQy8TVUm8+lCirrEc37mI/jpIkY06g2i3X+wHKVbPjn6pWnk5WXvD0+ul +gdgH1uJYz48pOnaU/fxbgRKuTNC/YVo+H59zheFQyNA24KHjK/G2itp8iimDb3tSePn 682KhS8XN+7kZoKc4GXB57bbAvawQWh1LXWoih89IbiEP/94ur2zPuph0CdU4YMjZQU0 LVTL0GCfUPE/o7YTeoOCMT70l7ztpMSyI9xqqMjMGpQWAsByWezFQ1x9qcYDtEXANsnY ljuuhWIBgDOfQQ1+k1EyXueTa6UQJL7EZM6RlDbx+/HbMGiQV0A2tIzVNyExV/F93iuX R15g== X-Forwarded-Encrypted: i=1; AJvYcCVEk1xdOEuZrI5xh8Kl75o3rIE0itfvGFS68tYQsr5lfYp95x7RLkdZquMH0qSfzaId9SO1dg==@debbugs.gnu.org X-Gm-Message-State: AOJu0YzNXA6/kvHjJ0nGLJcNZkgLL9joGwUR7IrRrvh84mOcx0XCRmil ti/TvxVmuLnzeWY1J/YGEOy5PhmqB7LJf82YU6ZkG/5pfXzsVqyMY9TqpRjNeg994JNJ35CcWph /lUDsbI5KcK3aGGiPxZQXZ4GXDf8= X-Google-Smtp-Source: AGHT+IGRbjCDn8SLb761yYCjED8InNQk4jHWZHypfjRCn0gyRMK6Nzf0Kciyvj072RJ6o5kv/Ol5DgLK7AvF/YRkN0A= X-Received: by 2002:a05:6902:1026:b0:e11:6a73:9008 with SMTP id 3f1490d57ef6-e1d9db92946mr5873437276.3.1726247710550; Fri, 13 Sep 2024 10:15:10 -0700 (PDT) MIME-Version: 1.0 References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> <868qvvk1yl.fsf@gnu.org> In-Reply-To: <868qvvk1yl.fsf@gnu.org> From: Ship Mints Date: Fri, 13 Sep 2024 13:14:59 -0400 Message-ID: Subject: Re: bug#73098: setopt float warning unexpected To: Eli Zaretskii Content-Type: multipart/alternative; boundary="00000000000094fbd10622035d82" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 73098 Cc: michael_heerdegen@web.de, 73098@debbugs.gnu.org, stefankangas@gmail.com, monnier@iro.umontreal.ca X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --00000000000094fbd10622035d82 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Revised language: "Set VARIABLE/VALUE pairs with type warnings, and return the final VALUE. This is like setq, but is meant for user options instead of plain variables. This means that setopt will execute any custom-set form associated with VARIABLE, and will emit a warning if VALUE is not of the type expected by the user option. Example: If the user option is declared to accept a `float', set the option to 2.0 rather than 2, which is considered an `integer'. Despite the warning, the user option will still be set to VALUE." On Fri, Sep 13, 2024 at 11:28=E2=80=AFAM Eli Zaretskii wrote= : > > From: Ship Mints > > Date: Fri, 13 Sep 2024 11:11:18 -0400 > > Cc: Stefan Monnier , Eli Zaretskii < > eliz@gnu.org>, > > Michael Heerdegen , > 73098@debbugs.gnu.org > > > > Perhaps, some expanded advice in the docstring for setopt? > > > > "Set VARIABLE/VALUE pairs with enforced types, and return the final > VALUE. > > "Enforce" is inaccurate, since a value that doesn't match :type just > emits a warning (which can be shut up by the users, if they want), it > doesn't signal an error. And the variable is assigned the value event > if the type doesn't match. > --00000000000094fbd10622035d82 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
<= font face=3D"monospace">Revised language:

"Set VARIABLE/VALUE pairs with type warnings, and return the fina= l VALUE.

This is like setq, but is meant for user options instead of=
plain variables.=C2=A0 This means that setopt will execute any
custo= m-set form associated with VARIABLE, and will emit a
warning if VALUE is not of=C2= =A0the type expected by the user option.

Example: If the user option is declared to acce= pt a `float',=C2=A0
set the option to 2.0 rather than 2, which is considered an = `integer'.

Despite the warning, the user option will still be set to VALUE."

=
On Fri, Sep 13, 2024 at 11:28=E2=80=AFAM Eli Zaretskii <eliz@gnu.org> wrote:
> From: Ship Mints <shipmints@gmail.com> > Date: Fri, 13 Sep 2024 11:11:18 -0400
> Cc: Stefan Monnier <monnier@iro.umontreal.ca>, Eli Zaretskii <eliz@gnu.org>,
>=C2=A0 =C2=A0 =C2=A0 =C2=A0Michael Heerdegen <michael_heerdegen@web.de>, <= a href=3D"mailto:73098@debbugs.gnu.org" target=3D"_blank">73098@debbugs.gnu= .org
>
> Perhaps, some expanded advice in the docstring for setopt?
>
> "Set VARIABLE/VALUE pairs with enforced types, and return the fin= al VALUE.

"Enforce" is inaccurate, since a value that doesn't match :ty= pe just
emits a warning (which can be shut up by the users, if they want), it
doesn't signal an error.=C2=A0 And the variable is assigned the value e= vent
if the type doesn't match.
--00000000000094fbd10622035d82-- From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 13 14:28:03 2024 Received: (at 73098) by debbugs.gnu.org; 13 Sep 2024 18:28:03 +0000 Received: from localhost ([127.0.0.1]:44245 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spB1X-0008WI-HA for submit@debbugs.gnu.org; Fri, 13 Sep 2024 14:28:03 -0400 Received: from mx0b-00069f02.pphosted.com ([205.220.177.32]:64710) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spB1V-0008Vt-LK for 73098@debbugs.gnu.org; Fri, 13 Sep 2024 14:28:02 -0400 Received: from pps.filterd (m0333520.ppops.net [127.0.0.1]) by mx0b-00069f02.pphosted.com (8.18.1.2/8.18.1.2) with ESMTP id 48DGOvMt020203; Fri, 13 Sep 2024 18:27:51 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-2023-11-20; bh=U+e1IEljyk/24NQIE7k2t3UkBv5tqel7juORzViWNTg=; b= iAqPxE//sHqIQf+juE4sqCgFHzdbzI3mPAbgsmshlkDaqpsE8JFW0XXFDUJm6p1J jAwyzeU49bx4K2LVnbh4rLMn9PhtqA5vnHrZKKGpbGQ1pC/abmzyAEVkF+0iQJ5V 0lbzvr8xtB72NuG3G1AcsBOxqfyQuaQHazInUl6yNjTNw01naj9K0nU4Xo8f//pd Rlg6qnmwIfRFSLFXxdTLvef0YVQ72ihavUDb8ogwX+gcQOybYESRRfOekD6QNC2U Tn0imiQcbIZuHy1eq+IW764OsoIYrRmVUW4SrZ5YdgG5hGrVjlPQWSu6Ql36HWIi 2az6j8MRSdLx4E+l3bhUAg== Received: from iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com (iadpaimrmta02.appoci.oracle.com [147.154.18.20]) by mx0b-00069f02.pphosted.com (PPS) with ESMTPS id 41gevcxdfr-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Fri, 13 Sep 2024 18:27:51 +0000 (GMT) Received: from pps.filterd (iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com [127.0.0.1]) by iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com (8.18.1.2/8.18.1.2) with ESMTP id 48DHvxNN032452; Fri, 13 Sep 2024 18:27:50 GMT Received: from nam11-co1-obe.outbound.protection.outlook.com (mail-co1nam11lp2177.outbound.protection.outlook.com [104.47.56.177]) by iadpaimrmta02.imrmtpd1.prodappiadaev1.oraclevcn.com (PPS) with ESMTPS id 41gd9kaxua-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Fri, 13 Sep 2024 18:27:50 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=jzdm6/M1WBAs9sjr0p19wTQirSQ4wSGibrBcDCjloffnLVxe6cZz6dOUOFJO10084t05moBEZ/Yp3IwxRVJ1wy5JHXS35l4Bgqt1AvqCAj8GyCwcPPSvZUw4qj7KR8DjmpaCGtyifKWRJrngUxjUsoDIhCmgSL8DaIZ71af+fPXoTZkxInJRcrPKUPLoXAMiX1MWGFuq7xpnC2qkGFrZ+POY+mw+OtQoCYKRnAe2a/krWji2rGPBiHZyZmEkFYd0xHRS7mW5FY7WYSCIZwMGyUjrlYjikDIdiXeuxu/PyIi+UCPNk2HpSnhbJdAc9HK52AC7n5B9jQ6IQaXeZp3T+Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=U+e1IEljyk/24NQIE7k2t3UkBv5tqel7juORzViWNTg=; b=Jq1ROPL8aL68KaCAvyPJsLN5H4t3jI7zda6Yk/W8D8hNguu31blM9T9XDWbREkLKMwrcZndzPWQaxJSAcOlovnYpXZcZZfa23G6sJMhLimydObd4JgQoWISddELUzl1PYjQHp3iwjbSwmckM/Kf2qeNF5BdpAntTzYR8p1mnbqZAU3aK+Aj6a4ROt54wk+ZhSEwR36adFBXtiVANuLB/GCgcScbl9uVodj71LPLkTjOkNuiMqt7pm2493oAReWsHmaTNVU3q9/4iait3sPhJLXufbxnNO6qWOmiPj32EdwnAb/GkLnFMCNe+3/yTxYkS9g+sZ4kHSCYfI+L7di0Y2g== 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=U+e1IEljyk/24NQIE7k2t3UkBv5tqel7juORzViWNTg=; b=W/5sp/P5Jl/AtHnavvXWEZry8/7dexizsmHE5YH/xOXcSWiN8ufelk2oQ5+zm6FR8INsOBR/xGa/znaBKL3vSC5Uw5GbOojwSo0JHV6bRBGQ7kN7vwkBjiRPc0kkRo/YozPYBpWJoiYN54yk6iX+Msks9LA/oMv9buUvyAFupWw= Received: from DS7PR10MB5232.namprd10.prod.outlook.com (2603:10b6:5:3aa::24) by BLAPR10MB5106.namprd10.prod.outlook.com (2603:10b6:208:30c::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7982.9; Fri, 13 Sep 2024 18:27:48 +0000 Received: from DS7PR10MB5232.namprd10.prod.outlook.com ([fe80::8303:658f:14f8:2324]) by DS7PR10MB5232.namprd10.prod.outlook.com ([fe80::8303:658f:14f8:2324%5]) with mapi id 15.20.7982.008; Fri, 13 Sep 2024 18:27:48 +0000 From: Drew Adams To: Ship Mints , Eli Zaretskii Subject: RE: [External] : bug#73098: setopt float warning unexpected Thread-Topic: [External] : bug#73098: setopt float warning unexpected Thread-Index: AQHbBgDQps5zIsFmd0eZqixbi9vUlbJWBu2Q Date: Fri, 13 Sep 2024 18:27:47 +0000 Message-ID: References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> <868qvvk1yl.fsf@gnu.org> In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: DS7PR10MB5232:EE_|BLAPR10MB5106:EE_ x-ms-office365-filtering-correlation-id: d6cff7c1-90d7-45df-9811-08dcd421c4ca x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; ARA:13230040|366016|1800799024|376014|38070700018; x-microsoft-antispam-message-info: =?utf-8?B?VkV0L1JqTHoxMXBPT2tPM0ZtS3BaUmJNTUlDakx3WlJDNXRpbWF2VzJRM1Zs?= =?utf-8?B?OHpoZGhrcmltSVBXSUQyOHM0RDIzN0hTK3o0YnlxSFhIeXcyY3g0S0ozZnF2?= =?utf-8?B?dGRsMzIvWDVJOEZrVUdDeW9pelZ4ZHRDVTFQUnVzckFaemM3U1ZZT2xhaVZn?= =?utf-8?B?emhMTzUzeFdrdFM3enY3ekdBNFp0UmFkWUI1R0RrUlZySGkzRURNTkFMOGhp?= =?utf-8?B?YjJkZlU5SnEyTXBhTEt1cGk4WnczT3M1RjkxbTM2L01Cdk9oSDJ4L0pCQ1hQ?= =?utf-8?B?N1dFUXdnb1krVm9BS1c3bmkwWk1Mb3YyY3JSMko3d3pqMGdYTXZDMXpRd2Fy?= =?utf-8?B?MGl3YWNFQlV5YW1lL0Q3aTIvekZzWmFzNWdOdkFOQ1FHR1A1SXI1RWtUSEhH?= =?utf-8?B?WkN1RWNMd0NDMkhSOHU4YXEyckZzMEg2L04xMUdGQW0yZ3U3REFGM1JuMG5h?= =?utf-8?B?YjlFaWRvVnB4ZmRmOVJMemVSSlUyRXNLZHVUakxIdnIwKzh5VUFVY0tUUGR3?= =?utf-8?B?UXRUQkEzVE91VHlHTkluWFd3SDdSUFVDSVVKajd1NXNnR3E0U0tLb05heXdE?= =?utf-8?B?b3R4VW8zYlFBYTVyRStUV2JBMjR3T0NnaGF2MUxuaWc3YTJJdjkrTFFZTXlV?= =?utf-8?B?UVZRN0JpNVhURllEM0k1dzRXZVdqcWxzOFJyeHEvWWJnZVFzcE5yZk02Y3Na?= =?utf-8?B?SXdSZmM3KytDUEc2YlJZSFpSRzZyckl5OUVhRmhBOUxKK21pK3AvRnhFV2xp?= =?utf-8?B?T3NWaTJVTWRyWnRocnFxWlJmaFMzNllpbUhZL2FXUW16ZDQ5dnJrYmxZeE9K?= =?utf-8?B?Q0RDWVlrSHV2cUIxcnZ0dUdJcVRZVnVESDZJcE5UcmZBOXpKbHhVakVFN0JK?= =?utf-8?B?WGxTdURGQ1QyRHV1VS91K2dwNDBMVmJBRkpiejMwem52d2ZXZVhOUHBxMndz?= =?utf-8?B?TTFOQUUxOVJPWTRhNzI2TE0xR0syc09VeVpjTmdvNFNKemFCMWN5MktUMnRq?= =?utf-8?B?MmUvb2IwRHk3MVh6SHZNbVlUQ0t1WG1SR2I0OUpSUG9Ha1pCNm9pUkp4ZGY3?= =?utf-8?B?YVlaQzNrbXVSRGlFSmV3bHBuSGR0Z08zV2xSUW5jc1o4VDBhNnExdjczL3hl?= =?utf-8?B?cWIwK1pmS0hjT29uUENyYXFlUzA3Y0x4YitrWlIycC9GL2lEaDFKRkJTTnE1?= =?utf-8?B?RE94c056bVpUV3dINFR6bkxtWE9RaGdhTmF2ZW5ycEFhaExXUHlpS3hoNHlH?= =?utf-8?B?a09kNy9FeUd0UTY4MHdVUWVSdEl6ZlFiVnp0aVhnQlpaRzg5WDNzcmtXdVAz?= =?utf-8?B?UFNJS2dyMVZYTHpYcFFib1l0WDVJZDVjcGFkOEhabWdxcEgwUEQ0VkRuM2lz?= =?utf-8?B?N2d6WTV3ME92SG1JSTFwWEJMSGFPWi8yMVJ3dUNhSER2R0h0ZHRqMGxHSTBI?= =?utf-8?B?OTdQaXltbUx5YXhobkRmOXZTQ1NCeHM4ZXhjWHBidm5MWlY0SFV6cjJjYlBL?= =?utf-8?B?aDZoUk5ZUTFxZGJtM1VaSXV5WHJGUHkvL3A3RG43R3dmWmZtQlNFZnR5dVdY?= =?utf-8?B?ODlhaStvVzM1NGdvSlNHUmlaMVhycTJyZnVKaklqZS9WUnJZVVUrTkRuSjhm?= =?utf-8?B?NjQxMU9kSndPeGt3Z2FwU3A0WGU2Zk1SYnNFbzd5VnU5SmtUWmhPT0JMaGRi?= =?utf-8?B?OXVjOFdoK2FCMTNsbGx3N1ZObUtHa2J5bDMzMDdPbXhZR25zYnVlbVorcGpE?= =?utf-8?B?S2xqT2ZRTlRNRjBWSkdyRlZGVWR0bGpGSVVKMkVSMHNhMFk1aXFPK1lMT2FW?= =?utf-8?B?empOVnFTOUxXU2ZDRjNMVnhYTHgwdTIyUGdIQktvK3lLS3A4SEdmeWNGUXlE?= =?utf-8?B?N3F3TGs3NytMc2hFVll2T3pnSEZiOVdFalBSKzhQU0RYQkE9PQ==?= x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:DS7PR10MB5232.namprd10.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230040)(366016)(1800799024)(376014)(38070700018); DIR:OUT; SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?VTdYUHdjcXJJYmdPNEU5YUFwVmF1cmdYeW8rbUdNR1BKNDQvUzVwTFpCSGla?= =?utf-8?B?QlNuekV5RHliRGczUkt4SHNZaFF3aGczaWdYSTN4L1dVbEJVWGNwUVM3bTB1?= =?utf-8?B?Vkk5UkN4SjJKNVNsN3NUQ1JYQmZjT3ZGcnJONHc3ZDBOSFkwNW9XOVFqZkNw?= =?utf-8?B?NVJmN0FHWTBEZWNqTkVZaUtIQWZsdzBWL29OS1U4dEZzaDdJUzhSTHJzY09n?= =?utf-8?B?emtpSW90UHdqZ21SSmQvUCtpV08rTFR3eWlGSkVVWUVrL0RnMmIyY2lST2RV?= =?utf-8?B?WmJHTVZRUnJWZUpRUjdQMjRneFdIVE1UV3M5UVR1NFVHV2J5REJSaCtQMDQ5?= =?utf-8?B?bkc3UzBJTWlxK3krNVIwbkpzTVhFMzV0RFF3cC9WYmlWOXJrS0tiR0Nha1Bz?= =?utf-8?B?aW5zbXZXRzN5T0xwaDJPV0R6ajdPa1NBVTdDa0Y4cUlsTUhUc0dnOXptSWp5?= =?utf-8?B?OFhZaWttc1ZMRnkzb2FiSXlMTnBrUjcwOURENVk5Z2JIeTU2TlNJczR5MU1w?= =?utf-8?B?eTV6eStJSGJURWN1OFN1NnVaeE1jby85eGJ1aDBGVXJNaG9aUm9vRFI2RE4z?= =?utf-8?B?dDlIM25aVm9kdmhkSXJYcTMwNjFsMDJkUkNSUHhkT0N6YWNEZDNyNmljNlNG?= =?utf-8?B?NDVRdFplc1pmKzBuVmZPajVyQnhybndueVVwSU1LdWhmbVhnb1pZY0RRdGcw?= =?utf-8?B?MkZJdlB3SmFpSllRNW9SSEY3VVE5dWlBdnl2SkhDT3pKVTdld3NzaHNORDdw?= =?utf-8?B?ZHQzclM4ekhZK3JZVEVVYS9ORzAxTGNkUEFpR2pIVVN6dnRvdTJiNEl2T2J5?= =?utf-8?B?NU1XL0h3bERwVHFwMmVXQ3lOcGhiKzNTTmVsYUltenpBWmpqZnZqMjhmZHpX?= =?utf-8?B?K1lWN2h3TjVhZUdNQkkzM3lpMzNQOG53SHMwaGpxYk1yZXBsaGlUY2FDeEt5?= =?utf-8?B?bEd0QXpsNDFuYWNJUldzdUNxd0hZUWJJYWpzcW1rT3BZY3k3MXRTd2J5VkJy?= =?utf-8?B?YVZPWGhrb1lvSjV6MmtkWnR3M2U0dHFLWVA3Q1hMeXJzNmRzZjJ6cUxUSGNG?= =?utf-8?B?Z09SaENSN2FTMlRzSWRZL1owYmVtN0JGSVUrbXRrUHU5YUU0M2xPSnBpQXgw?= =?utf-8?B?TkJXT05VKzgvQ1hRa0FDYUl4N1BNQWthKy8yYmNKZnNSRHRMdFd6aHcxcnRJ?= =?utf-8?B?UFlxTGEvZDlhM0F6MTUza1BRbm1RWWVhSFpkdUg4bFUvOVpFa0N1M3QrVkw3?= =?utf-8?B?NUdCUUh6NTVuUWR2NGQyanZWbzVOZnI1ejVobkswK0dHWEl4Vll4TFR0S1pr?= =?utf-8?B?cUhoeklzL2huUnNWNlA4cm1NOWtpdW1sbnY2VnJ0bVJya1Q2aERxUVJUYlRX?= =?utf-8?B?dEdOY2NtVGVyMnpoK1R1YzZwZUppWC9BNXY0TjFyQUlVd1RoZlA1YktaYUlQ?= =?utf-8?B?WTRnSk5aUWxpRnV6Vi9sVkNaMlpzSlpsbWp1dGtHbWptWDBCWUJWTTRUM0xO?= =?utf-8?B?aVJyT3BmMXVKSi9aY21sbS9BQjJ2Tkh3czlES1hXOWY5d0o4ZHNhOXB5anJJ?= =?utf-8?B?QmNMelZwQlAyWFhkZFlXdzA3T3M0RGJxWkl5MDR2bXpnY1ZNYzVLZ2RWUUhm?= =?utf-8?B?TVVTdzNpVWF1QnZMNGlMclRIRGZ1aTBiSG4yWk00WlIvUnpyVVZlUWJiSHBo?= =?utf-8?B?ZldIMG5TaGxOOGRMSm1VTFZlRXFqOVR4WEEzTjBnR2M2WkVvL0Npek5RWUlo?= =?utf-8?B?dFA0Q3ROVVBlck04YmhzeENQeUdwNWl6Q3owWStNbktRQnNGZXpYb0JyNWVK?= =?utf-8?B?b0hGTmN2YmJwMU5ZeHpuWmlJb21yV3k1N3ZmTE96eVRFaE5nREZ0WU9QMjZp?= =?utf-8?B?Z0xUWlNTMnYrWExHdVVERGlRQWxsb2ErdFRPRXoyUVVXUm1qN2dTcU5DbjRY?= =?utf-8?B?ZXdNQ0xLS2oxUnppZGdZTDAzWFZjeWI0MHpKNzIwd040VHgvUlB0MlBJSDNR?= =?utf-8?B?eTVBQlRmVlBjYnZoU1cwN2dOK2RDTG52eUU1cWJjRitRdGh1YWJ6Ymo2elRy?= =?utf-8?B?YzdHZ25QcUtuWkFFZXdpaGttd3lIcnVULzNZckI1ZTFDNHB1THdzUmxQZmdX?= =?utf-8?Q?h2wthSRDLksk/89gJsxepG6Ip?= Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: +P4bYVTOlS4rZsrJV/wrjwo1yPKFINhk+28Ffing59fewTD6r+59fzaTpdsQlp4rrMJnRWGbi6bGQmGFeCoHbodePDTKlNuD1PDc5dHypP5dgY6ko0J7qioJMXliiK37nI9cQ8zVLWxiVVHFBgKW3s61dCRUBSoEMSPxTWJZIFxzWJ1tWKj5OZRX8uOM+pUJ5SGpbPoyrVYpWT4t8CWmuuoPTrk72VYYPvGlYPxTM5iT+JdNQmRSvuuTkpZHg2UuHmH9rbntsRwnWFVBTBMTsFuw/597gTH1aR+omlj2/CNOYIvgq0jAHRQL+ifBotGjHDDwY6Xc62gCRFwwW/ZZZX/RRLLWRtHTYknDmew0p6EC4vQtpVnvV/9cbVbbg6tCVSGhSiSmFRONOwESXVh8kv7hD0jQpE4y3A4HQk5Za2AxLSXCkIhzbBPLpacKikiUgqg5PG4wpbsn/qAtTqu5CbkbVg2KYecuezdzpkqG/QBDB7pG80MSuYlZ7nq+yILtshin1gNIQys8wZkxttK624y4Ycs0LFnu1J8r+v/C/Ost4+uhNO0efZY4CZEWfOpSpeTAUAcJU+ulNSnjY6FKv1Jy3bSEFTmWxyMyLN3F8ls= X-OriginatorOrg: oracle.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: DS7PR10MB5232.namprd10.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: d6cff7c1-90d7-45df-9811-08dcd421c4ca X-MS-Exchange-CrossTenant-originalarrivaltime: 13 Sep 2024 18:27:47.9569 (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: nb+6jT06BbI7s/gWjgHwaVWDjgA1B9PGSpmmEbCjN4PFGPCoWr+eZzBBC4gTkeY506s2OAiq9ITOhX+F5jmm9Q== X-MS-Exchange-Transport-CrossTenantHeadersStamped: BLAPR10MB5106 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.293,Aquarius:18.0.1039,Hydra:6.0.680,FMLib:17.12.60.29 definitions=2024-09-13_11,2024-09-13_02,2024-09-02_01 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 adultscore=0 suspectscore=0 mlxlogscore=638 malwarescore=0 bulkscore=0 spamscore=0 mlxscore=0 phishscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2408220000 definitions=main-2409130131 X-Proofpoint-ORIG-GUID: rY2XJfDrFUjSXzvH9dWKBd0cM-3_sugR X-Proofpoint-GUID: rY2XJfDrFUjSXzvH9dWKBd0cM-3_sugR X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 73098 Cc: "michael_heerdegen@web.de" , "73098@debbugs.gnu.org" <73098@debbugs.gnu.org>, "stefankangas@gmail.com" , "monnier@iro.umontreal.ca" X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) PiBzZXRvcHQgd2lsbCBleGVjdXRlIGFueSBjdXN0b20tc2V0IGZvcm0NCiAgICAgICAgICAgICAg ICAgICAgICAgICAgXl5eXl5eXl5eXl5eXl5eDQo+IGFzc29jaWF0ZWQgd2l0aCBWQVJJQUJMRQ0K DQoxLiAiY3VzdG9tLXNldCBmb3JtIiBpc24ndCBtZW50aW9uZWQsIGxldCBhbG9uZQ0KICAgZGVm aW5lZCwgaW4gdGhlIEVsaXNwIG1hbnVhbC4gIFNob3VsZCB0aGlzDQogICBzYXkgImFueSBkZWZj dXN0b20gOnNldCBmdW5jdGlvbiIgaW5zdGVhZD8NCg0KMi4gV2hhdCBhYm91dCB3aGF0IEkgc3Vw cG9zZSB5b3Ugd291bGQgY2FsbCBhDQogICAiY3VzdG9tLWluaXQgZm9ybSIsIGluIG90aGVyIHdv cmRzLCB3aGF0IHRoZQ0KICAgRWxpc3AgbWFudWFsIGNhbGxzICI6aW5pdGlhbGl6ZSBmdW5jdGlv biI/IA0KDQoNCg== From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 13 15:09:33 2024 Received: (at 73098) by debbugs.gnu.org; 13 Sep 2024 19:09:33 +0000 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 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 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== 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) 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) From: Stefan Monnier To: Ship Mints Subject: Re: bug#73098: setopt float warning unexpected In-Reply-To: (Ship Mints's message of "Fri, 13 Sep 2024 11:11:18 -0400") Message-ID: References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> Date: Fri, 13 Sep 2024 15:09:12 -0400 User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-SPAM-INFO: Spam detection results: 0 ALL_TRUSTED -1 Passed through trusted hosts only via SMTP AWL -0.002 Adjusted score from AWL reputation of From: address BAYES_00 -1.9 Bayes spam probability is 0 to 1% DKIM_SIGNED 0.1 Message has a DKIM or DK signature, not necessarily valid DKIM_VALID -0.1 Message has at least one valid DKIM or DK signature DKIM_VALID_AU -0.1 Message has a valid DKIM or DK signature from author's domain DKIM_VALID_EF -0.1 Message has a valid DKIM or DK signature from envelope-from domain X-SPAM-LEVEL: X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 73098 Cc: Michael Heerdegen , Eli Zaretskii , 73098@debbugs.gnu.org, Stefan Kangas X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > 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 From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 13 15:28:29 2024 Received: (at 73098) by debbugs.gnu.org; 13 Sep 2024 19:28:29 +0000 Received: from localhost ([127.0.0.1]:44289 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spBy0-0003W1-Te for submit@debbugs.gnu.org; Fri, 13 Sep 2024 15:28:29 -0400 Received: from mail-vk1-f169.google.com ([209.85.221.169]:44432) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spBxy-0003Vk-O4 for 73098@debbugs.gnu.org; Fri, 13 Sep 2024 15:28:27 -0400 Received: by mail-vk1-f169.google.com with SMTP id 71dfb90a1353d-5010c0e16baso729450e0c.1 for <73098@debbugs.gnu.org>; Fri, 13 Sep 2024 12:28:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1726255631; x=1726860431; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=p765CrWEMYZguupPBcpGn0qRWQZT+X9+GnOxoPBBcg4=; b=FAXHFg8LAG/YyR32feIn9l2zgLwHiCaPsThuTpo5+YBAxWR1kNuz7gZZs994P0rGB5 uiPrtoD1DwONhS2PaOnmDHQo2ZAKn3hA5rmp15R0YkQgjeQm08WYr+0byTeb/6TTo26Y Bew565rf+BBSg00WCYFZdzDv/aknimMWfBhHxlRvyz8VHuEpuJ25neUixOM6958RMyQg itiXYnUtrBrVCg3+/JMB6UB3vFbE1r0yMmBsKjF+i23XBbu6quVVkfZQC/C32wDKKyuX BmwjtaDKTFv+tBydDfRk90OKH0P3ngsdV+/EAljtvpb04oD8whIxx0Y2HUih5a+Kb3C6 SOJA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1726255631; x=1726860431; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=p765CrWEMYZguupPBcpGn0qRWQZT+X9+GnOxoPBBcg4=; b=MSg52KTwDHT2okfXKDpKdCmo9k9IK+t1HVYHHmpnJ/QuUKCsRPwPVC+Saffe8xJZj8 82bQuTXXDCDXFq65RPtxks7wcfoTgPgUXZl7qui5TdAGgIs4UHaIVNXcRxObBMdYcWKn Buj+M6AioopwS4vP5RSZD/CCWd01T/HNe9jp1rnJhUUYp/3jH7AxFjvLapVz74zTj5Z8 k2JKV+I96GcUzmGv8w8fzb0GNIqpNyr0hpSSG1KoYynwxT794ZGkQTdGyxUyov66Juyb 3peNAY16h7G92QaKR4hAkaWTTQ+pnCE6FD57zNztoVZdjnL6ceBWQybfrSs6sbZ8iFDd i1nA== X-Forwarded-Encrypted: i=1; AJvYcCVjkGze2ltlcIHWskioixpi+i6DTHRuE+yYzcNKmzrlASljebYdUjLoUeaMl/2y+tO+nyByCw==@debbugs.gnu.org X-Gm-Message-State: AOJu0Yw3GSnM4F2lQgvB1rlhSwx2Wsu+3u4aI9M+MBJrsl9KEZtTjAcy VuFWXVxFLTT/nxerxuvaXQssPi3pIQAmP6Qc3AzuLV/32eB9xeqrunbwlP7EgLaYN45FvYA180A vO6eO55OX5sgs6IpK0Lm8lK4mq1k= X-Google-Smtp-Source: AGHT+IHMp3DdmbGFVbH+uUYDNNdYX2USKOJU+vsUI7660cQl7WSSgzjC2Y8MRaehFfBk9kGlymafyGz7cb+EbHDATko= X-Received: by 2002:a05:6122:2028:b0:502:af87:1a91 with SMTP id 71dfb90a1353d-5032d4d6539mr8020374e0c.10.1726255631437; Fri, 13 Sep 2024 12:27:11 -0700 (PDT) MIME-Version: 1.0 References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> In-Reply-To: From: Ship Mints Date: Fri, 13 Sep 2024 15:26:59 -0400 Message-ID: Subject: Re: bug#73098: setopt float warning unexpected To: Stefan Monnier Content-Type: multipart/alternative; boundary="000000000000b4167c0622053564" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 73098 Cc: Michael Heerdegen , Eli Zaretskii , 73098@debbugs.gnu.org, Stefan Kangas X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --000000000000b4167c0622053564 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable It was removed in a later proposed edit. I read the setopt code more deeply and ran some tests. On Fri, Sep 13, 2024 at 3:09=E2=80=AFPM Stefan Monnier wrote: > > 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 > > --000000000000b4167c0622053564 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
It was removed in a later proposed edit. I read the setopt code more dee= ply and ran some tests.

On Fri, Sep 13, 2024 at 3:09=E2=80=AFPM Stefa= n Monnier <monnier@iro.umont= real.ca> wrote:
> If you encounter a discrepancy that cannot be addressed by amen= ding
> 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 ???&q= uot;

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).=C2=A0 We usually don't do that in docstrings.


=C2=A0 =C2=A0 =C2=A0 =C2=A0 Stefan

--000000000000b4167c0622053564-- From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 13 15:39:57 2024 Received: (at 73098) by debbugs.gnu.org; 13 Sep 2024 19:39:57 +0000 Received: from localhost ([127.0.0.1]:44293 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spC97-00048Q-7j for submit@debbugs.gnu.org; Fri, 13 Sep 2024 15:39:57 -0400 Received: from mail-vk1-f180.google.com ([209.85.221.180]:57437) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spC94-000489-IB for 73098@debbugs.gnu.org; Fri, 13 Sep 2024 15:39:55 -0400 Received: by mail-vk1-f180.google.com with SMTP id 71dfb90a1353d-502b405aa6dso730808e0c.2 for <73098@debbugs.gnu.org>; Fri, 13 Sep 2024 12:39:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1726256319; x=1726861119; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=X5mslKpsr3HjksW38yT/ytoYXZpF3/LH58OSsWnJaqc=; b=F8XhTRSwj/DIL/vqkbhmEUXooDsrG7FyT6qEpB6YHbOJFtGaZ7Df/6Dbc66hiEf1/o 9AutBo/L3MPXYhCCshVvx2xIuwdIWvLeK0I5wIUDU0rTD4K+kapOuU/O6xDabiTnDKSf dqclpsvCsigD9wBuMswrREESPJ+FwQUaD5Rj5cvPC4T4AIh0vFe8U/j5FcgILmxfsnxm niyjl8fJk89QiBR9DlGkQWY2drUUfnGufg/OL7+8uDnvNWE+i4pziZPazF6P4/qzpBpQ pcmmRWbvPbo67+sqkMZcBilggcsNKBret7OguubL5dKZkTbqba6T7vTgAjcDuV2WgFK6 dyPw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1726256319; x=1726861119; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=X5mslKpsr3HjksW38yT/ytoYXZpF3/LH58OSsWnJaqc=; b=PzW2OlEvpkTzkycAuVvO7gi1pAZ24sj8U7gTxWHn0LA0Kx+qS/r0VSxziTbq5EEKUb gAINLphqbjZeBIfG/dsc1U85bl4ti3cRhVza9yneMWzt7uRR25np/CzyVR1RC7v3yX/q 8jdV1+lskWX4ccqECgU28bruHt3rbAFPjSr0/aBFZCVL0OnJCGWt6rVCYfZpadtDt/kD Dhwqwf7uv2lqZKJdVXFh3bmF61n6fwHcugZ+hzA2BULOIHrvlWAOLEmzd/FOqxI1RXW1 nHi1XYK+OkExAvGDAczj19TEXSPxtH3FEzKw1JRzdSlDK69ntgzE9NGbRtUcliUymdbn 3EnA== X-Forwarded-Encrypted: i=1; AJvYcCX+549NoU/7XHjqdxYcZBUXnMOjnhkS1rq8nKmKLRw0ntF7OZxhW2FGnxrojJOul3GMPbUFyw==@debbugs.gnu.org X-Gm-Message-State: AOJu0YzC9eME/SrlgHlLHw8gDu5e+x57vZmu1eZdMNUFBjWiebTMUle2 L/vUj/OleCZdPbcN/VK2qM+tJqU/Ob5uL0zfS+CEHwxnzaRYcUHCeqCu4Xon60F89RP14fJQ7bK 04TGZjg6tOpEPDaJg5S5EkHO6JUU= X-Google-Smtp-Source: AGHT+IGw22+mM7ITNwTMxBxPrvYEVC/lbnm9pjG3pUpyLkmhPRg3iImtM/yLBp9AySEUZPYxSNaj1EMOga0S4snN2iw= X-Received: by 2002:a05:6122:2018:b0:4f5:1978:d226 with SMTP id 71dfb90a1353d-5032d395768mr7336079e0c.3.1726256319244; Fri, 13 Sep 2024 12:38:39 -0700 (PDT) MIME-Version: 1.0 References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> In-Reply-To: From: Ship Mints Date: Fri, 13 Sep 2024 15:38:28 -0400 Message-ID: Subject: Re: bug#73098: setopt float warning unexpected To: Stefan Monnier Content-Type: multipart/alternative; boundary="000000000000b3328c0622055e32" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 73098 Cc: Michael Heerdegen , Eli Zaretskii , 73098@debbugs.gnu.org, Stefan Kangas X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --000000000000b3328c0622055e32 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The warning messages can be misleading. e.g., when trying to set tab-bar-format-tabs-groups to include a simple lambda, it complains about the wrong thing. It does match the hook type, but does not match the hard-coded list of options. (setopt tab-bar-format `( tab-bar-format-tabs-groups (lambda () " ") ; tab-bar-separator )) =E2=96=A0 Warning (emacs): Value '(nil tab-bar-format-tabs-groups (lambda= nil " "))' does not match type hook On Fri, Sep 13, 2024 at 3:26=E2=80=AFPM Ship Mints wr= ote: > It was removed in a later proposed edit. I read the setopt code more > deeply and ran some tests. > > On Fri, Sep 13, 2024 at 3:09=E2=80=AFPM Stefan Monnier > wrote: > >> > 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 >> >> --000000000000b3328c0622055e32 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The warning messages can be misleading. e.g., when trying to set tab-bar= -format-tabs-groups to include a simple lambda, it complains about the wron= g thing. It does match the hook type, but does not match the hard-coded lis= t of options.

=C2=A0 =C2=A0(setopt tab-bar-format
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0`(
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0tab-bar-format-= tabs-groups
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0(lambda () &= quot; ") ; tab-bar-separator
=C2=A0 =C2=A0 ))

=C2=A0=E2=96=A0 =C2=A0Warning (emacs): Val= ue '(nil tab-bar-format-tabs-groups (lambda nil " "))' do= es not match type hook

On Fri, Sep 13, 2024 at 3:26=E2=80=AFPM Shi= p Mints <shipmints@gmail.com&= gt; wrote:
It= was removed in a later proposed edit. I read the setopt code more deeply a= nd ran some tests.

On Fri, Sep 13, 2024 at 3:09=E2=80=AFPM Stefan Monn= ier <monni= er@iro.umontreal.ca> wrote:
> If you encounter a discrepancy that cannot be addre= ssed 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 ???&q= uot;

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).=C2=A0 We usually don't do that in docstrings.


=C2=A0 =C2=A0 =C2=A0 =C2=A0 Stefan

--000000000000b3328c0622055e32-- From debbugs-submit-bounces@debbugs.gnu.org Sat Sep 14 02:15:40 2024 Received: (at 73098) by debbugs.gnu.org; 14 Sep 2024 06:15:40 +0000 Received: from localhost ([127.0.0.1]:44545 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spM4K-0006eE-5c for submit@debbugs.gnu.org; Sat, 14 Sep 2024 02:15:40 -0400 Received: from eggs.gnu.org ([209.51.188.92]:35798) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spM4I-0006e2-Es for 73098@debbugs.gnu.org; Sat, 14 Sep 2024 02:15:39 -0400 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 1spM41-0001GA-7L; Sat, 14 Sep 2024 02:15:21 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-version:References:Subject:In-Reply-To:To:From: Date; bh=9AO+WxrTYJ6fPeyjTA2WxwOVZiEV8pvS7a1gAkpJD0I=; b=kRJzsPuEYsQ5zj4BACP1 n7XcabMU5ZHgEgHblYB/tkW3XevakO4f+xMoNRdHzVlA9TEVRUJNcbabDm6Nbrqki+V1s6Dc5rJ3F XnvHSS9SO8I69l03bl8v4RioZFss9gD4iZii6JDtvqvXkJ4gJS6vFxC+6q/1/XuM2Lgmpn726Ivya VvzQQG/UD9svHVgV+sfYj6mm5qPTt3EU2yjw6QQwdvIkgp7Ur1j0CJWu8HxWB3sxWhEWOu2PCtFlO 6ul0H9nVa7SSUsNrQWyGVYQSvhCwh9Zlku9J3CjCbvNpzWRAPUWTfIgvCB5jEUPQmPGYBn1CjsgnZ 2hIz6S/xAfgEpQ==; Date: Sat, 14 Sep 2024 09:15:18 +0300 Message-Id: <861q1mkbgp.fsf@gnu.org> From: Eli Zaretskii To: Ship Mints In-Reply-To: (message from Ship Mints on Fri, 13 Sep 2024 15:38:28 -0400) Subject: Re: bug#73098: setopt float warning unexpected References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 73098 Cc: michael_heerdegen@web.de, 73098@debbugs.gnu.org, monnier@iro.umontreal.ca, stefankangas@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > From: Ship Mints > Date: Fri, 13 Sep 2024 15:38:28 -0400 > Cc: Stefan Kangas , Eli Zaretskii , > Michael Heerdegen , 73098@debbugs.gnu.org > > The warning messages can be misleading. e.g., when trying to set tab-bar-format-tabs-groups to include a > simple lambda, it complains about the wrong thing. It does match the hook type, but does not match the > hard-coded list of options. > > (setopt tab-bar-format > `( > tab-bar-format-tabs-groups > (lambda () " ") ; tab-bar-separator > )) > > ■ Warning (emacs): Value '(nil tab-bar-format-tabs-groups (lambda nil " "))' does not match type hook I don't get a warning when I evaluate the above. Is this in "emacs -Q"? From debbugs-submit-bounces@debbugs.gnu.org Sat Sep 14 05:35:50 2024 Received: (at 73098-done) by debbugs.gnu.org; 14 Sep 2024 09:35:50 +0000 Received: from localhost ([127.0.0.1]:44825 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spPC1-0001C0-Mr for submit@debbugs.gnu.org; Sat, 14 Sep 2024 05:35:49 -0400 Received: from eggs.gnu.org ([209.51.188.92]:46836) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spPBy-0001Bf-9x for 73098-done@debbugs.gnu.org; Sat, 14 Sep 2024 05:35:47 -0400 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 1spPBi-0006Jf-LP; Sat, 14 Sep 2024 05:35:30 -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=Py8yq/e5DPijap2KY5z9Z6w4f5jFJZNrdc7DzTtOjLo=; b=CspJIYTzZ/w5 C6IhFRfnK3OKqjb1zZGgI6McgI56A3/XR3W5YvL+hwSY9mw0UqSYyFLvk58+yLfxzn3tdqvz+WOd9 AMN8zAv9/aTIgk2eXoon3Th2VejyjD6CYQ+s9XoHGCm3wg3YaG+Kuzo8OLmg2aKR4LNAxXRYxhJRb fNgGKP8UmBWG+dEJQWTGFOCA1VZ76IbJunJidH88j31oNGyujzx/hKMA9sGb3wEHlwEx5bq6wBVmW IVZwXBEOk5+KmbSD/Uc1Tt/NBYxdDcFz3vV9IGGbACBp2qRy6r3XgZisgr9UyJ5xWgmAc6Z2bNXPR 5JD57eWHfgLIUs0aiBqtzQ==; Date: Sat, 14 Sep 2024 12:35:27 +0300 Message-Id: <86ldzuh928.fsf@gnu.org> From: Eli Zaretskii To: Ship Mints In-Reply-To: (message from Ship Mints on Fri, 13 Sep 2024 13:14:59 -0400) Subject: Re: bug#73098: setopt float warning unexpected References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> <868qvvk1yl.fsf@gnu.org> X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 73098-done Cc: michael_heerdegen@web.de, 73098-done@debbugs.gnu.org, stefankangas@gmail.com, monnier@iro.umontreal.ca X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > From: Ship Mints > Date: Fri, 13 Sep 2024 13:14:59 -0400 > Cc: stefankangas@gmail.com, monnier@iro.umontreal.ca, michael_heerdegen@web.de, > 73098@debbugs.gnu.org > > Revised language: > > "Set VARIABLE/VALUE pairs with type warnings, and return the final VALUE. > > This is like setq, but is meant for user options instead of > plain variables. This means that setopt will execute any > custom-set form associated with VARIABLE, and will emit a > warning if VALUE is not of the type expected by the user option. > > Example: If the user option is declared to accept a `float', > set the option to 2.0 rather than 2, which is considered an `integer'. > > Despite the warning, the user option will still be set to VALUE." Thanks. Since there seems to be a consensus that 'setopt' should continue emitting the warning, I added to the doc string a note about the warning (on the emacs-30 branch), and I'm now closing this bug. From debbugs-submit-bounces@debbugs.gnu.org Sat Sep 14 08:34:36 2024 Received: (at 73098) by debbugs.gnu.org; 14 Sep 2024 12:34:36 +0000 Received: from localhost ([127.0.0.1]:45048 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spRz1-0002qJ-TA for submit@debbugs.gnu.org; Sat, 14 Sep 2024 08:34:36 -0400 Received: from mail-vk1-f170.google.com ([209.85.221.170]:58524) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spRyy-0002q2-B8 for 73098@debbugs.gnu.org; Sat, 14 Sep 2024 08:34:35 -0400 Received: by mail-vk1-f170.google.com with SMTP id 71dfb90a1353d-502b8d7033cso742360e0c.0 for <73098@debbugs.gnu.org>; Sat, 14 Sep 2024 05:34:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1726317196; x=1726921996; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=WfgAKS49W52qyrFUzlbFQLbSWgDpZoLCStzde0uFOj4=; b=cRqKBaZlRmyEUFsHy9EDX59Qv7bDTxgu7Y3S3VVVg6xb+qlvOPrxxbtc1A3uN1F6aD GvZMXUXWfDHMDTn7EgYFQmEqPHvckPpeB2KWbnQxLRzmDPG4n4bCfVsqnBcx81h0fCIN xOmDyGM7SwZ30gmljvchPIAUUoPGvuDG82GPj1kyLjQHeeTrP8Gx9gY4uxq9VAd0UL0V 7bSjHSGzrjCuATh0scXmGeT2fRjCkIzMbGrD4qDEl44HDnQG91LoruL0U6jKzAaL4HFf HRi93M8raiNPIpzBbHYtk/M6K5aG1R+EukkpBCMhhQ9AJr5c/dVmApD1vRVTghJTq0OL 4kAw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1726317196; x=1726921996; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=WfgAKS49W52qyrFUzlbFQLbSWgDpZoLCStzde0uFOj4=; b=Gy4PFJPiiDW9wPhLDyvSKtPjs52TKJICenLw0XX51aJHfU84sruWadDz0r5+hI4LU0 YLRNzV7wLRcLMf4nVYBOcOdt4biIgfD7xX4sEy6FWS3Q/baNKn6Kk/LECxSiYQxqtqHU 2yxe0He1vVgNck6pnVYzRjAllKem+aeWn5HZgqU3phpleUa4cAKvqvaHOxdp84mdPx+M NTl5+12/9ZICXQcH+ksqVXaF/Enol2I/8v235+Sz+UsqoEoxaFKQw+fD4BaqLOg8C2dl MOEV2dD9Qg0w2FNHVUiJAvc0RtToeu7doJihcUWOpBTak1e3kRVZmvwg71sJSH2ToCOQ p0tw== X-Forwarded-Encrypted: i=1; AJvYcCUgxk//g5qltOPpUN2y90k2GB7ZzrUikInNfN6c5+YLFsedvGhkFMlzu0tLpxtSOdJ26Gdp0w==@debbugs.gnu.org X-Gm-Message-State: AOJu0YwWwt8T3I0YTgLMUi2FNGE3zi5Yaw12OSwes4QJwwA8liZ6UxxI Xro+tZrtQUT9QiacPUQ0zosJLbyuiZj8TvuJ1AiYS3U2iQBbU7QIF03mM9+j+CU7mHeo6XsJJOY d5HCa+cPUiqyas1UPMqVPRInaMjg= X-Google-Smtp-Source: AGHT+IFdLfXqyr2Sdc4Na8J4eJH3SSPLMR55GlWTcfBpV7tzKLOcS4ZZWdFR9V0nWCHQJeWFMq+RMaVDjmYe4+9f0nI= X-Received: by 2002:a05:6122:3c94:b0:4f5:2a42:d51e with SMTP id 71dfb90a1353d-5032d51a93emr6985673e0c.13.1726317195996; Sat, 14 Sep 2024 05:33:15 -0700 (PDT) MIME-Version: 1.0 References: <86r09uwuf3.fsf@gnu.org> <86ikv6wgfo.fsf@gnu.org> <877cbk50b7.fsf@web.de> <86tteovoc8.fsf@gnu.org> <861q1mkbgp.fsf@gnu.org> In-Reply-To: <861q1mkbgp.fsf@gnu.org> From: Ship Mints Date: Sat, 14 Sep 2024 08:33:04 -0400 Message-ID: Subject: Re: bug#73098: setopt float warning unexpected To: Eli Zaretskii Content-Type: multipart/alternative; boundary="0000000000003cb54b0622138bbe" X-Spam-Score: 2.7 (++) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: I didn't try -Q assuming this behavior would be unaffected. I'll try to keep this simple case in mind for future reproducers and go native when practical. Thank you for the docstring edits. On Sat, Sep 14, 2024 at 2:15 AM Eli Zaretskii wrote: Content analysis details: (2.7 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (shipmints[at]gmail.com) 0.0 HTML_MESSAGE BODY: HTML included in message -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.221.170 listed in wl.mailspike.net] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.221.170 listed in list.dnswl.org] 2.7 RCVD_IN_PSBL RBL: Received via a relay in PSBL [209.85.221.170 listed in psbl.surriel.com] -0.0 T_SCC_BODY_TEXT_LINE No description available. X-Debbugs-Envelope-To: 73098 Cc: michael_heerdegen@web.de, 73098@debbugs.gnu.org, monnier@iro.umontreal.ca, stefankangas@gmail.com X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.7 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: I didn't try -Q assuming this behavior would be unaffected. I'll try to keep this simple case in mind for future reproducers and go native when practical. Thank you for the docstring edits. On Sat, Sep 14, 2024 at 2:15 AM Eli Zaretskii wrote: Content analysis details: (1.7 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 RCVD_IN_MSPIKE_H2 RBL: Average reputation (+2) [209.85.221.170 listed in wl.mailspike.net] 2.7 RCVD_IN_PSBL RBL: Received via a relay in PSBL [209.85.221.170 listed in psbl.surriel.com] -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [209.85.221.170 listed in list.dnswl.org] -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (shipmints[at]gmail.com) 0.0 HTML_MESSAGE BODY: HTML included in message -0.0 T_SCC_BODY_TEXT_LINE No description available. -1.0 MAILING_LIST_MULTI Multiple indicators imply a widely-seen list manager --0000000000003cb54b0622138bbe Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable I didn't try -Q assuming this behavior would be unaffected. I'll try to keep this simple case in mind for future reproducers and go native when practical. Thank you for the docstring edits. On Sat, Sep 14, 2024 at 2:15=E2=80=AFAM Eli Zaretskii wrote: > > From: Ship Mints > > Date: Fri, 13 Sep 2024 15:38:28 -0400 > > Cc: Stefan Kangas , Eli Zaretskii , > > > Michael Heerdegen , > 73098@debbugs.gnu.org > > > > The warning messages can be misleading. e.g., when trying to set > tab-bar-format-tabs-groups to include a > > simple lambda, it complains about the wrong thing. It does match the > hook type, but does not match the > > hard-coded list of options. > > > > (setopt tab-bar-format > > `( > > tab-bar-format-tabs-groups > > (lambda () " ") ; tab-bar-separator > > )) > > > > =E2=96=A0 Warning (emacs): Value '(nil tab-bar-format-tabs-groups (la= mbda nil > " "))' does not match type hook > > I don't get a warning when I evaluate the above. Is this in "emacs -Q"? > --0000000000003cb54b0622138bbe Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I didn't try -Q assuming this behavior would be unaffected. I'll= try to keep this=C2=A0simple case in mind for=C2=A0future=C2=A0reproducers= and go native when practical. Thank you for the docstring edits.

On S= at, Sep 14, 2024 at 2:15=E2=80=AFAM Eli Zaretskii <eliz@gnu.org> wrote:
> From: Ship Mints <shipmints@gmail.com>
> Date: Fri, 13 Sep 2024 15:38:28 -0400
> Cc: Stefan Kangas <stefankangas@gmail.com>, Eli Zaretskii <eliz@gnu.org>,
>=C2=A0 =C2=A0 =C2=A0 =C2=A0Michael Heerdegen <michael_heerdegen@web.de>, <= a href=3D"mailto:73098@debbugs.gnu.org" target=3D"_blank">73098@debbugs.gnu= .org
>
> The warning messages can be misleading. e.g., when trying to set tab-b= ar-format-tabs-groups to include a
> simple lambda, it complains about the wrong thing. It does match the h= ook type, but does not match the
> hard-coded list of options.
>
>=C2=A0 =C2=A0 (setopt tab-bar-format
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 `(
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 tab-bar-format-tabs-gr= oups
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (lambda () " &quo= t;) ; tab-bar-separator
>=C2=A0 =C2=A0 =C2=A0))
>
>=C2=A0 =E2=96=A0=C2=A0 Warning (emacs): Value '(nil tab-bar-format-= tabs-groups (lambda nil " "))' does not match type hook

I don't get a warning when I evaluate the above.=C2=A0 Is this in "= ;emacs -Q"?
--0000000000003cb54b0622138bbe-- From unknown Sat Sep 20 12:10:31 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 13 Oct 2024 11:24:13 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator