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: Fri, 14 Jul 2017 16:20:04 +0200 Message-ID: <87mv87t817.fsf@drachen> References: <87r2xldw4s.fsf@users.sourceforge.net> <874luhf9zw.fsf@drachen> <87o9spdusk.fsf@users.sourceforge.net> <87zic9dtti.fsf@drachen> <87inixdru5.fsf@users.sourceforge.net> <87h8yhdqvq.fsf@drachen> <87fue1dpo7.fsf@users.sourceforge.net> <87lgntfhky.fsf@drachen> <871spkz9gk.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1500042137 11154 195.159.176.226 (14 Jul 2017 14:22:17 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 14 Jul 2017 14:22:17 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) Cc: 27674@debbugs.gnu.org, Roland Winkler To: Noam Postavsky Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri Jul 14 16:22:13 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 1dW1Tv-0002Zj-JS for geb-bug-gnu-emacs@m.gmane.org; Fri, 14 Jul 2017 16:22:11 +0200 Original-Received: from localhost ([::1]:38284 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dW1U0-0002rL-Tn for geb-bug-gnu-emacs@m.gmane.org; Fri, 14 Jul 2017 10:22:16 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:50320) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dW1St-0002In-4k for bug-gnu-emacs@gnu.org; Fri, 14 Jul 2017 10:21:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dW1So-0005FU-3n for bug-gnu-emacs@gnu.org; Fri, 14 Jul 2017 10:21:07 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:36481) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dW1Sn-0005FM-Vv for bug-gnu-emacs@gnu.org; Fri, 14 Jul 2017 10:21:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dW1Sn-0005WW-QK for bug-gnu-emacs@gnu.org; Fri, 14 Jul 2017 10:21: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: Fri, 14 Jul 2017 14:21:01 +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: notabug wontfix Original-Received: via spool by 27674-submit@debbugs.gnu.org id=B27674.150004202321160 (code B ref 27674); Fri, 14 Jul 2017 14:21:01 +0000 Original-Received: (at 27674) by debbugs.gnu.org; 14 Jul 2017 14:20:23 +0000 Original-Received: from localhost ([127.0.0.1]:39158 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dW1SB-0005VE-Iz for submit@debbugs.gnu.org; Fri, 14 Jul 2017 10:20:23 -0400 Original-Received: from mout.web.de ([212.227.17.11]:52764) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dW1S9-0005Ux-Ez for 27674@debbugs.gnu.org; Fri, 14 Jul 2017 10:20:22 -0400 Original-Received: from drachen.dragon ([88.73.234.235]) by smtp.web.de (mrweb101 [213.165.67.124]) with ESMTPSA (Nemesis) id 0LnjFb-1e9CTw1enf-00hrKg; Fri, 14 Jul 2017 16:20:07 +0200 In-Reply-To: (Noam Postavsky's message of "Thu, 13 Jul 2017 11:07:47 -0400") X-Provags-ID: V03:K0:6j7CIvp3h48JoUqSYAzTKMbh4EXwzNxANOCZu2QVPw9edV20NvD itTKGtWo/EAF8ziOCqbc45h7ZkJZpoddcOYoEH3cZV4vmmOD3939Whzogyv6otgbReymNqq kpjuhZ6Q7oCePKxrNrBA3l4E5yK1j4gy5xs9bN6DKfPYITnbzlGnuPS4Fjf/DSuSTcbHQPX 9abMoHFR4k/eE25Q4RAsg== X-UI-Out-Filterresults: notjunk:1;V01:K0:GutPGAQ+HTI=:volKX3Aa8A8dcyePRFpFnn llccv9V3ayGuFod73EvxCDTFlcq5EkGkyBPzrGPXscciQ7zr8lPhxkVpzmLHAHQ36hAMNxJoJ ktF21xaVqkpXCyHxZIQBSPb8sTWEWqE3g1BIdunwSJ069inzdtRQGz9/yapUCu3hVl6cEyPEd /oIKBYR5K8m9Sa9Q00zCpETMcTokYEUQfwHuca7c/qJIPWHPquat3rXWe9k3iL/hbHpUKg9zG +5/LC1xAmabgTLg6GWciF2ZsjcRhsLjVxgi5JjU7suXvG1XA2dkIEwkrLvXsBDyKMyItzCY30 6Iysq5yz4Eve8a5L4J2rFOWvutqGvMFZLWKH1pzU6+tX3yv3OeWZQBThbNo8L7AG956WzVAKw +UeN/SEGlj9DtSqdIzG2g7SP82+5c8U14/LLfOnfpKf+wv1odLsrFnf2vSj86R9SPlguqSMs1 1/+Xwj1Bbp1S2A7eTE6BAAK0CelXyjF1FXILEh/3/ZR/swqXIX00SvUOI9do2ytSSMkQIe5c/ aISttWoZP9mdpJVcKAB2Kk+rxTBn5JOWqYyXxmInI+troPC07jZx6wVXbNIV8NlCGJVvvy2O4 Pwk9SaP8/TrG6A2a34cgIIDQIZuudh9ffgH5afwOwRj/HBc0JRJMuna41CfX49DeG5VuIisVV lS53wLS/vjpmLTPgKmlwxEvEK+A6XkK22sICFNEuvxrNWFvASkgr60o2VvtoDfxE5x2d+P6wu ThKjmEj9fNx1DGpLNho8OfslaL6nwktEyAeTTB+I4Jo6NKpJVdjjcH4mWxISPknwwvmZ9GMw 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:134560 Archived-At: Noam Postavsky writes: > > The docstring of cl-progv says > > > > Bind SYMBOLS to VALUES dynamically in BODY. > > > > But I am not sure whether this statement correctly reflects the actual > > code of cl-progv: cl-progv evaluates a let form at runtime, but it is > > not up to cl-progv to ensure dynamical binding. I believe it > > depends on > > whether lexical binding is on or off whether the code currently used by > > cl-progv uses dynamical binding or lexical binding. > > No, because cl-progv omits the second argument to `eval', which is the > same as passing nil. This guarantees the evaluated let-bindings are > dynamic bindings. Yes. The second part of the answer is the creation of BODYFUN outside of `eval': it ensures that free variables in the BODY refer to the outer lexical environment regardless of `eval' being without performed with lexical binding off. Michael.