From unknown Fri Sep 05 11:00:56 2025 X-Loop: help-debbugs@gnu.org Subject: bug#18583: possibly buggy top level behavior in master Resent-From: Daniel Llorens Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Mon, 29 Sep 2014 13:26:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 18583 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: 18583@debbugs.gnu.org X-Debbugs-Original-To: bug-guile@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.141199712123287 (code B ref -1); Mon, 29 Sep 2014 13:26:01 +0000 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 Message-Id: Date: Mon, 29 Sep 2014 15:24:31 +0200 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-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 unknown Fri Sep 05 11:00:56 2025 X-Loop: help-debbugs@gnu.org Subject: bug#18583: possibly buggy top level behavior in master Resent-From: Andy Wingo Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Tue, 21 Jun 2016 20:51:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 18583 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: Daniel Llorens Cc: 18583@debbugs.gnu.org Received: via spool by 18583-submit@debbugs.gnu.org id=B18583.146654221523468 (code B ref 18583); Tue, 21 Jun 2016 20:51:02 +0000 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 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-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 unknown Fri Sep 05 11:00:56 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Daniel Llorens Subject: bug#18583: closed (Re: bug#18583: possibly buggy top level behavior in master) Message-ID: References: <874m8mw9iy.fsf@pobox.com> X-Gnu-PR-Message: they-closed 18583 X-Gnu-PR-Package: guile Reply-To: 18583@debbugs.gnu.org Date: Tue, 21 Jun 2016 20:52:01 +0000 Content-Type: multipart/mixed; boundary="----------=_1466542321-23626-1" This is a multi-part message in MIME format... ------------=_1466542321-23626-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #18583: possibly buggy top level behavior in master which was filed against the guile package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 18583@debbugs.gnu.org. --=20 18583: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D18583 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1466542321-23626-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit 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 ------------=_1466542321-23626-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit 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 ------------=_1466542321-23626-1--