From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Newsgroups: gmane.lisp.guile.bugs Subject: bug#21855: eq? Date: Sun, 8 Nov 2015 11:23:23 +0100 Message-ID: <20151108102323.GA5299@tuxteam.de> References: <87r3k2ezjr.fsf@posteo.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; x-action=pgp-signed X-Trace: ger.gmane.org 1446980361 15858 80.91.229.3 (8 Nov 2015 10:59:21 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 8 Nov 2015 10:59:21 +0000 (UTC) Cc: 21855@debbugs.gnu.org To: Atticus Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Sun Nov 08 11:59:12 2015 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ZvNgm-0007uS-3y for guile-bugs@m.gmane.org; Sun, 08 Nov 2015 11:59:12 +0100 Original-Received: from localhost ([::1]:46887 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZvNgl-0000pL-Hh for guile-bugs@m.gmane.org; Sun, 08 Nov 2015 05:59:11 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:44345) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZvNgh-0000pA-AB for bug-guile@gnu.org; Sun, 08 Nov 2015 05:59:08 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZvNgc-0007Xu-AL for bug-guile@gnu.org; Sun, 08 Nov 2015 05:59:07 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:38339) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZvNgc-0007Xq-6V for bug-guile@gnu.org; Sun, 08 Nov 2015 05:59:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1ZvNgb-0000xh-PY for bug-guile@gnu.org; Sun, 08 Nov 2015 05:59:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Sun, 08 Nov 2015 10:59:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 21855 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 21855-submit@debbugs.gnu.org id=B21855.14469803183650 (code B ref 21855); Sun, 08 Nov 2015 10:59:01 +0000 Original-Received: (at 21855) by debbugs.gnu.org; 8 Nov 2015 10:58:38 +0000 Original-Received: from localhost ([127.0.0.1]:57280 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZvNgD-0000wl-Qf for submit@debbugs.gnu.org; Sun, 08 Nov 2015 05:58:38 -0500 Original-Received: from mail.tuxteam.de ([5.199.139.25]:41984 helo=tomasium.tuxteam.de) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZvNft-0000w4-Dh for 21855@debbugs.gnu.org; Sun, 08 Nov 2015 05:58:36 -0500 Original-Received: from tomas by tomasium.tuxteam.de with local (Exim 4.80) (envelope-from ) id 1ZvN87-0001fZ-Q0; Sun, 08 Nov 2015 11:23:23 +0100 In-Reply-To: <87r3k2ezjr.fsf@posteo.org> User-Agent: Mutt/1.5.21 (2010-09-15) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 208.118.235.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:7882 Archived-At: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Sat, Nov 07, 2015 at 01:58:48PM +0100, Atticus wrote: > So I wanted to try out gnu guix and thus make myself more familiar with > guile first. While running some tests I encountered a problem/bug with eq?: > > $ guile -v > guile (GNU Guile) 2.1.1 > > $ guile > scheme@(guile-user)> > (define (multirember a lat) > (cond > ((null? lat) '()) > ((eq? (car lat) a) (multirember a (cdr lat))) > (else (cons (car lat) (multirember a (cdr lat)))))) > > scheme@(guile-user)> (multirember '(a b) '(x y (a b) z (a b))) > $1 = (x y z) > > So why does guile return (x y z)? I expected (x y (a b) z (a b)). I know > eq? should only be used with symbols (and thus this example is more > theoretical) but nevertheless the return value is not right, since (eq? > '(a b) '(a b)) returns #f (Btw same in guile 2.0.11). Hm. As far as I know (eq? '(a b) '(a b)) is not *guaranteed* to evaluate to #f. The implementation might be free to re-use things it "knows" to be constant (I might be wrong, though). Regards - -- t -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAlY/IpsACgkQBcgs9XrR2kZMoACZAc49Kzq9JzteJovmzRpH2WLv M3YAnibf8NUd5bspCqCP2cQiAWNSiREt =O1dE -----END PGP SIGNATURE-----