From unknown Sat Sep 13 19:06:18 2025 X-Loop: help-debbugs@gnu.org Subject: bug#79396: 30.1; cl-copy-list can error but is declared as error-free Resent-From: mail@kisaragi-hiu.com Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 06 Sep 2025 17:42:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 79396 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 79396@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.175718048417629 (code B ref -1); Sat, 06 Sep 2025 17:42:02 +0000 Received: (at submit) by debbugs.gnu.org; 6 Sep 2025 17:41:24 +0000 Received: from localhost ([127.0.0.1]:37527 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uuwui-0004aE-3q for submit@debbugs.gnu.org; Sat, 06 Sep 2025 13:41:24 -0400 Received: from lists.gnu.org ([2001:470:142::17]:46114) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uuwud-0004Zu-Lp for submit@debbugs.gnu.org; Sat, 06 Sep 2025 13:41:20 -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 1uuwuQ-00070z-Or for bug-gnu-emacs@gnu.org; Sat, 06 Sep 2025 13:41:08 -0400 Received: from out-170.mta0.migadu.com ([91.218.175.170]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1uuwuH-0003dZ-DE for bug-gnu-emacs@gnu.org; Sat, 06 Sep 2025 13:41:06 -0400 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=kisaragi-hiu.com; s=key1; t=1757180436; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=+oOVbaFIn7wxaMJprj0QbpP9GupRsXcSW1wKNRgDWzE=; b=9Hyx0/m/TPibYHlZ422N28ZQluI7pVIpqje6R0wDdd1s7oPG0w920h6qv0bEWv/SeJfIbz 7Lfg9p6oxssVogihAsJvJ74v5VaMrfg4cEBYiRP42hACDohzkPkRUxcu1F0GCqkqKUTn2K Ajhiw5FepQGPFrwUZC1FDsRHAtv2XF+QbtlAr3zmLo+goGtZ/VcwVU2qFfu9D7rLMMSa34 y0FpBb5p4uSa7qU9nhd43CtPmTfXGiOOysy8WbY7uxryXV0nTWJOmlPosPIGtPe1QhD6sy rfSJyKpG3ym8/9odKR1lmWjJqaTr2OH37uiCeBpjCC43AJj4sGhB2CY4l4SBjw== Date: Sat, 06 Sep 2025 17:40:34 +0000 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers. From: mail@kisaragi-hiu.com Message-ID: <3a819b983b34e20d8fd08a71811d76af6fb1e811@kisaragi-hiu.com> TLS-Required: No X-Migadu-Flow: FLOW_OUT Received-SPF: pass client-ip=91.218.175.170; envelope-from=mail@kisaragi-hiu.com; helo=out-170.mta0.migadu.com X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 0.9 (/) 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: -0.1 (/) cl-copy-list can error if given a value that isn't nil or a cons cell, like (cl-copy-list 3), as expected. However, the function was declared (side-effect-free error-free), which contradicts this. This means it gets removed during bytecomp if the value is unused, even when it can error, resulting in a surprising discrepancy between compiled and not compiled code. cl-copy-list probably should be (side-effect-free t), just like `reverse`. For a showcase, run these forms in emacs -Q with eval-defun: (require 'cl-lib) (defun my-compiled-p () "Abuse cl-copy-list to return whether this function is byte-compiled.= " (catch 'ret (condition-case _e (cl-copy-list 3) ;; this line should always happen but currently doesn't. (wrong-type-argument (throw 'ret nil))) ;; currently after byte comp the call above is removed ;; so this line ends up being reached. (throw 'ret t))) (list (my-compiled-p) (progn (byte-compile #'my-compiled-p) (my-compiled-p))) ;; -> (nil t) if both the function wasn't byte-compiled before This reproduction works in emacs -Q. Additional information: - The declaration was added in commit 48ff93ba https://cgit.git.savannah.gnu.org/cgit/emacs.git/commit/?h=3D48ff93ba which shipped in Emacs 30.1 and 30.2, and is still present on master. - Side note: the error is implemented in a weird way by doing (car list) after LIST has been checked to not be consp. The car is there just to error if LIST is not nil; if LIST is nil, it can only return nil. The code has been this way since cl.el was "entered into RCS" in 1993; see commit fcd73769. https://cgit.git.savannah.gnu.org/cgit/emacs.git/tree/lisp/emacs-lisp/c= l.el?h=3Dfcd73769#n561 In GNU Emacs 30.1 (build 1, aarch64-unknown-linux-android) of 2025-04-23 built on localhost Configured using: 'configure --disable-dependency-tracking --prefix=3D/data/data/com.termux/files/usr --libdir=3D/data/data/com.termux/files/usr/lib --sbindir=3D/data/data/com.termux/files/usr/bin --disable-rpath --disable-rpath-hack --host=3Daarch64-linux-android --disable-autodepend --with-dumping=3Dnone --with-gif=3Dno --with-gnutls --with-jpeg=3Dno --with-modules --with-pdumper=3Dyes --with-png=3Dno --with-tiff=3Dno --with-xml2 --with-xpm=3Dno --with-tree-sitter --without-dbus --without-gconf --without-gsettings --without-lcms2 --without-selinux --without-x emacs_cv_alternate_stack=3Dyes emacs_cv_sanitize_address=3Dy= es emacs_cv_prog_cc_no_pie=3Dno ac_cv_lib_elf_elf_begin=3Dno gl_cv_func_dup2_works=3Dno ac_cv_func_setrlimit=3Dno --disable-nls --enable-shared --enable-static --libexecdir=3D/data/data/com.termux/files/usr/libexec 'CFLAGS=3D -fstack-protector-strong -Oz' 'CPPFLAGS=3D -isystem/data/data/com.termux/files/usr/include/c++/v1 -isystem/data/data/com.termux/files/usr/include' 'LDFLAGS=3D-L/data/data/com.termux/files/usr/lib -Wl,-rpath=3D/data/data/com.termux/files/usr/lib -Wl,--enable-new-dtags -Wl,--as-needed -Wl,-z,relro,-z,now'' Configured features: GMP GNUTLS LIBXML2 MODULES NOTIFY INOTIFY PDUMPER SECCOMP SQLITE3 THREADS TREE_SITTER XIM ZLIB Important settings: value of $LANG: en_US.UTF-8 locale-coding-system: utf-8-unix From unknown Sat Sep 13 19:06:18 2025 X-Loop: help-debbugs@gnu.org Subject: bug#79396: 30.1; cl-copy-list can error but is declared as error-free Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 07 Sep 2025 07:36:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 79396 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: mail@kisaragi-hiu.com, Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Cc: 79396@debbugs.gnu.org Received: via spool by 79396-submit@debbugs.gnu.org id=B79396.175723054831249 (code B ref 79396); Sun, 07 Sep 2025 07:36:02 +0000 Received: (at 79396) by debbugs.gnu.org; 7 Sep 2025 07:35:48 +0000 Received: from localhost ([127.0.0.1]:41739 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uv9w8-00087o-81 for submit@debbugs.gnu.org; Sun, 07 Sep 2025 03:35:48 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:58016) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uv9w4-00087N-IK for 79396@debbugs.gnu.org; Sun, 07 Sep 2025 03:35:41 -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 1uv9vx-0007D8-BF; Sun, 07 Sep 2025 03:35:33 -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=j8pdCmUp4mB55oGJwM6XYNSE65q+0tJ3YYccEIqDT4U=; b=ql1BFicJxCQQZ/TFp5hz tn4n1GIIfa42Zr3bXo/spfiUYaAqtMq8oYwsMDGJ9N8bSENH2KAHVe6WPzazmGWe6GKl61WtXjMy/ Gl85sjZF6qyimDNmNOGFi64C6/Jvb9p9lit/mvftKHbNZyTzRNyuS+J3t/mq+PolFsxxvIbxiDfa1 MD7spJO03gR6KM2Wq6hDeu12aioF4tQ+1TzgBFNcDndue9weWkHYqQND4zFP2zbQ4zGKt9qBTbZTg ih3fBGYJoHIYQQGv1hp/BRnV1JjnRsKDiDEJVPQsP8lvq59b4vRig8V/AAxL7KxlEnmOMfi2xpLEU MOCqJa3yPyzn+g==; Date: Sun, 07 Sep 2025 10:35:29 +0300 Message-Id: <86jz2aemv2.fsf@gnu.org> From: Eli Zaretskii In-Reply-To: <3a819b983b34e20d8fd08a71811d76af6fb1e811@kisaragi-hiu.com> (bug-gnu-emacs@gnu.org) References: <3a819b983b34e20d8fd08a71811d76af6fb1e811@kisaragi-hiu.com> MIME-version: 1.0 Content-type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Score: -2.3 (--) 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 (---) > Date: Sat, 06 Sep 2025 17:40:34 +0000 > TLS-Required: No > From: mail--- via "Bug reports for GNU Emacs, > the Swiss army knife of text editors" > > cl-copy-list can error if given a value that isn't nil or a cons cell, > like (cl-copy-list 3), as expected. However, the function was declared > (side-effect-free error-free), which contradicts this. This means it > gets removed during bytecomp if the value is unused, even when it can > error, resulting in a surprising discrepancy between compiled and not > compiled code. > > cl-copy-list probably should be (side-effect-free t), just like > `reverse`. > > For a showcase, run these forms in emacs -Q with eval-defun: > > (require 'cl-lib) > (defun my-compiled-p () > "Abuse cl-copy-list to return whether this function is byte-compiled." > (catch 'ret > (condition-case _e > (cl-copy-list 3) > ;; this line should always happen but currently doesn't. > (wrong-type-argument (throw 'ret nil))) > ;; currently after byte comp the call above is removed > ;; so this line ends up being reached. > (throw 'ret t))) > (list (my-compiled-p) > (progn > (byte-compile #'my-compiled-p) > (my-compiled-p))) > ;; -> (nil t) if both the function wasn't byte-compiled before > > This reproduction works in emacs -Q. > > Additional information: > > - The declaration was added in commit 48ff93ba > https://cgit.git.savannah.gnu.org/cgit/emacs.git/commit/?h=48ff93ba > which shipped in Emacs 30.1 and 30.2, and is still present on master. > > - Side note: the error is implemented in a weird way by doing (car list) > after LIST has been checked to not be consp. The car is there just to > error if LIST is not nil; if LIST is nil, it can only return nil. The > code has been this way since cl.el was "entered into RCS" in 1993; see > commit fcd73769. > https://cgit.git.savannah.gnu.org/cgit/emacs.git/tree/lisp/emacs-lisp/cl.el?h=fcd73769#n561 Thanks. Mattias, any comments? From unknown Sat Sep 13 19:06:18 2025 X-Loop: help-debbugs@gnu.org Subject: bug#79396: 30.1; cl-copy-list can error but is declared as error-free Resent-From: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 07 Sep 2025 09:06:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 79396 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Eli Zaretskii Cc: mail@kisaragi-hiu.com, 79396@debbugs.gnu.org, Stefan Monnier Received: via spool by 79396-submit@debbugs.gnu.org id=B79396.17572359257669 (code B ref 79396); Sun, 07 Sep 2025 09:06:02 +0000 Received: (at 79396) by debbugs.gnu.org; 7 Sep 2025 09:05:25 +0000 Received: from localhost ([127.0.0.1]:42121 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uvBKr-0001zZ-7E for submit@debbugs.gnu.org; Sun, 07 Sep 2025 05:05:25 -0400 Received: from mail-lf1-x132.google.com ([2a00:1450:4864:20::132]:57434) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1uvBKk-0001ur-KO for 79396@debbugs.gnu.org; Sun, 07 Sep 2025 05:05:15 -0400 Received: by mail-lf1-x132.google.com with SMTP id 2adb3069b0e04-5608b619cd8so4116501e87.2 for <79396@debbugs.gnu.org>; Sun, 07 Sep 2025 02:05:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1757235908; x=1757840708; darn=debbugs.gnu.org; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:sender:from:to:cc:subject :date:message-id:reply-to; bh=fgG3vTI3eZQHDWlTkEZM5E/3R6QLnkvdqIwHzF2BzwQ=; b=Mfv4Y8dNgKWCRDpOVgX93kAn1l5FLyptWLIIA4nsa/VNkJTZxvRxNj3O3xd8XCL0b8 Emnozdv/aN4Xx4+gPXReKj3rdaVBcEhmZLGOkqvu4Y+6+np8IxgKxc3MYxQul3uf29Jm L9dwwkfRNQobKj9+5JzzS8/o6OUpFjie6x3igkb3Iym9ADf5lYqRjSOisI0kAAA49Ru9 uj73exdbF9D+kPpvuq4qnMMZ+XAOcgCqjSzUy7ojBl0l8/rnzQa3qAvE8TwCdgFIw562 bL678/lmgMe4Ow6jJidI9fozRtcvX8iocT0vak+QgEIIjq8doWy+fnqemO6Art3NznlX e0KA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1757235908; x=1757840708; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:sender:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=fgG3vTI3eZQHDWlTkEZM5E/3R6QLnkvdqIwHzF2BzwQ=; b=qPLlEmo9Wutl9ph33QYZmqgzqJtUG01mPj6b5dGeuJVTUCeVFBVYacasX3fP25CMUV z+4vxN2UycPgNAEngWleu+o2GNFaDmiW/jE2vaZYbtCrHdF1V9tevRi3bcgtokhgHAlb 5FeEKXsn6BEg7E8RAURLulHxVjpx2xIlckLvyjqT2TH0Dd1EdSTd21dSxriI8RNLWDkA fZOehKhDY78DDnyJSvvADOevMerLrrhosUmkZcEpbSxFHCFt4Gcr4zxlnWHCdeDkXG3d Hm2Jz4P0Hd6TyQPmv/GNVVX66lCMZra9yN6lIP429wYKW/0S5cYweNN96ljNIIuHFr+v /Yig== X-Forwarded-Encrypted: i=1; AJvYcCWrvEwTgHkK+Zo4ucZqF/bSrTemmZGJaK1dY1lv5rkMklY5LT71BxUI2hVmq83Xl54ewt/kWw==@debbugs.gnu.org X-Gm-Message-State: AOJu0YyYVpIKAgFxD0lwxbgWMoP6jwqkttukjxXFn+bVheZr0iFn6x4q 1jA8iwjpYHtyN1DsRuKoTZLS3W1fCEHdKH841oopWqvoGjMcdKfFerIV X-Gm-Gg: ASbGnctHlJ3+WtODEZmt7pVh0YY9w11KD1Vv6TkS4mCbO1qSf0+q9lprMBKKKCN8sQi ixKHEASEoGkvptSr7EausQwVmp0IucARlTj6CSqDIHUQUqpwWola4nXvmlUBi3BqVcb01ZugN9a LiKaUQ7QetZAME6s07mAkDvK4NpBn8xxZqu/n7EhxIIlQBqq9ZlPagzeuF2+2U489aVJ6OP9yQ2 HKx1nDub7GBHbJHrr8piyihZ+0nrahDA2JTJIC71Efnza19KDwLrUXzgetyyVaWRHguj5MfEDFG FhIj+G7MKa5WfVlhculnFKrrPuX2RQSxtdjgfnnEqp+U3CGMPgTCrgGy0XwCksJLm//nbKpdx8S P7cDeF2u4gCSVLWQJIDbdw2RwFx54L/9jXuNOu51L9O+IdBxo0YKQoGEAYgeNFCPk++ZSRFFoZm GoXcq5tR+LZqHx4fBfYRjJ7bo= X-Google-Smtp-Source: AGHT+IHf/mZ2X22WtwSxRjNuS+9kqD/Lm6XrS8jDfxTJLvmpkcWFRpds1YkpvjHEvESqRGoiWPPzRQ== X-Received: by 2002:a05:6512:3b9e:b0:560:9702:4fe6 with SMTP id 2adb3069b0e04-562601b529amr1523429e87.24.1757235907495; Sun, 07 Sep 2025 02:05:07 -0700 (PDT) Received: from smtpclient.apple (c188-150-186-155.bredband.tele2.se. [188.150.186.155]) by smtp.gmail.com with ESMTPSA id 2adb3069b0e04-5608ab93ebcsm2841224e87.47.2025.09.07.02.05.06 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sun, 07 Sep 2025 02:05:07 -0700 (PDT) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.15\)) From: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= In-Reply-To: <86jz2aemv2.fsf@gnu.org> Date: Sun, 7 Sep 2025 11:05:06 +0200 Content-Transfer-Encoding: quoted-printable Message-Id: References: <3a819b983b34e20d8fd08a71811d76af6fb1e811@kisaragi-hiu.com> <86jz2aemv2.fsf@gnu.org> X-Mailer: Apple Mail (2.3654.120.0.1.15) X-Spam-Score: 0.0 (/) 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 (-) mail--- dixit: > cl-copy-list can error if given a value that isn't nil or a cons cell, > like (cl-copy-list 3), as expected. However, the function was declared > (side-effect-free error-free), which contradicts this. The error-free declaration is clearly wrong. Sorry about that, and = thanks for reporting it. However, the CL spec doesn't really mandate a specific behaviour when = the argument is not a list, so one alternative would be to just have it = return its argument in that case. It's attractive because the behaviour = would be very clean: (cl-copy-list (A . B)) =3D (cons A (cl-copy-list B)) (cl-copy-list ATOM) =3D ATOM In a way, an atom is the base case of a dotted list. After such a change, cl-copy-list might qualify as error-free. It will = still diverge if given a circular list though. (CC:ing Stefan in case he has a preference.) From unknown Sat Sep 13 19:06:18 2025 X-Loop: help-debbugs@gnu.org Subject: bug#79396: 30.1; cl-copy-list can error but is declared as error-free Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 07 Sep 2025 15:40:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 79396 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Cc: mail@kisaragi-hiu.com, Eli Zaretskii , 79396@debbugs.gnu.org Received: via spool by 79396-submit@debbugs.gnu.org id=B79396.175725959416929 (code B ref 79396); Sun, 07 Sep 2025 15:40:01 +0000 Received: (at 79396) by debbugs.gnu.org; 7 Sep 2025 15:39:54 +0000 Received: from localhost ([127.0.0.1]:45095 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uvHUc-0004Op-Nm for submit@debbugs.gnu.org; Sun, 07 Sep 2025 11:39:54 -0400 Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:57289) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uvHUZ-0004OX-Cx for 79396@debbugs.gnu.org; Sun, 07 Sep 2025 11:39:47 -0400 Received: from pmg2.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 25A4D8074F; Sun, 7 Sep 2025 11:39:41 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1757259576; bh=h07eJi/ZE9M8kSEIvdQTb/igJ+fwRzcs1Sw3SG1eQfU=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From; b=cBo+3eevg1F00t0uFu892uiAJ0W/rjGLa/oyIEHL2F8BLq7h9d8GlpIYVM7hsdX3o jSh4BOQGoLxzCP9K9BJSguoNEk+Cl8SQSEBMPqTCzHBa9RoewudWtPZ2LF3Ok3AAKI 0/2rVoNd9sgjCOMSWbN1JLs5W1A3sJAu5E9kyyK8fe3CN2JCSOKBLtSIBLCSxry3zW 7e7dYMqNgevCdgsnkxsu8ZtFRZKpmYGCRRSFPQT10jHMempKEFuyyrxigP58IRjt6z 1Zw136Ey/FkRJ+FGrweWpLeJdym9+T3gyAkmJQKcSw78UeOc9pFtpKlLNdsMLfGTXE tce31BcBieIvQ== Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg2.iro.umontreal.ca (Proxmox) with ESMTP id 2C26B807D7; Sun, 7 Sep 2025 11:39:36 -0400 (EDT) Received: from pastel (104-195-222-212.cpe.teksavvy.com [104.195.222.212]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id E6FE31203B5; Sun, 7 Sep 2025 11:39:35 -0400 (EDT) From: Stefan Monnier In-Reply-To: Message-ID: References: <3a819b983b34e20d8fd08a71811d76af6fb1e811@kisaragi-hiu.com> <86jz2aemv2.fsf@gnu.org> Date: Sun, 07 Sep 2025 11:39:35 -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.117 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-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 (---) > (CC:ing Stefan in case he has a preference.) I like pure&total functions, so I'm in favor of the change. I also like strong typing, so I'm not in favor of a change that makes a "list" function accept silently a non-list argument. [ I'm so I glad I don't have to be consistent. ] Between the two I think pure&total might be a bit more important in this case (even though the result is still not total), but that's a very weak preference. Either way works so it's probably best to let dead dogs die (i.e. not change the existing behavior). Stefan From unknown Sat Sep 13 19:06:18 2025 X-Loop: help-debbugs@gnu.org Subject: bug#79396: 30.1; cl-copy-list can error but is declared as error-free Resent-From: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 07 Sep 2025 15:58:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 79396 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Stefan Monnier Cc: mail@kisaragi-hiu.com, Eli Zaretskii , 79396@debbugs.gnu.org Received: via spool by 79396-submit@debbugs.gnu.org id=B79396.175726066420721 (code B ref 79396); Sun, 07 Sep 2025 15:58:01 +0000 Received: (at 79396) by debbugs.gnu.org; 7 Sep 2025 15:57:44 +0000 Received: from localhost ([127.0.0.1]:45127 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uvHls-0005O4-5Y for submit@debbugs.gnu.org; Sun, 07 Sep 2025 11:57:44 -0400 Received: from mail-lj1-x236.google.com ([2a00:1450:4864:20::236]:58828) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1uvHlm-0005Nf-SB for 79396@debbugs.gnu.org; Sun, 07 Sep 2025 11:57:36 -0400 Received: by mail-lj1-x236.google.com with SMTP id 38308e7fff4ca-336b0b3d753so36736061fa.1 for <79396@debbugs.gnu.org>; Sun, 07 Sep 2025 08:57:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1757260648; x=1757865448; darn=debbugs.gnu.org; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:sender:from:to:cc:subject :date:message-id:reply-to; bh=OmfV0EZVXfrodgKdmOvzvqoZIix3VyQmOFBH7y8pw38=; b=cGr7mFzjb1SRib6sgabiFXg823cxvzBm8K3nvgHHrgkilqIHnYXP58IovtW8Z16xaa xBLgShgBt6Uv3uGJEGB4pWprdaS2gh9G8cmBEagcql2Jvmadj6+7Nq0D7bOqtIaQzMrk aZePiOukZtvbv2ju3NJV0PkGqihxCI9jKgOKBmSBOmyBdQzUaNexcr357CPe3f3hmk36 l3E/KVShpE26zB2YdDV9Fd6Hlyqjvl3LuEbujhxkB5bMWr5EnFXdnR4uyFZ5v02ByU3M 2R9t9VLA1A2xz9tY2vEpBmoVFQp9AOKzfdAC/zb3qYjYRxKB8P7AhCxm8CyOt6Wj7STn zgFQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1757260648; x=1757865448; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:sender:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=OmfV0EZVXfrodgKdmOvzvqoZIix3VyQmOFBH7y8pw38=; b=upOCutU//Z9H0qQLJ02rxQw7Crs7p1Xmydqr0cmit/VR8o8B/pJ90PXaDYfvIfvkXW DsAAGqP6aPqN841qpmON9MGNwQ4cY9cteMYxxcDM80XU9Sd3ytq7a6HHftQjpfSfTpUF pL3lNIXeibRJuA4F7EWoIVH67vA8rMo49yv2cChwDXiBGVwJy3gTGAUoBvbZwrFvOqaR QCcND3+RhpdGvqzhLzYLWMoyX3ogQTvgQUcrZK4s+M7lm9UNKJ/FLGuxfe6Ck+Qg7KXh G8uU4H9q9hjiLA3RRUgYfjBhMxxwgYQNltbOBczE/7ZAY2+qflBQbbeDXtkwWtqIRE/v J2uQ== X-Forwarded-Encrypted: i=1; AJvYcCWXeKVTZmFdUS+OxhlnhjKi020bZ9+13JQ3T6Y5CrIZVTgJSzehHc+pBAxZIvUjEfad8oROEQ==@debbugs.gnu.org X-Gm-Message-State: AOJu0YwklxOPHuUljGTkSf/W2Vq8+s54bYypscQA75f2rWf4P7PAnDpn f4dyPo6bJvcawcAXkebownW48MctwlGDeqNqyy+rvcUDjxOHYahHvfrY X-Gm-Gg: ASbGncsgMJsnl/cu5oI3/6wnw+SBpE16D+XCTXiMI8vd1pnNISpm7d+5R5pqN7QMgzd PxfaErXHxtwiSUeezHkE0zFRqxkeii6Wurht7RXtDCoo5AxhDh1soV+uwCRRVwWjvOwkV2Uy5+0 J20H4lbjzV3gSJQ+Fr/m8m/Zgoh5MbYzp9+IpPGchdI1f2MSIb+4MjS8yV3v0tufQAWI8hQkxI/ bAFImIptENGrCoqLRSbDBQjHGJWJQzVkc8NKWJXUuPxBsAI/CNb1A3Tz3FTTxRXrkj/JJW34Ye6 YvsRpT/goiaf7bmX1q02kNGlcUr0laho9CZXFn5v46Wp4eHOuH2KXRGAPpKUWHvHlyme0vEdWU5 rGiS+5uQeOlj688M0tPzQ78PVwAWJb0B2fV5eKhARYNCj+IBYAPb8VAlkkvK1szVxWpW+KgK78O L4cZz7md/w6UE6YWdBbsMg5/WuA/qFaP/rrQ== X-Google-Smtp-Source: AGHT+IGGNIBfcGkSlt8iQrrqdzPgsUBjfmDRx9fTlzVOSl4qJHQNKRq0eXrVEJk3XXKQgjPQh1xxAg== X-Received: by 2002:a2e:b8c9:0:b0:338:875:bec0 with SMTP id 38308e7fff4ca-33b608c6c0bmr11866961fa.39.1757260647357; Sun, 07 Sep 2025 08:57:27 -0700 (PDT) Received: from smtpclient.apple (c188-150-186-155.bredband.tele2.se. [188.150.186.155]) by smtp.gmail.com with ESMTPSA id 38308e7fff4ca-337f508a09dsm28398211fa.52.2025.09.07.08.57.25 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sun, 07 Sep 2025 08:57:25 -0700 (PDT) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.15\)) From: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= In-Reply-To: Date: Sun, 7 Sep 2025 17:57:25 +0200 Content-Transfer-Encoding: quoted-printable Message-Id: References: <3a819b983b34e20d8fd08a71811d76af6fb1e811@kisaragi-hiu.com> <86jz2aemv2.fsf@gnu.org> X-Mailer: Apple Mail (2.3654.120.0.1.15) X-Spam-Score: 0.0 (/) 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 (-) 7 sep. 2025 kl. 17.39 skrev Stefan Monnier : > Between the two I think pure&total might be a bit more important in = this > case (even though the result is still not total), but that's a very > weak preference. Either way works so it's probably best to let dead > dogs die (i.e. not change the existing behavior). Yes, I'm picking the option that requires the least amount of = documentation to be written, as is tradition among programmers. Pushed to master. From debbugs-submit-bounces@debbugs.gnu.org Sun Sep 07 11:59:37 2025 Received: (at control) by debbugs.gnu.org; 7 Sep 2025 15:59:38 +0000 Received: from localhost ([127.0.0.1]:45132 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uvHnk-0005RV-PD for submit@debbugs.gnu.org; Sun, 07 Sep 2025 11:59:37 -0400 Received: from mail-lf1-x12a.google.com ([2a00:1450:4864:20::12a]:46384) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1uvHng-0005RC-G2 for control@debbugs.gnu.org; Sun, 07 Sep 2025 11:59:33 -0400 Received: by mail-lf1-x12a.google.com with SMTP id 2adb3069b0e04-55f7039aa1eso4024036e87.1 for ; Sun, 07 Sep 2025 08:59:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1757260765; x=1757865565; darn=debbugs.gnu.org; h=message-id:in-reply-to:to:references:date:subject:mime-version :content-transfer-encoding:from:sender:from:to:cc:subject:date :message-id:reply-to; bh=jW8ad0Z/ZqEMhVZGC+Bu16L9bsHEIsizXse02ijLCQQ=; b=gZnT9MUK83PKmmhGineRn2J7frlHMyuJMPW/hx/NgHKj0BqmUAht9u12+EYWF65KYY E2XwXgGsB/2R+9Pxu/BMTa7g2dl0m87hkr8XivwnAyv3xoY8HXE31zk8qEepgTAD20Fg 8vLt9jyIf0ffnhYVyyePFyeNhMwRQfwLjS1DRVm8L6fbzd1gtnoc4pXsJ5I5d8aW2PSy Yf+SZ3zSWCITWwTIOnNXmEOpeBiVpyCk95BszdDcZUSdzo1SYAIb5rcqUn9yggOhlN6a 07elJHWzT7IVPCqHFTQCbqy++gpl3aw/NP9RMRsGE9Y0F1V5S47q/7lZt4IZMhuM+dNn 5rHg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1757260765; x=1757865565; h=message-id:in-reply-to:to:references:date:subject:mime-version :content-transfer-encoding:from:sender:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=jW8ad0Z/ZqEMhVZGC+Bu16L9bsHEIsizXse02ijLCQQ=; b=XKyMGx/NWr97rQtRDyk7866Xdt39VCVQKFJNaK67LKC4fHjdX8vI3EVeMxS12+OZjl FQ8tqd7+bqsXVRN/urL0qRKAj0khVElpd+JftyqctspfG1xRoroaTiStDty6/7cHk8Go 9clOh2Q/WtbvHbBc8cAKUDIANoqhqiv7YyOyDDyx2kCAiAJ+y+qbKn4Aap/tgRxYP94Y TVWYSC02F1xRTuaQHlvuVb+8o4FZhWOTRfo0FxEDRAA7TOyZ+Cb3VX7WhlrAE/iuRfJh sD+mpzqYyX584Zy6I2KAa0vYGD0u73UZnZd558wbryKJF79/LblsuOukX62flJsnZaxF 4tIw== X-Gm-Message-State: AOJu0YwefK8TbiZ3UA5fJk/gtQY5zmaVHjgbISAYW1s3NrJyPcPDH3Et DqvjSvwNQBD+PSD9YlPYmg3z7S1/JYgP2xxsSckdQ8F1auQi/o/tLC79Cdhinpwm X-Gm-Gg: ASbGncta5A9ow/FD68xpVUFA8xKYuEG2T+KsR22s3EvX+JhGw+KLqctoo8ZJr6xQjyk 69Hp3iqI/Y6bnmWRie1GpIrNtHXuS575ykj/Ncqf1j1cK7y+KFkmjCm05XmctfDt3QsH/Fh+Gnb usWM3iwFd22hcCwCeeMDVSN66H7RbxZkBPYpNn0PjtTBd2icvrVIPxGMASxTFGWcMw6KQqSdzaT UO0OTbZUn3G1Bn/5/072URxZ5Q6iSST9KuFf/xKF+O3CHHlHkywu15qEuCuavScHXr1yNZ1/vq4 qJ0ur7tHTJUbwoKefl12ZaE1UZlc+H8M/ZwiBrncJ9TdIoF+2dvYuOwxK8cBjMFDmgeVZmyEzpw NM0aHAZsKxzBr6JpIkKfPogKPvxC+BZqbM+H05+3mjeDoTTO8I67YlMgd5uNNGCqnR3uAnQ8c59 /EQbz0vvFLS5mE X-Google-Smtp-Source: AGHT+IF+ENzdXCv3uGL+akot92BhFoardscXD7rPQEZVT8UWWp0grDCDu+YT0+Ix4/oFGw9GmEh14g== X-Received: by 2002:a05:6512:3b9e:b0:55f:4d51:7ef4 with SMTP id 2adb3069b0e04-562603a2244mr1733250e87.24.1757260765166; Sun, 07 Sep 2025 08:59:25 -0700 (PDT) Received: from smtpclient.apple (c188-150-186-155.bredband.tele2.se. [188.150.186.155]) by smtp.gmail.com with ESMTPSA id 2adb3069b0e04-56369a99650sm627931e87.10.2025.09.07.08.59.24 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sun, 07 Sep 2025 08:59:24 -0700 (PDT) From: =?utf-8?Q?Mattias_Engdeg=C3=A5rd?= Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.15\)) Subject: Re: bug#79396: 30.1; cl-copy-list can error but is declared as error-free Date: Sun, 7 Sep 2025 17:59:23 +0200 References: <3a819b983b34e20d8fd08a71811d76af6fb1e811@kisaragi-hiu.com> <86jz2aemv2.fsf@gnu.org> To: control@debbugs.gnu.org In-Reply-To: Message-Id: <9B6F0033-DD08-41DE-883F-E24EDF2F3C9F@gmail.com> X-Mailer: Apple Mail (2.3654.120.0.1.15) X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: control 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 (-) close 79396 stop From unknown Sat Sep 13 19:06:18 2025 X-Loop: help-debbugs@gnu.org Subject: bug#79396: 30.1; cl-copy-list can error but is declared as error-free Resent-From: Richard Stallman Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 10 Sep 2025 02:58:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 79396 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Mattias =?UTF-8?Q?Engdeg=C3=83=C2=A5rd?= Cc: mail@kisaragi-hiu.com, eliz@gnu.org, monnier@iro.umontreal.ca, 79396@debbugs.gnu.org Reply-To: rms@gnu.org Received: via spool by 79396-submit@debbugs.gnu.org id=B79396.175747307528951 (code B ref 79396); Wed, 10 Sep 2025 02:58:01 +0000 Received: (at 79396) by debbugs.gnu.org; 10 Sep 2025 02:57:55 +0000 Received: from localhost ([127.0.0.1]:34918 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1uwB1v-0007Ws-CY for submit@debbugs.gnu.org; Tue, 09 Sep 2025 22:57:55 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56066) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1uwB1p-0007WT-Lt for 79396@debbugs.gnu.org; Tue, 09 Sep 2025 22:57:51 -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 1uwB1f-0000GI-0T; Tue, 09 Sep 2025 22:57:39 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=Date:References:Subject:In-Reply-To:To:From: mime-version; bh=4Z6/aY/U76hSxWc/LT0+EYdjYuoZ/7Xa6eZZDHX9Dv0=; b=afGZaQT+OJp/ PAJuIYdGaadAfFG4nYqIP9stB9q5Jaduuz1b61XntmtHliAZibNSqdTEGI431m/25ibzMvamWL3Yw 5bR39f1/auLztNnbJUQNAOkoxz9ycU5Z73PkbGttTloa6jJoTWUAydHqaU/HjBCM3LeLJMjAe6a8S RHZHY365JJTLWrp6GG4cDxOcFcSs/Pcb4kCpsI2E6mgXRSF4zcvRDuEZc+VQzVF04njQ8JLYu7jsg eGHmwcPRyWzK1oF7pvynRzY86qHzum+XUJbPsTxODlWaK4n8HsT7cqiDtdbLi5C/YChiyp4JltZ7b b7TX8W+FFr+HZgMwwAtsYw==; Received: from rms by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1uwB1X-0000PT-Qx; Tue, 09 Sep 2025 22:57:32 -0400 Content-Type: text/plain; charset=Utf-8 From: Richard Stallman In-Reply-To: (message from Mattias =?UTF-8?Q?Engdeg=C3=83=C2=A5rd?= on Sun, 7 Sep 2025 17:57:25 +0200) References: <3a819b983b34e20d8fd08a71811d76af6fb1e811@kisaragi-hiu.com> <86jz2aemv2.fsf@gnu.org> Message-Id: Date: Tue, 09 Sep 2025 22:57:31 -0400 X-Spam-Score: -2.3 (--) 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 (---) [[[ To any NSA and FBI agents reading my email: please consider ]]] [[[ whether defending the US Constitution against all enemies, ]]] [[[ foreign or domestic, requires you to follow Snowden's example. ]]] If the adequate doc for solution A is less than the adequate doc for solution B, that is a real advantage for choosing A. It is not a way of excusing an inadquate job -- rather, it means that way of doing it is easier to understand. -- Dr Richard Stallman (https://stallman.org) Chief GNUisance of the GNU Project (https://gnu.org) Founder, Free Software Foundation (https://fsf.org) Internet Hall-of-Famer (https://internethalloffame.org)