From unknown Tue Jun 17 22:28:55 2025 X-Loop: help-debbugs@gnu.org Subject: bug#72753: Different output between SBCL `loop` and Emacs `cl-loop` Resent-From: Okamsn Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 22 Aug 2024 01:57:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 72753 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 72753@debbugs.gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.172429176629495 (code B ref -1); Thu, 22 Aug 2024 01:57:01 +0000 Received: (at submit) by debbugs.gnu.org; 22 Aug 2024 01:56:06 +0000 Received: from localhost ([127.0.0.1]:36496 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sgx3W-0007ff-Jf for submit@debbugs.gnu.org; Wed, 21 Aug 2024 21:56:06 -0400 Received: from lists.gnu.org ([209.51.188.17]:41156) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sgx3V-0007fY-0K for submit@debbugs.gnu.org; Wed, 21 Aug 2024 21:56:05 -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 1sgx2l-0003UR-JI for bug-gnu-emacs@gnu.org; Wed, 21 Aug 2024 21:55:19 -0400 Received: from mail-4322.protonmail.ch ([185.70.43.22]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sgx2g-0000wP-SH for bug-gnu-emacs@gnu.org; Wed, 21 Aug 2024 21:55:19 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail3; t=1724291710; x=1724550910; bh=k9G2FeyFDlxndgcMMaM0QnnANHtm72sm+HjRXCE4TNM=; h=Date:To:From:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector; b=ZG+efmYbKf7F9qSdhuW82Y+Od/PRMgd13BQXOJdbdCL5844Hi/DdgS+JwawpR8Y6l dakHQ9PVzzvzwv/Nms1QvhULYoVchd93uz8RMZEqObzZvIA1QLD+oPyBbG986IIRMC TB2hhlV+FQysqgSGZPtHhx/VZMYus9sVxrm1ogvZVrZlIIY19H1V92JLe6Y/Qo+5tp b8d0AGNRDStyqVNPYM0dyXtkSV0l/RL8QxjuIJs1EszHvsTL4UtiZXtbW0TY5tqL5k Sv4I5NG627rXrsYtl1tuHzBxSCPkGHHxVm5B3UD4tI35aXyYSl/bpFxa+YrscWhjwc 5BvbCNbvG4pcA== Date: Thu, 22 Aug 2024 01:55:07 +0000 From: Okamsn Message-ID: <873b4331-a9c1-423a-a02b-acea0b92cbec@protonmail.com> Feedback-ID: 25935600:user:proton X-Pm-Message-ID: 090df1f11e7302cfca202be4ed7ec3a06b62ba5b MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=185.70.43.22; envelope-from=okamsn@protonmail.com; helo=mail-4322.protonmail.ch 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, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.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: -2.3 (--) Hello, The following in SBCL 2.1.11 produces 3, which I expected. (loop for i in '(1 2 3) for j from 1 finally (return j)) The following in Emacs 29 produces 4, which I did not expect. (cl-loop for i in '(1 2 3) for j from 1 finally (cl-return j)) This is a simplified example that only shows the difference. I don't know what the standard behavior is, but I personally believe=20 that the SBCL output makes more sense. Thank you. From unknown Tue Jun 17 22:28:55 2025 X-Loop: help-debbugs@gnu.org Subject: bug#72753: Different output between SBCL `loop` and Emacs `cl-loop` Resent-From: Stephen Berman Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 22 Aug 2024 07:59:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72753 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 72753@debbugs.gnu.org Cc: okamsn@protonmail.com X-Debbugs-Original-To: Okamsn via "Bug reports for GNU Emacs, the Swiss army knife of text editors" X-Debbugs-Original-Cc: Okamsn , 72753@debbugs.gnu.org Received: via spool by submit@debbugs.gnu.org id=B.17243134934848 (code B ref -1); Thu, 22 Aug 2024 07:59:01 +0000 Received: (at submit) by debbugs.gnu.org; 22 Aug 2024 07:58:13 +0000 Received: from localhost ([127.0.0.1]:36627 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sh2hx-0001G8-EE for submit@debbugs.gnu.org; Thu, 22 Aug 2024 03:58:13 -0400 Received: from lists.gnu.org ([209.51.188.17]:53812) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sh2hv-0001G2-CG for submit@debbugs.gnu.org; Thu, 22 Aug 2024 03:58: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 1sh2hB-0007KO-Ht for bug-gnu-emacs@gnu.org; Thu, 22 Aug 2024 03:57:25 -0400 Received: from mout.gmx.net ([212.227.15.15]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sh2h9-0000r2-Kh for bug-gnu-emacs@gnu.org; Thu, 22 Aug 2024 03:57:25 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmx.net; s=s31663417; t=1724313431; x=1724918231; i=stephen.berman@gmx.net; bh=TPRpbrH/DrPzIddlO5dpbF984cjQhcVpNsblBsoGm6k=; h=X-UI-Sender-Class:From:To:Cc:Subject:In-Reply-To:References:Date: Message-ID:MIME-Version:Content-Type:Content-Transfer-Encoding:cc: content-transfer-encoding:content-type:date:from:message-id: mime-version:reply-to:subject:to; b=RI/ZVaWnLZxbrV5vtrqkNaWcvLVniR5La9m2MvaDMycZE2DUscu5iqUL5w9GNaak cWYOuRm2VmkajT35IeR66n9O8EmIBUchsi6ALuXMZXsgdgaTaFzTfVCc51UhsFmjn g9jt7VX+vZZJy2XLnqMiKbe3IhlAEJbVqq9Yj6KiO5JGXjqCcxKi1zEivSrednj4j y7c+1srIQ5jojFWgixgkVEtTetAA4HuFo1abwitb97d8YJAaZu2+oFWYeoWpJBt09 fJMjWCRWmoDAyEUxZQnrDauvDdk/AcEHXVMcHHWu/zbMqNocyoRSTpnKYgBUMM3Qz G+I6x0CFqHZdkNjooA== X-UI-Sender-Class: 724b4f7f-cbec-4199-ad4e-598c01a50d3a Received: from strobelfs ([88.130.49.41]) by mail.gmx.net (mrgmx004 [212.227.17.190]) with ESMTPSA (Nemesis) id 1MD9X9-1sq57G2VVp-009twU; Thu, 22 Aug 2024 09:57:11 +0200 From: Stephen Berman In-Reply-To: <873b4331-a9c1-423a-a02b-acea0b92cbec@protonmail.com> (Okamsn via's message of "Thu, 22 Aug 2024 01:55:07 +0000") References: <873b4331-a9c1-423a-a02b-acea0b92cbec@protonmail.com> Date: Thu, 22 Aug 2024 09:57:08 +0200 Message-ID: <877cc9xa5n.fsf@gmx.net> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V03:K1:UkMLiRdZ0oTarB0nyj1Xp2UHvm0QEuOcD0CEQJflUSiudIjcHRX bIea1TO5AZhHLjHEgiMkp5ftlDYsKUAINGRblw21ArGCP48KFjIZtT4UE80lef7CwIrc6am atp3NXCx2DEX5hTrwSiRGy/O7h198NkqdYeEDnbLXV4iKRMlcSG3dshoVpOOy9iNlPC/eaq Z49XxDv1GtuDV55lqla4g== X-Spam-Flag: NO UI-OutboundReport: notjunk:1;M01:P0:lpQb1Uv2RVY=;jlQ7O8ZjFIFT7JS/NxetgdvNapp 0XsW4L9C+UwoqAHcU97ZUpsyIj4c19xe7z1JixLGSgaRnTtq3EHghNm5Dcnp+AjJC5u9eXo8o s+eVRJSUxTEEzI6RHymr5zk71uzxpPCEtdT7n6ZqVBuIwI0bIxK+cikquiFsDthT+j0YvU527 eyIKHk6ZOWEcm9+3MPFlP0SZaujtN0h7SOjiU99cNYcj20dX7ti5wz3PhT3N/1PxWHrxWEHuf JtJby84Uozkk3OqPkHrE1lDCctbi5hETxoV6mdKge6XYtUM1xHWWUEI9xQovln6E3OJx3iN7y RZwvBHMvrPZ2I3ajlF4barswM9aWQV2moYIi9dvGKZipiJqFD0g6t5h0kPIIYPAR3wiWohKEN olLO5eGoWtHrBAiBU1gYDkBd/S6p+lP4LiL4qlEyITfWvl+cVd3rYh6hoKupew2rgfIr5mevB 0/J+pAT+32sp5XQXsAiH5AqTK5hrmfraJSEC8FgMdxIPtVherv8mkTm9ECaXLH9Jv7O2oukDb TZkyye3LP2e0wI7DPHUcsxECzvlBnbIIBYddO83N0BIJVAQ0or6w1/HxAWytHmtovChtCCMyM rJKCu7FyxWBml4pPZ3IP1saMfU4D8EnQ9iZl2VAjen3+s8/ZaH7U3u9kJ+nUfec1YzjnYicCh oNbS8/kus9Rhp6L1ovUXnmUvrOSSWY+rUuKybuDt8o1/ksuq2oDvBimkqgvS1fFHy8xhW9a3/ SrXymUmdxni7Vw5hZhxAMg1wZ1pAAcPLrMYXdpsqFQdqgQ9kjeQ46PAQg1WRfQbeMXY7ZL65c eDb+5V7s/JvWrj/cCPwA0bvw== Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=212.227.15.15; envelope-from=stephen.berman@gmx.net; helo=mout.gmx.net 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.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: -2.3 (--) On Thu, 22 Aug 2024 01:55:07 +0000 Okamsn via "Bug reports for GNU Emacs, = the Swiss army knife of text editors" wrote: > Hello, > > The following in SBCL 2.1.11 produces 3, which I expected. > > (loop for i in '(1 2 3) > for j from 1 > finally (return j)) I get the same result with SBCL 2.4.5. > The following in Emacs 29 produces 4, which I did not expect. > > (cl-loop for i in '(1 2 3) > for j from 1 > finally (cl-return j)) I also get 4 with Emacs built from master. > This is a simplified example that only shows the difference. > > I don't know what the standard behavior is, but I personally believe > that the SBCL output makes more sense. FWIW, GNU CLISP 2.49.93+ (built from the git repo) returns 4, not 3, for the above Common Lisp loop sexp. Steve Berman From unknown Tue Jun 17 22:28:55 2025 X-Loop: help-debbugs@gnu.org Subject: bug#72753: Different output between SBCL `loop` and Emacs `cl-loop` Resent-From: Robert Pluim Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 23 Aug 2024 11:23:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72753 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 72753@debbugs.gnu.org Cc: okamsn@protonmail.com, stephen.berman@gmx.net X-Debbugs-Original-To: X-Debbugs-Original-Cc: okamsn@protonmail.com, Stephen Berman , 72753@debbugs.gnu.org Received: via spool by submit@debbugs.gnu.org id=B.172441212818217 (code B ref -1); Fri, 23 Aug 2024 11:23:02 +0000 Received: (at submit) by debbugs.gnu.org; 23 Aug 2024 11:22:08 +0000 Received: from localhost ([127.0.0.1]:39074 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1shSMp-0004jj-Ad for submit@debbugs.gnu.org; Fri, 23 Aug 2024 07:22:08 -0400 Received: from lists.gnu.org ([209.51.188.17]:45844) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1shSMl-0004ja-S7 for submit@debbugs.gnu.org; Fri, 23 Aug 2024 07:22:05 -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 1shSM0-0002Kf-Ba for bug-gnu-emacs@gnu.org; Fri, 23 Aug 2024 07:21:16 -0400 Received: from mail-wr1-x431.google.com ([2a00:1450:4864:20::431]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1shSLy-0006de-LA for bug-gnu-emacs@gnu.org; Fri, 23 Aug 2024 07:21:16 -0400 Received: by mail-wr1-x431.google.com with SMTP id ffacd0b85a97d-371b97cfd6fso1093549f8f.2 for ; Fri, 23 Aug 2024 04:21:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1724412069; x=1725016869; darn=gnu.org; h=mime-version:message-id:date:references:in-reply-to:subject:cc:to :from:from:to:cc:subject:date:message-id:reply-to; bh=V1h01INiwCWR8ql45Y8ONxw9Xl9DmkDrvXq4aDhqVSM=; b=cskTOndIhtHKaOYenCX+MatMpI3/MOGAgPn+BApUGNyGLjWv/0I6CzBwj7a0vjxhpF NecRuqork+9Nn1o3BrAj7oo9cXXgoXD+4dgBrMjc1x072P7Aha9R8AOGCzWlQ7aw3EIi BZDSALG00ZXD/tPz3O6miTiyHgHXWytkrxQ88UkMnvHXkFkRYt1FCHei23ZZ41hnCWiK 4y94S+lxJj8W9lSQVzHkYJGm250ZX3qwQXztzQdrvDq+33WGFqwZz86jzFwCah1vrvuw icxPtlwSJsVR2B/s0n7UJFJuSxnwKFw6xIpIK1IvBp+rVhJ92XEsvt27iR0dtBC6kcmZ Q1uQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1724412069; x=1725016869; h=mime-version:message-id:date:references:in-reply-to:subject:cc:to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=V1h01INiwCWR8ql45Y8ONxw9Xl9DmkDrvXq4aDhqVSM=; b=MQo8AKMaApesUgR4vUer2g7VPMAIwqJE6BSB5EAH4ZK/NhgD6tJKOWGYQIMIaBrlSa TZg+Lgp/YeMe34vh5Oz0i6E4/FzDgroEg1N+EoYRS/IhShCY/xkwjKUUE9SegxSiPbHH IG9GJg4dFLupOIekdICWi+KL5CS/0WSxS7laOZtWGAE1eW+1UhZDn8SN/zsHXT9D/rp8 urNSnZ92ripFt7it5t6Wjz8psjavn9KsCxLPK1t5L2F6u7qY4QmzC7xnPaufhziCJ3wW p70AzgkIPiVkTrmbPDx8RTLDhLKHeuXN84sJyrGXm4wdmGjcjx2XnxKoqhOsAvpN2D9z LUrw== X-Gm-Message-State: AOJu0YwzCkr2gZgSIuevrIU5jYIZR6tXQTvgfkn6hcOvB0+9VNr04IXl VaufqQSK/HWP25Q5B+J5ASCzdGs48FoWDSGHvU25jEtJeVQf6xwl X-Google-Smtp-Source: AGHT+IEn+TuDKaslmrnSESiNmhokdVhW8rusjUhTkZ1PrPq6Hy8tT4cjgPBjBWtYQH9rKPHyAXflYA== X-Received: by 2002:a05:6000:18a4:b0:368:319c:9a77 with SMTP id ffacd0b85a97d-373118773aamr1342136f8f.29.1724412069144; Fri, 23 Aug 2024 04:21:09 -0700 (PDT) Received: from rltb ([2a01:e0a:3f3:fb51:89e0:b015:65da:a37f]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-3730815b7eesm3903586f8f.54.2024.08.23.04.21.08 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 23 Aug 2024 04:21:08 -0700 (PDT) From: Robert Pluim In-Reply-To: <877cc9xa5n.fsf@gmx.net> (Stephen Berman via's message of "Thu, 22 Aug 2024 09:57:08 +0200") References: <873b4331-a9c1-423a-a02b-acea0b92cbec@protonmail.com> <877cc9xa5n.fsf@gmx.net> Date: Fri, 23 Aug 2024 13:21:07 +0200 Message-ID: <87le0nscws.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=2a00:1450:4864:20::431; envelope-from=rpluim@gmail.com; helo=mail-wr1-x431.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, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.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: -2.3 (--) >>>>> On Thu, 22 Aug 2024 09:57:08 +0200, Stephen Berman via "Bug reports for GNU Emacs, the Swiss army knife of text editors" said: >> >> I don't know what the standard behavior is, but I personally believe >> that the SBCL output makes more sense. Stephen> FWIW, GNU CLISP 2.49.93+ (built from the git repo) returns 4, not 3, for Stephen> the above Common Lisp loop sexp. The CLHS section 6.1.7.2 says "The finally construct causes the supplied compound-forms to be evaluated in the loop epilogue *after* normal iteration terminates." (emphasis mine). To me that means all bets are off regarding the values of variables created in the context of the loop iteration. But we should ask a Common Lisp expert to be sure. Robert --