From unknown Sat Jun 21 03:19:44 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#11988 <11988@debbugs.gnu.org> To: bug#11988 <11988@debbugs.gnu.org> Subject: Status: eval-case redefinition? Reply-To: bug#11988 <11988@debbugs.gnu.org> Date: Sat, 21 Jun 2025 10:19:44 +0000 retitle 11988 eval-case redefinition? reassign 11988 guile submitter 11988 Daniel Llorens severity 11988 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Thu Jul 19 09:29:18 2012 Received: (at submit) by debbugs.gnu.org; 19 Jul 2012 13:29:18 +0000 Received: from localhost ([127.0.0.1]:49783 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1Srqn8-0004Gm-FM for submit@debbugs.gnu.org; Thu, 19 Jul 2012 09:29:18 -0400 Received: from eggs.gnu.org ([208.118.235.92]:51985) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1Srqn5-0004Ge-2t for submit@debbugs.gnu.org; Thu, 19 Jul 2012 09:29:15 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Srqh0-0001tS-0z for submit@debbugs.gnu.org; Thu, 19 Jul 2012 09:23:03 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-6.9 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_HI autolearn=unavailable version=3.3.2 Received: from lists.gnu.org ([208.118.235.17]:45096) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Srqgz-0001tN-UV for submit@debbugs.gnu.org; Thu, 19 Jul 2012 09:22:57 -0400 Received: from eggs.gnu.org ([208.118.235.92]:49155) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Srqgy-0008T7-RT for bug-guile@gnu.org; Thu, 19 Jul 2012 09:22:57 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Srqgq-0001fQ-Ui for bug-guile@gnu.org; Thu, 19 Jul 2012 09:22:56 -0400 Received: from zhbdzmsp-smta17.bluewin.ch ([195.186.99.133]:50599) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Srqgq-0001Ww-O3 for bug-guile@gnu.org; Thu, 19 Jul 2012 09:22:48 -0400 Received: from [195.186.227.130] ([195.186.227.130:61085] helo=zhhdzmsp-smta12.bluewin.ch) by zhbdzmsp-smta17.bluewin.ch (envelope-from ) (ecelerity 2.2.3.46 r()) with ESMTP id BB/AE-24724-52A08005; Thu, 19 Jul 2012 13:22:45 +0000 Received: from [10.23.3.35] (128.179.67.121) by zhhdzmsp-smta12.bluewin.ch (8.5.142) (authenticated as dll@bluewin.ch) id 4F509CE90D342DB8 for bug-guile@gnu.org; Thu, 19 Jul 2012 13:22:45 +0000 From: Daniel Llorens Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: eval-case redefinition? Date: Thu, 19 Jul 2012 15:22:44 +0200 Message-Id: To: bug-guile@gnu.org Mime-Version: 1.0 (Apple Message framework v1084) X-Mailer: Apple Mail (2.1084) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-Received-From: 208.118.235.17 X-Spam-Score: -6.9 (------) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -6.9 (------) This looks like a bug (v2.0.6). I was cleaning up an old script which goes like this: (define (eval-case ...) ... val) (define var (eval-case ...)) This worked from the REPL, but when loading the file with (load = "script"), var was always #. It turns out that (my) = eval-case is never executed in this case. So I look around to find that eval-case is something that has been = replaced by eval-when and is now deprecated. But no matter what eval-case is, it is bad that the redefinition is = being ignored silently. Regards, Daniel From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 06 17:24:45 2012 Received: (at 11988) by debbugs.gnu.org; 6 Oct 2012 21:24:45 +0000 Received: from localhost ([127.0.0.1]:58659 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1TKbrY-0007kN-RR for submit@debbugs.gnu.org; Sat, 06 Oct 2012 17:24:45 -0400 Received: from xanadu.aquilenet.fr ([88.191.123.111]:43687) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1TKbrV-0007kF-Ve for 11988@debbugs.gnu.org; Sat, 06 Oct 2012 17:24:42 -0400 Received: from localhost (localhost [127.0.0.1]) by xanadu.aquilenet.fr (Postfix) with ESMTP id 564B32873; Sat, 6 Oct 2012 23:24:20 +0200 (CEST) Received: from xanadu.aquilenet.fr ([127.0.0.1]) by localhost (xanadu.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id HFnm9tPl5bzt; Sat, 6 Oct 2012 23:24:20 +0200 (CEST) Received: from pluto (reverse-83.fdn.fr [80.67.176.83]) by xanadu.aquilenet.fr (Postfix) with ESMTPSA id C9C051361; Sat, 6 Oct 2012 23:24:19 +0200 (CEST) From: ludo@gnu.org (Ludovic =?iso-8859-1?Q?Court=E8s?=) To: Daniel Llorens Subject: Re: bug#11988: eval-case redefinition? References: Date: Sat, 06 Oct 2012 23:24:19 +0200 In-Reply-To: (Daniel Llorens's message of "Thu, 19 Jul 2012 15:22:44 +0200") Message-ID: <87r4pb5m64.fsf@gnu.org> User-Agent: Gnus/5.130005 (Ma Gnus v0.5) Emacs/24.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 1.5 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Hi, Sorry for the delay. Daniel Llorens skribis: [...] Content analysis details: (1.5 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.7 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 0.8 BAYES_50 BODY: Bayes spam probability is 40 to 60% [score: 0.5000] X-Debbugs-Envelope-To: 11988 Cc: 11988@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: 1.5 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: Hi, Sorry for the delay. Daniel Llorens skribis: [...] Content analysis details: (1.5 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.7 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 0.8 BAYES_50 BODY: Bayes spam probability is 40 to 60% [score: 0.5000] Hi, Sorry for the delay. Daniel Llorens skribis: > I was cleaning up an old script which goes like this: > > (define (eval-case ...) ... val) > > (define var (eval-case ...)) > > This worked from the REPL, but when loading the file with (load > "script"), var was always #. It turns out that (my) > eval-case is never executed in this case. It turns out that =E2=80=98eval-case=E2=80=99 is a macro, and it gets macro= -expanded in the RHS of =E2=80=98define var=E2=80=99 above. This is the same situation as: --8<---------------cut here---------------start------------->8--- (define-syntax-rule (foo x) (- x)) (define (foo x) x) (pk 'foo (foo 42)) ; prints -42 --8<---------------cut here---------------end--------------->8--- =E2=80=9CExpansion process=E2=80=9D in R6RS seems to suggest that this is a= bug: For the right-hand side of the definition of a variable, ex- pansion is deferred until after all of the definitions have been seen. Consequently, each keyword and variable refer- ence within the right-hand side resolves to the local bind- ing, if any. Hmmm... Thoughts? Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Tue Mar 05 13:54:01 2013 Received: (at 11988) by debbugs.gnu.org; 5 Mar 2013 18:54:02 +0000 Received: from localhost ([127.0.0.1]:32808 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1UCwzp-0000Uw-Sa for submit@debbugs.gnu.org; Tue, 05 Mar 2013 13:54:01 -0500 Received: from a-pb-sasl-quonix.pobox.com ([208.72.237.25]:37794 helo=sasl.smtp.pobox.com) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1UCwzm-0000Un-5I for 11988@debbugs.gnu.org; Tue, 05 Mar 2013 13:53:51 -0500 Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTP id 1691ABF78; Tue, 5 Mar 2013 13:53:28 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=9Y6uy/PYz6BO4HZZN+ibsCZvA1c=; b=A3nTdq qxfwp12p8jAiOmyIey7SU9LORkTl+cSCflHxm1xfVlbGfdK7FFu/c5Ck/iTNfuYG afv8UU+dQb9/gc5rxhjMJ+CYmPwocTwDOHcnPcnYDKJ6FwmA93KRN5gZIGVyKfTU HK0dnr9r/ZzbvM887THzN8dYP6KPUmfHF7mQc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=ahazqs9s/rb1WlYkljK3HNuRuscPytK+ gG9ulD69uIibunWKpuGuXvG1BX9Vgzn72wBcOmQt2Z+AUs7YcrB3UhJWavYL02rH Q3J8pbeuzhw5TJX7rDPOoSz6n5G2T3RV38LaW7+KRQlxnDpSaHjreuV7Ho2x3Vqr 2G67KApmf00= Received: from a-pb-sasl-quonix.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTP id 0E80FBF77; Tue, 5 Mar 2013 13:53:28 -0500 (EST) Received: from badger (unknown [217.91.84.86]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTPSA id 854A3BF76; Tue, 5 Mar 2013 13:53:27 -0500 (EST) From: Andy Wingo To: Daniel Llorens Subject: Re: bug#11988: eval-case redefinition? References: Date: Tue, 05 Mar 2013 17:15:18 +0100 In-Reply-To: (Daniel Llorens's message of "Thu, 19 Jul 2012 15:22:44 +0200") Message-ID: <87k3plyga1.fsf@pobox.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Pobox-Relay-ID: F7318E8C-85C5-11E2-AFA5-59240E5B5709-02397024!a-pb-sasl-quonix.pobox.com X-Spam-Score: -0.6 (/) X-Debbugs-Envelope-To: 11988 Cc: 11988@debbugs.gnu.org, ludo@gnu.org, Ian Price X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: debbugs-submit-bounces@debbugs.gnu.org Errors-To: debbugs-submit-bounces@debbugs.gnu.org X-Spam-Score: -2.5 (--) On Thu 19 Jul 2012 15:22, Daniel Llorens writes: > I was cleaning up an old script which goes like this: > > (define (eval-case ...) > ... > val) > > (define var (eval-case ...)) > > This worked from the REPL, but when loading the file with (load > "script"), var was always #. It turns out that (my) > eval-case is never executed in this case. I wonder if this is related to bug 13865. I tried a script with these contents: (define (eval-case val) val) (define var (eval-case 2)) And I can reproduce the bug with stable-2.0. `master' seems to have the right behavior however. If I had to guess I would think that this was fixed by the following commit on `master': commit 19ef14f9b8b73c04acbbfa6bd993908171bc69f7 Author: Andy Wingo Date: Fri Nov 4 19:37:04 2011 +0100 defined identifiers scoped in the current module * ice-9/psyntax.scm (chi-top-sequence): Wrap defined identifiers with the current module. Fixes http://savannah.gnu.org/bugs/?31472. Or one of the commits around it that has to do with toplevel bindings. Tough to tell, as that code is significantly different in master as compared to stable-2.0. Andy -- http://wingolog.org/ From debbugs-submit-bounces@debbugs.gnu.org Tue Jan 21 00:29:32 2014 Received: (at 11988-done) by debbugs.gnu.org; 21 Jan 2014 05:29:32 +0000 Received: from localhost ([127.0.0.1]:58937 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W5Tu0-0006Qy-1i for submit@debbugs.gnu.org; Tue, 21 Jan 2014 00:29:32 -0500 Received: from world.peace.net ([96.39.62.75]:54755) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W5Ttx-0006Qn-BJ for 11988-done@debbugs.gnu.org; Tue, 21 Jan 2014 00:29:30 -0500 Received: from 209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com ([209.6.91.212] helo=yeeloong) by world.peace.net with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1W5Ttp-00064o-Ul; Tue, 21 Jan 2014 00:29:22 -0500 From: Mark H Weaver To: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: bug#11988: eval-case redefinition? References: <87r4pb5m64.fsf@gnu.org> Date: Tue, 21 Jan 2014 00:26:54 -0500 In-Reply-To: <87r4pb5m64.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Sat, 06 Oct 2012 23:24:19 +0200") Message-ID: <87vbxdoqg1.fsf@netris.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 11988-done Cc: 11988-done@debbugs.gnu.org, Daniel Llorens X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 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.0 (/) ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Daniel Llorens skribis: > >> I was cleaning up an old script which goes like this: >> >> (define (eval-case ...) ... val) >> >> (define var (eval-case ...)) >> >> This worked from the REPL, but when loading the file with (load >> "script"), var was always #. It turns out that (my) >> eval-case is never executed in this case. > > It turns out that =E2=80=98eval-case=E2=80=99 is a macro, and it gets mac= ro-expanded in > the RHS of =E2=80=98define var=E2=80=99 above. This bug is now fixed on the stable-2.0 branch. http://git.savannah.gnu.org/gitweb/?p=3Dguile.git;a=3Dcommitdiff;h=3D8de3= 55d08e25a877326489c4b0eb09d313c548dc I'm closing the bug now. Feel free to reopen if you think there's still a problem. Thanks! Mark From unknown Sat Jun 21 03:19:44 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 18 Feb 2014 12:24:05 +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