From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Robert Pluim Newsgroups: gmane.emacs.bugs Subject: bug#72753: Different output between SBCL `loop` and Emacs `cl-loop` Date: Fri, 23 Aug 2024 13:21:07 +0200 Message-ID: <87le0nscws.fsf@gmail.com> References: <873b4331-a9c1-423a-a02b-acea0b92cbec@protonmail.com> <877cc9xa5n.fsf@gmx.net> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="7393"; mail-complaints-to="usenet@ciao.gmane.io" Cc: okamsn@protonmail.com, stephen.berman@gmx.net To: 72753@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Fri Aug 23 13:22:41 2024 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1shSNM-0001nB-0T for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 23 Aug 2024 13:22:40 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1shSN0-0002Pu-S1; Fri, 23 Aug 2024 07:22:19 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1shSMy-0002Ph-QB for bug-gnu-emacs@gnu.org; Fri, 23 Aug 2024 07:22:17 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1shSMy-0006i0-Gi for bug-gnu-emacs@gnu.org; Fri, 23 Aug 2024 07:22:16 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:Date:References:In-Reply-To:From:To:Subject; bh=V1h01INiwCWR8ql45Y8ONxw9Xl9DmkDrvXq4aDhqVSM=; b=fA6bI59CntNrYLu/PSXwzcrZblqBjdjDSQFVnC0ajtPlXIWO99Abak7n/JeB++SAQOP/2zxbTEwwZKMtuoh5eUqF5upOz1Kw7BQobsVrGv9aSsdsJz/H/qlOJpdlZ+5mOgQs9AvyZ6xOdGWEV0QVZsxZMUu+h6i4dJyMXAUAEv2659muH/EI9r/ScYO8kCcdp0F5yxGzV9CNntmg76+ug90FiAz4ikC5lDhpEIHXLw+BJmPxOCG4maem3WLYPol1dsGiWfouGMlRDiJVr0RsZHGNrSnn54Yn9XmhyanW/7XAlnqUIWCNcl74yuUdnt6/MPXKPrAAY2oi6wi4eZuh9w==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1shSNi-0004l9-DC for bug-gnu-emacs@gnu.org; Fri, 23 Aug 2024 07:23:02 -0400 X-Loop: help-debbugs@gnu.org 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-Debbugs-Original-To: X-Debbugs-Original-Cc: okamsn@protonmail.com, Stephen Berman , 72753@debbugs.gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.172441212818217 (code B ref -1); Fri, 23 Aug 2024 11:23:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 23 Aug 2024 11:22:08 +0000 Original-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 Original-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 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1shSM0-0002Kf-Ba for bug-gnu-emacs@gnu.org; Fri, 23 Aug 2024 07:21:16 -0400 Original-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 Original-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) Original-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) In-Reply-To: <877cc9xa5n.fsf@gmx.net> (Stephen Berman via's message of "Thu, 22 Aug 2024 09:57:08 +0200") 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:290590 Archived-At: >>>>> 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 --