From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Michael Heerdegen Newsgroups: gmane.emacs.bugs Subject: bug#28254: 26.0.50; SRFI-2 and-let* Date: Wed, 13 Sep 2017 12:16:48 +0200 Message-ID: <8760cm299r.fsf@drachen> References: <20170902041424.GA21189@holos.localdomain> <87tw0lzn7w.fsf@drachen> <20170902133604.GA27251@holos.localdomain> <20170904011356.GA21128@holos.localdomain> <20170905035548.GB11331@holos.localdomain> <20170909003355.GA3363@holos.localdomain> <87efrcccps.fsf@drachen> <20170912130947.GA23119@holos.localdomain> <87k213oiys.fsf@drachen> <20170912202134.GA14004@holos.localdomain> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1505297897 21736 195.159.176.226 (13 Sep 2017 10:18:17 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 13 Sep 2017 10:18:17 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) Cc: 28254@debbugs.gnu.org, Noam Postavsky To: Mark Oteiza Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Sep 13 12:18:05 2017 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ds4k9-0005QB-1v for geb-bug-gnu-emacs@m.gmane.org; Wed, 13 Sep 2017 12:18:05 +0200 Original-Received: from localhost ([::1]:41348 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ds4kG-0000sy-A6 for geb-bug-gnu-emacs@m.gmane.org; Wed, 13 Sep 2017 06:18:12 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:45062) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ds4k9-0000sl-W9 for bug-gnu-emacs@gnu.org; Wed, 13 Sep 2017 06:18:06 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ds4k6-0000sQ-5f for bug-gnu-emacs@gnu.org; Wed, 13 Sep 2017 06:18:05 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:56721) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ds4k6-0000sH-1z for bug-gnu-emacs@gnu.org; Wed, 13 Sep 2017 06:18:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ds4k5-0007Dh-Ou for bug-gnu-emacs@gnu.org; Wed, 13 Sep 2017 06:18:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Michael Heerdegen Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 13 Sep 2017 10:18:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 28254 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 28254-submit@debbugs.gnu.org id=B28254.150529783027691 (code B ref 28254); Wed, 13 Sep 2017 10:18:01 +0000 Original-Received: (at 28254) by debbugs.gnu.org; 13 Sep 2017 10:17:10 +0000 Original-Received: from localhost ([127.0.0.1]:37169 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ds4jE-0007CU-KN for submit@debbugs.gnu.org; Wed, 13 Sep 2017 06:17:10 -0400 Original-Received: from mout.web.de ([212.227.17.12]:49593) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ds4jD-0007C8-7N for 28254@debbugs.gnu.org; Wed, 13 Sep 2017 06:17:07 -0400 Original-Received: from drachen.dragon ([193.83.60.48]) by smtp.web.de (mrweb102 [213.165.67.124]) with ESMTPSA (Nemesis) id 0LeLWz-1d4Ulb1MlB-00q7L5; Wed, 13 Sep 2017 12:16:50 +0200 In-Reply-To: <20170912202134.GA14004@holos.localdomain> (Mark Oteiza's message of "Tue, 12 Sep 2017 16:21:34 -0400") X-Provags-ID: V03:K0:KOZ5VWiIXehx4jqCCTu0TWHE4JwoHRW1a2h7eXm3Tm0NgRUVnAt BmmW7QRKZDZJmdmo8QmYK5+n3lgFJuV8jof1xhkmbfjYCL8Hv8DCTClTmHj+VituIM+ZyST hJFJ32u5OVTWXbnYuCDbTxh8BOcms74EXnTQkI5kYdoiy/rRo3PE4CIO6wBUEoKqb5qJJ2D 5SPburrskCn+YuRVxzCKQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:iNFoilA9Mjg=:hH1qXMJ0lF/2GD69pAa8T3 VsVIhMj1gDn5o3CDyAvbAdPNIljr1gY2Hso0F4tpqkMe7NpPJ9dnl03XOwObWLiRUbseHW8nF V0QOFN+rikCfKgvSnfllU2hRi205YFHSfYNCht3JFGFFBrir/PTk1OMrVNRxZdq04fdIk1PDr 1ITjnVKP0/KMAxGdTeAM4sOZt+sTHVFsXNKiC1RV1boKLlCdnH00wIAzYSoUjZGiuEAdbbY3f dqAsk94sC6AQvwqGu1jBOcwAfmdhMXajDa9hYZ0B+u0xn4SlBkbZeKJlUe5hyMNhYi9B1O7RG N2iW6dtPbkpJdzsh/8LhYFDpK7fI6aHqZgASJ/JwSFeGXdYQ6GG8bpsGrgROlSjH0wIm38nJ3 OcsWV+/TxsO+iuKJQMgk1yCPZ0aEplhimFt7sBp5LUJQv5bdiX8C131DsSvSYAcn+2whdbRIz pVZtBsrCdNdzLPZsj4Vjt34oeRF1+Q1Xi0kGbp50Z1yMXvWLTuzpY97scfL2R13llbRWTHqEv plX+W7IaM7yICU/ysSJq3iTaYlxq8t2blEmkruOEFlO8vB2EOrfR9ft0NMYhx9uNrHNZTaXkw ul0JkiL65+kV7BSkKoKURJbVlPGLLSg+S+3757IXb8zasJ3q4cqo09FE2hqSKduPyBZ/f+aA0 GXaqAqvcWDlqNtfmZ5OAwu9W+jIxAGNYowuybLt+n8wALuOyHBABfX1zCEzLGRrXhlYaRXjyK re0HnhWpThA8wdOdZJJ1o2NSkJMIoVyH21HCpa8ws7Tg7Zrb0faR0GjDcxA7OE4hXkKDuMIA X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 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.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:136873 Archived-At: Mark Oteiza writes: > > In `internal--listify': > > isn't (or (listp form) (atom form)) always true? > > Yes, that could instead be (or form (null form)). It's meant to catch > things like this: > > (should (equal nil (and-let* ((nil) (x 1))))) Why can't we just replace it with the equivalent `t' (and simplify the code accordingly)? > > Secondly, in `internal--build-binding-value-form': > > How can it happen that (car binding) is an atom but not symbolp? And if > > (car binding) == var is not a symbol, how does the returned binding make > > sense? > > It's an expression, like a number. > > (should (equal 1 (and-let* ((2) (x 1))))) AFAICT, this doesn't run the code I mention. If I trace `internal--build-binding-value-form' and try this, I get 1 -> (internal--build-binding-value-form (#:s nil) t) 1 <- internal--build-binding-value-form: (#:s (and t nil)) ====================================================================== 1 -> (internal--build-binding-value-form (x 1) #:s) 1 <- internal--build-binding-value-form: (x (and #:s 1)) In both cases, (car binding) evals to a symbol. Thanks, Michael.