Received: (at 72753) by debbugs.gnu.org; 23 Aug 2024 11:23:04 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Aug 23 07:23:04 2024
Received: from localhost ([127.0.0.1]:39078 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1shSNk-0004lY-5J
for submit <at> debbugs.gnu.org; Fri, 23 Aug 2024 07:23:04 -0400
Received: from mail-wm1-f54.google.com ([209.85.128.54]:57852)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <rpluim@HIDDEN>) id 1shSNi-0004kv-Eo
for 72753 <at> debbugs.gnu.org; Fri, 23 Aug 2024 07:23:03 -0400
Received: by mail-wm1-f54.google.com with SMTP id
5b1f17b1804b1-428e0d18666so13566175e9.3
for <72753 <at> debbugs.gnu.org>; Fri, 23 Aug 2024 04:22:15 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1724412069; x=1725016869; darn=debbugs.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=msg/avaOnNjsYe3+yd/CXF3hkOYUNseDP8zuCwlnZGUw/CD9+eXLJ5Y+qUGbuG7S2u
tMDW1/4mLenxLLm2W/oawFlWSx/Cj2DmhJyjQaUBVsUfcPsbSX2nt9lJq8EK0ZEl7ZzN
8KtAJauVatOHwrxrCd9pNmR4B1rDvaiYpx8nvhDxPcy7OizTH603fyDNWzfMNTsAZe7i
lLuDc1QUAp8V8X/T75VP3ZW5tyPp2ygWLcnmaKTWizv2+iYMkNkf/ja4UwxRN0tM5Mc/
UpVO5/hZbbGVwqUiQ9/TEEsQQKhIOXbudM1/GNNXIKwKRZWFAm5L5lwodYjT4o10xfQC
GnPQ==
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=OZyJ7zL94mqhQDH8T8itlOikjyv1XkJ140+POD+hWtRboq9RWeciiTHh9hfsYcBPo7
kbiM/GF0xOEMHFxdl1u3VwHRDw3SrI/ShrmfdXGWzDB3NNt+bIXGWA4WFRtJoVtpW9LH
dac7WpIYDqfJbmfIP+whUpKrmUMPm5lHoDg8dKKIYfl/sWqABdch39HU0DrR98oAsnUt
WLdgqPPBLsrl3fFkRA8g5M4p6GZKQ4VX+xdEk+SVaFE4o9rupcFDyswRbCA87PpzDIPw
uCCB9d812rvszTK7WFf5sdaVBQ4rctAAKtcH5myQb53z+sr4KyXhjELhdtBE0NPj0uts
BmgA==
X-Gm-Message-State: AOJu0Yzn3lsydJhKcjY++WPgBATqjsW8RS3j+GW9+f3fugtm2g0ICYfQ
9J/GY+ZM+sTsJ/AR3IqCbdu/64pEyQTBvkWg/QKIbJ0GiDvvE3hQ
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 <rpluim@HIDDEN>
To: <bug-gnu-emacs@HIDDEN>
Subject: Re: bug#72753: Different output between SBCL `loop` and Emacs
`cl-loop`
In-Reply-To: <877cc9xa5n.fsf@HIDDEN> (Stephen Berman via's message of "Thu,
22 Aug 2024 09:57:08 +0200")
References: <873b4331-a9c1-423a-a02b-acea0b92cbec@HIDDEN>
<877cc9xa5n.fsf@HIDDEN>
Date: Fri, 23 Aug 2024 13:21:07 +0200
Message-ID: <87le0nscws.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 72753
Cc: okamsn@HIDDEN, Stephen Berman <stephen.berman@HIDDEN>,
72753 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
>>>>> On Thu, 22 Aug 2024 09:57:08 +0200, Stephen Berman via "Bug reports for GNU Emacs, the Swiss army knife of text editors" <bug-gnu-emacs@HIDDEN> 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
--
bug-gnu-emacs@HIDDEN:bug#72753; Package emacs.
Full text available.
Received: (at submit) by debbugs.gnu.org; 23 Aug 2024 11:22:08 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Aug 23 07:22:08 2024
Received: from localhost ([127.0.0.1]:39074 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1shSMp-0004jj-Ad
for submit <at> 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 <rpluim@HIDDEN>) id 1shSMl-0004ja-S7
for submit <at> 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 <rpluim@HIDDEN>) id 1shSM0-0002Kf-Ba
for bug-gnu-emacs@HIDDEN; 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 <rpluim@HIDDEN>) id 1shSLy-0006de-LA
for bug-gnu-emacs@HIDDEN; Fri, 23 Aug 2024 07:21:16 -0400
Received: by mail-wr1-x431.google.com with SMTP id
ffacd0b85a97d-371b97cfd6fso1093549f8f.2
for <bug-gnu-emacs@HIDDEN>; 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 <rpluim@HIDDEN>
To: <bug-gnu-emacs@HIDDEN>
Subject: Re: bug#72753: Different output between SBCL `loop` and Emacs
`cl-loop`
In-Reply-To: <877cc9xa5n.fsf@HIDDEN> (Stephen Berman via's message of "Thu,
22 Aug 2024 09:57:08 +0200")
References: <873b4331-a9c1-423a-a02b-acea0b92cbec@HIDDEN>
<877cc9xa5n.fsf@HIDDEN>
Date: Fri, 23 Aug 2024 13:21:07 +0200
Message-ID: <87le0nscws.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
Received-SPF: pass client-ip=2a00:1450:4864:20::431;
envelope-from=rpluim@HIDDEN; 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-Debbugs-Envelope-To: submit
Cc: okamsn@HIDDEN, Stephen Berman <stephen.berman@HIDDEN>,
72753 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
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" <bug-gnu-emacs@HIDDEN> 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
--
bug-gnu-emacs@HIDDEN:bug#72753; Package emacs.
Full text available.Received: (at 72753) by debbugs.gnu.org; 22 Aug 2024 07:58:08 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Aug 22 03:58:08 2024 Received: from localhost ([127.0.0.1]:36624 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1sh2hs-0001Fp-5A for submit <at> debbugs.gnu.org; Thu, 22 Aug 2024 03:58:08 -0400 Received: from mout.gmx.net ([212.227.15.15]:40231) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <stephen.berman@HIDDEN>) id 1sh2ho-0001FJ-On for 72753 <at> debbugs.gnu.org; Thu, 22 Aug 2024 03:58:06 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmx.net; s=s31663417; t=1724313431; x=1724918231; i=stephen.berman@HIDDEN; 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 <stephen.berman@HIDDEN> To: Okamsn via "Bug reports for GNU Emacs, the Swiss army knife of text editors" <bug-gnu-emacs@HIDDEN> Subject: Re: bug#72753: Different output between SBCL `loop` and Emacs `cl-loop` In-Reply-To: <873b4331-a9c1-423a-a02b-acea0b92cbec@HIDDEN> (Okamsn via's message of "Thu, 22 Aug 2024 01:55:07 +0000") References: <873b4331-a9c1-423a-a02b-acea0b92cbec@HIDDEN> Date: Thu, 22 Aug 2024 09:57:08 +0200 Message-ID: <877cc9xa5n.fsf@HIDDEN> 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 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 72753 Cc: Okamsn <okamsn@HIDDEN>, 72753 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.7 (-) On Thu, 22 Aug 2024 01:55:07 +0000 Okamsn via "Bug reports for GNU Emacs, = the Swiss army knife of text editors" <bug-gnu-emacs@HIDDEN> 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
bug-gnu-emacs@HIDDEN:bug#72753; Package emacs.
Full text available.Received: (at submit) by debbugs.gnu.org; 22 Aug 2024 07:58:13 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu Aug 22 03:58:13 2024 Received: from localhost ([127.0.0.1]:36627 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1sh2hx-0001G8-EE for submit <at> 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 <stephen.berman@HIDDEN>) id 1sh2hv-0001G2-CG for submit <at> 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 <stephen.berman@HIDDEN>) id 1sh2hB-0007KO-Ht for bug-gnu-emacs@HIDDEN; 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 <stephen.berman@HIDDEN>) id 1sh2h9-0000r2-Kh for bug-gnu-emacs@HIDDEN; 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@HIDDEN; 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 <stephen.berman@HIDDEN> To: Okamsn via "Bug reports for GNU Emacs, the Swiss army knife of text editors" <bug-gnu-emacs@HIDDEN> Subject: Re: bug#72753: Different output between SBCL `loop` and Emacs `cl-loop` In-Reply-To: <873b4331-a9c1-423a-a02b-acea0b92cbec@HIDDEN> (Okamsn via's message of "Thu, 22 Aug 2024 01:55:07 +0000") References: <873b4331-a9c1-423a-a02b-acea0b92cbec@HIDDEN> Date: Thu, 22 Aug 2024 09:57:08 +0200 Message-ID: <877cc9xa5n.fsf@HIDDEN> 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@HIDDEN; 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-Debbugs-Envelope-To: submit Cc: Okamsn <okamsn@HIDDEN>, 72753 <at> debbugs.gnu.org X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> 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" <bug-gnu-emacs@HIDDEN> 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
bug-gnu-emacs@HIDDEN:bug#72753; Package emacs.
Full text available.
Received: (at submit) by debbugs.gnu.org; 22 Aug 2024 01:56:06 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Aug 21 21:56:06 2024
Received: from localhost ([127.0.0.1]:36496 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1sgx3W-0007ff-Jf
for submit <at> 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 <okamsn@HIDDEN>) id 1sgx3V-0007fY-0K
for submit <at> 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 <okamsn@HIDDEN>)
id 1sgx2l-0003UR-JI
for bug-gnu-emacs@HIDDEN; 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 <okamsn@HIDDEN>)
id 1sgx2g-0000wP-SH
for bug-gnu-emacs@HIDDEN; 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
To: bug-gnu-emacs@HIDDEN
From: Okamsn <okamsn@HIDDEN>
Subject: Different output between SBCL `loop` and Emacs `cl-loop`
Message-ID: <873b4331-a9c1-423a-a02b-acea0b92cbec@HIDDEN>
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@HIDDEN;
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-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
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.
Okamsn <okamsn@HIDDEN>:bug-gnu-emacs@HIDDEN.
Full text available.bug-gnu-emacs@HIDDEN:bug#72753; Package emacs.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.