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#27674: 26.0.50; cl-progv: strange scoping due to implementation Date: Thu, 13 Jul 2017 04:15:05 +0200 Message-ID: <87h8yhdqvq.fsf@drachen> References: <87lgntfhky.fsf@drachen> <87r2xldw4s.fsf@users.sourceforge.net> <874luhf9zw.fsf@drachen> <87o9spdusk.fsf@users.sourceforge.net> <87zic9dtti.fsf@drachen> <87inixdru5.fsf@users.sourceforge.net> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1499912182 22736 195.159.176.226 (13 Jul 2017 02:16:22 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 13 Jul 2017 02:16:22 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) Cc: 27674@debbugs.gnu.org To: npostavs@users.sourceforge.net Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu Jul 13 04:16:15 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 1dVTfm-0005C8-5Y for geb-bug-gnu-emacs@m.gmane.org; Thu, 13 Jul 2017 04:16:10 +0200 Original-Received: from localhost ([::1]:56874 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dVTfp-0008MW-Ts for geb-bug-gnu-emacs@m.gmane.org; Wed, 12 Jul 2017 22:16:13 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:37537) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dVTfk-0008MC-2f for bug-gnu-emacs@gnu.org; Wed, 12 Jul 2017 22:16:09 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dVTff-0002xH-30 for bug-gnu-emacs@gnu.org; Wed, 12 Jul 2017 22:16:08 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:33340) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dVTfe-0002wp-Uo for bug-gnu-emacs@gnu.org; Wed, 12 Jul 2017 22:16:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dVTfe-0005fB-IZ for bug-gnu-emacs@gnu.org; Wed, 12 Jul 2017 22:16:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Michael Heerdegen Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 13 Jul 2017 02:16:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 27674 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 27674-submit@debbugs.gnu.org id=B27674.149991212621711 (code B ref 27674); Thu, 13 Jul 2017 02:16:02 +0000 Original-Received: (at 27674) by debbugs.gnu.org; 13 Jul 2017 02:15:26 +0000 Original-Received: from localhost ([127.0.0.1]:36016 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dVTf4-0005e7-3j for submit@debbugs.gnu.org; Wed, 12 Jul 2017 22:15:26 -0400 Original-Received: from mout.web.de ([217.72.192.78]:52591) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dVTf2-0005dt-D1 for 27674@debbugs.gnu.org; Wed, 12 Jul 2017 22:15:24 -0400 Original-Received: from drachen.dragon ([88.73.234.235]) by smtp.web.de (mrweb103 [213.165.67.124]) with ESMTPSA (Nemesis) id 0MV4bp-1dAo091IHV-00YUFt; Thu, 13 Jul 2017 04:15:08 +0200 In-Reply-To: <87inixdru5.fsf@users.sourceforge.net> (npostavs's message of "Wed, 12 Jul 2017 21:54:26 -0400") X-Provags-ID: V03:K0:3stVg4o7fWFuuuEiWlStdcDp3LPYBD4q8l9vTyueJ6MAzjUQEhr H9vSn1NxWH5f38XgkyCnKG0zEGRAViHIMwCTW7GA2gU100qoVD4Sw5AfLjhcu2h1RoDcaE3 4fCh5BMTV8DY3YRtiu6ZDhNFWDRmLmxx6qiO4lVHSOMa/wZpaAjveJqea9wS6uTC3mLW1Uo 0GZJBcgKyddtY2z10+Lag== X-UI-Out-Filterresults: notjunk:1;V01:K0:+UTEWKxnj/k=:cIJv9LSaNKAVmYJfOm6Yv5 /2O2qevkCWHXCp/wHxrPicoYPzCxjfEoIH5H1bXSFSNp93Mz7fMKP09MLbYoXh5F8NxjoO314 FKF6gUB2PmrAWB1oysKGmhxQWelNcQSrki22ezgeBHiQ7Bllpw4sxvn3ANnc+JOsTbbAViplW OLsG/D2iBhdik1rrPROUFJfBqNfeyjIwr76/NGZVa+zLcrWmhCKtzWPeIr3yENCkiV45p5Fsd xohaVzSLqENbky6Ru96+dx+/C/EmutDUEpAQOD6SjD62ph9iASMyuESLGxaERSEnsmMHY6K8e lMpO1C6lZtkifWDCrbEF2Ze07TE+iA/4mbCirw/utIfLoYkaGSImwAH2wfZJ8W65Iz9emuH8H wjNBFhk4R5cGCTMpmFWmxslSxaZK58cYTcN4GFqZcNIPmxuQqkSrlv0llfgHB5q1j1Ys/cMZE SJPLGXpilsndN1izPmYifsEIBqqxVGbA//wM5EepPGUghhqSvoGQGhQxXaq+tY+vU7TsrzlZf 1i9LBuimwY+zQdznKY9uW3JInHLZKeo02Iy8cmhmlDeBJhxM9WDjOQVzLh4lbl1hrRRLOLi6B 5jr+kokUt1KkQqXNBBezDpilZiRJ3K0zgtfLLVKGyIdc4vb8AVC2H2AF7l3/o1tIqSXM9M2V9 tjujAUmcJ7IeMpJyB2sA4VYYeOEC8JZhfD1qzCBmUTXpJMB0d5wPnZI+c6dyj4ghsKpscldfr 08bIuGzaArYC65JfxgwOuccybOjcSe7z5lOCIbimVhOHFrNBovQ0eDm5f3ik2Rg+F3nhtZe/ 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:134491 Archived-At: npostavs@users.sourceforge.net writes: > > Why does the lambda still refer to the lexical binding? > > Maybe it would be more obvious if we wrote it like this: > > (let ((x 0)) > (cl-progv (list (intern (read-string "Enter var: "))) (list 1) > (funcall (lambda () x)))) > > Clearly the inner x must refer to the lexical let-binding, right? Even > if the user happens to enter `x' at the prompt this remains true. Not an argument per se, because with lexical binding mode off, you can surely do that. > > Does a lexical binding always beat a dynamical one? > > Yes, lexical analysis is performed first and then the names are thrown > away, so you can't even tell when the "same" variable has been > dynamically bound as well. Ok, this is the part I was clearly missing, thanks. I'll have a look if the documentation tells something like this (it should be spelled out somewhere). Then I guess you can close this report. Thank you, Michael.