From unknown Fri Sep 05 07:33:14 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#18583 <18583@debbugs.gnu.org> To: bug#18583 <18583@debbugs.gnu.org> Subject: Status: possibly buggy top level behavior in master Reply-To: bug#18583 <18583@debbugs.gnu.org> Date: Fri, 05 Sep 2025 14:33:14 +0000 retitle 18583 possibly buggy top level behavior in master reassign 18583 guile submitter 18583 Daniel Llorens severity 18583 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Mon Sep 29 09:25:21 2014 Received: (at submit) by debbugs.gnu.org; 29 Sep 2014 13:25:21 +0000 Received: from localhost ([127.0.0.1]:55013 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XYax5-00063V-Uq for submit@debbugs.gnu.org; Mon, 29 Sep 2014 09:25:20 -0400 Received: from eggs.gnu.org ([208.118.235.92]:33098) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1XYax1-00063L-Jm for submit@debbugs.gnu.org; Mon, 29 Sep 2014 09:25:16 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XYawr-0000xS-FD for submit@debbugs.gnu.org; Mon, 29 Sep 2014 09:25:15 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:55924) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XYawr-0000nJ-DL for submit@debbugs.gnu.org; Mon, 29 Sep 2014 09:25:05 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:34749) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XYawe-0001DF-5v for bug-guile@gnu.org; Mon, 29 Sep 2014 09:25:00 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XYawV-0000kq-Vs for bug-guile@gnu.org; Mon, 29 Sep 2014 09:24:52 -0400 Received: from zhhdzmsp-smta16.bluewin.ch ([195.186.227.132]:64957) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XYawV-0000jy-QD for bug-guile@gnu.org; Mon, 29 Sep 2014 09:24:43 -0400 Received: from [195.186.99.130] ([195.186.99.130:46305] helo=zhbdzmsp-smta11.bluewin.ch) by zhhdzmsp-smta16.bluewin.ch (envelope-from ) (ecelerity 3.5.7.40067 r(Platform:3.5.7.0)) with ESMTP id B4/D9-13081-39D59245; Mon, 29 Sep 2014 13:24:35 +0000 Received: from 4box.hq.corp.viasat.com (62.2.203.131) by zhbdzmsp-smta11.bluewin.ch (8.5.142) (authenticated as dll@bluewin.ch) id 51E5C44E1F2AF15F for bug-guile@gnu.org; Mon, 29 Sep 2014 13:24:35 +0000 From: Daniel Llorens Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Subject: possibly buggy top level behavior in master Message-Id: Date: Mon, 29 Sep 2014 15:24:31 +0200 To: bug-guile@gnu.org Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: submit 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: -5.0 (-----) The following code: (define-syntax define-lues (syntax-rules () ((_ () exp) (call-with-values (lambda () exp) (lambda () 'unspecified))) ((_ (var . vars) exp) (begin (define var (call-with-values (lambda () exp) list)) (define-lues vars (apply values (cdr var))) (define var (car var)))) ((_ var exp) (define var (call-with-values (lambda () exp) list))))) (define-lues (a) (values (make-vector 3 9))) (vector-length a) In 2.0, either pasting this in the REPL or (load "...") a file containing this produces the expected result, 3. In the current master (f7582), pasting in the REPL produces the same result, but loading from a file this produces the error: > In procedure vector-ref: Wrong type argument in position 1 (expecting = vector): (#(9 9 9)) I'm aware of the workarounds, I'm reporting the behavior itself. Regards, Daniel From debbugs-submit-bounces@debbugs.gnu.org Tue Jun 21 16:50:15 2016 Received: (at 18583) by debbugs.gnu.org; 21 Jun 2016 20:50:15 +0000 Received: from localhost ([127.0.0.1]:50079 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bFScg-00066S-UV for submit@debbugs.gnu.org; Tue, 21 Jun 2016 16:50:15 -0400 Received: from pb-sasl1.pobox.com ([64.147.108.66]:56945 helo=sasl.smtp.pobox.com) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bFScf-00066J-N3 for 18583@debbugs.gnu.org; Tue, 21 Jun 2016 16:50:14 -0400 Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by pb-sasl1.pobox.com (Postfix) with ESMTP id 1215B25982; Tue, 21 Jun 2016 16:50:11 -0400 (EDT) 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=KqfZ65TN8MSqONpCIyul0Kjq6xY=; b=uMZQak AaBa3PjYGFJIFZOHQ+JUYvMtBetusCKO2+KP5eD32A5mD++r9GPlJH3pne8fiXmu DnkyB3O+wFEZ0/6AFxsuaSJUpp2v2b8e8e8jc4X/SBgTemozeboNY8z3lns7tjaf HL+/q3RHtrdH3ZfiGZ8DkLxisdN6jMNVKa/6I= 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=Y0d8DuapuaJs9/MBP9tPiOBrvcGDb8FR +J3m6qQXnL+Dr3oYkKuLM+cGe+XiIS525DnIo8i6ooQNFKUPtTcr1PFBthKZeokq wNTv5xwo26FX/QydugHzYzBYx3pcVO0ByUzNFatUALiQfO5gsAGvZ2xj9Jw68iKz 0YsyUeSAwgg= Received: from pb-sasl1.nyi.icgroup.com (unknown [127.0.0.1]) by pb-sasl1.pobox.com (Postfix) with ESMTP id 0AF3325981; Tue, 21 Jun 2016 16:50:11 -0400 (EDT) Received: from clucks (unknown [88.160.190.192]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by pb-sasl1.pobox.com (Postfix) with ESMTPSA id 272D22597F; Tue, 21 Jun 2016 16:50:10 -0400 (EDT) From: Andy Wingo To: Daniel Llorens Subject: Re: bug#18583: possibly buggy top level behavior in master References: Date: Tue, 21 Jun 2016 22:50:02 +0200 In-Reply-To: (Daniel Llorens's message of "Mon, 29 Sep 2014 15:24:31 +0200") Message-ID: <87bn2uw9l1.fsf@pobox.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Pobox-Relay-ID: BE818344-37F1-11E6-8A54-C1836462E9F6-02397024!pb-sasl1.pobox.com X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: 18583 Cc: 18583@debbugs.gnu.org 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.4 (-) On Mon 29 Sep 2014 15:24, Daniel Llorens writes: > The following code: > > (define-syntax define-lues > (syntax-rules () > ((_ () exp) > (call-with-values (lambda () exp) (lambda () 'unspecified))) > ((_ (var . vars) exp) > (begin > (define var (call-with-values (lambda () exp) list)) > (define-lues vars (apply values (cdr var))) > (define var (car var)))) > ((_ var exp) > (define var (call-with-values (lambda () exp) list))))) > > (define-lues (a) (values (make-vector 3 9))) > (vector-length a) > > In 2.0, either pasting this in the REPL or (load "...") a file > containing this produces the expected result, 3. > > In the current master (f7582), pasting in the REPL produces the > same result, but loading from a file this produces the error: > >> In procedure vector-ref: Wrong type argument in position 1 (expecting vector): (#(9 9 9)) > > I'm aware of the workarounds, I'm reporting the behavior itself. Thank you thank you thank you for this report! Incidentally it has a nice reduction, at the REPL or whereever: (begin (define x (list 1)) (define x (car x)) x) Should be 1, Guile master was giving (1). The reasons are a bug in the effects analysis for the `define!' primitive. I wonder how I didn't catch this before! Fixed in master, though sadly with a bytecode version bump. Andy From debbugs-submit-bounces@debbugs.gnu.org Tue Jun 21 16:51:29 2016 Received: (at 18583-done) by debbugs.gnu.org; 21 Jun 2016 20:51:29 +0000 Received: from localhost ([127.0.0.1]:50083 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bFSdt-00068I-8G for submit@debbugs.gnu.org; Tue, 21 Jun 2016 16:51:29 -0400 Received: from pb-sasl1.pobox.com ([64.147.108.66]:56608 helo=sasl.smtp.pobox.com) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bFSdr-00068B-KY for 18583-done@debbugs.gnu.org; Tue, 21 Jun 2016 16:51:27 -0400 Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by pb-sasl1.pobox.com (Postfix) with ESMTP id 366C8259A2 for <18583-done@debbugs.gnu.org>; Tue, 21 Jun 2016 16:51:25 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=SSLmt0XI2dI3P81icIi2xl/Ofxw=; b=k8CtzA GUfKBguhKM+fnr1vH4eyPjzpeC6IXMtcKZes8bu/eZwXH4lx5AyuZuurnR25TT4g 6qOwHSCPFdweBVpHpdVevRca2/Gh3AsG8cRK4E1O31UwCNIRF3E4Hlejef7/WeD8 j1D4Q5ZHq7B31jZL0CCu9vASk/GMkrkSWouIg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:subject :references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=Pi1A9PnC7lSuQfcVpEx7XfKwoB0/4ulZ 4C1uzpB/P7ydvhakDD3FQGZcPwS0CCtHuuq3rt81E1rUQ6GJTXwQ8fcLN9WOINZh 9Jdj3JRu3nUqvq0V4uwtIUeEMF2AXpjz81aj8GTuGsMopCb5fj+1o29NEGuVoH7v Io8JEqr/294= Received: from pb-sasl1.nyi.icgroup.com (unknown [127.0.0.1]) by pb-sasl1.pobox.com (Postfix) with ESMTP id 29D48259A1 for <18583-done@debbugs.gnu.org>; Tue, 21 Jun 2016 16:51:25 -0400 (EDT) Received: from clucks (unknown [88.160.190.192]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by pb-sasl1.pobox.com (Postfix) with ESMTPSA id 44428259A0 for <18583-done@debbugs.gnu.org>; Tue, 21 Jun 2016 16:51:24 -0400 (EDT) From: Andy Wingo To: 18583-done@debbugs.gnu.org Subject: Re: bug#18583: possibly buggy top level behavior in master References: Date: Tue, 21 Jun 2016 22:51:17 +0200 In-Reply-To: (Daniel Llorens's message of "Mon, 29 Sep 2014 15:24:31 +0200") Message-ID: <874m8mw9iy.fsf@pobox.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Pobox-Relay-ID: EAAEE060-37F1-11E6-B655-C1836462E9F6-02397024!pb-sasl1.pobox.com X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: 18583-done 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.4 (-) thanks From unknown Fri Sep 05 07:33:14 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Wed, 20 Jul 2016 11: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