From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Noam Postavsky Newsgroups: gmane.emacs.bugs Subject: bug#23781: 25.0.95; read-string with HIST lexically bound Date: Sat, 25 Jun 2016 15:46:38 -0400 Message-ID: References: <6bd7ad5e-7319-5f07-4612-26cda5621291@gmail.com> <877fdn96sv.fsf@web.de> <321d46ee-407f-4a6e-93be-302a55da6196@default> <87oa6pwp9d.fsf@gmx.net> <8737o1w15d.fsf@gmx.net> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary=001a113db3e2aa567405361f8bad X-Trace: ger.gmane.org 1466884047 14165 80.91.229.3 (25 Jun 2016 19:47:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 25 Jun 2016 19:47:27 +0000 (UTC) Cc: Michael Heerdegen , Tino Calancha , 23781@debbugs.gnu.org To: Stephen Berman Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sat Jun 25 21:47:18 2016 Return-path: Envelope-to: geb-bug-gnu-emacs@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 1bGtXx-0003ft-FJ for geb-bug-gnu-emacs@m.gmane.org; Sat, 25 Jun 2016 21:47:18 +0200 Original-Received: from localhost ([::1]:51289 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bGtXt-0002Mi-Iu for geb-bug-gnu-emacs@m.gmane.org; Sat, 25 Jun 2016 15:47:13 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:35417) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bGtXn-0002Mc-L2 for bug-gnu-emacs@gnu.org; Sat, 25 Jun 2016 15:47:08 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bGtXi-0002HS-LD for bug-gnu-emacs@gnu.org; Sat, 25 Jun 2016 15:47:06 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:43400) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bGtXi-0002HN-H0 for bug-gnu-emacs@gnu.org; Sat, 25 Jun 2016 15:47:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1bGtXh-000841-Lc for bug-gnu-emacs@gnu.org; Sat, 25 Jun 2016 15:47:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Noam Postavsky Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 25 Jun 2016 19:47:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 23781 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 23781-submit@debbugs.gnu.org id=B23781.146688400630976 (code B ref 23781); Sat, 25 Jun 2016 19:47:01 +0000 Original-Received: (at 23781) by debbugs.gnu.org; 25 Jun 2016 19:46:46 +0000 Original-Received: from localhost ([127.0.0.1]:55737 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bGtXR-00083Y-Ml for submit@debbugs.gnu.org; Sat, 25 Jun 2016 15:46:45 -0400 Original-Received: from mail-oi0-f43.google.com ([209.85.218.43]:35770) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bGtXQ-00083M-55 for 23781@debbugs.gnu.org; Sat, 25 Jun 2016 15:46:44 -0400 Original-Received: by mail-oi0-f43.google.com with SMTP id r2so156292748oih.2 for <23781@debbugs.gnu.org>; Sat, 25 Jun 2016 12:46:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc; bh=5Lrt35DH23sVddYP4a93gL0GM7RZa5jYhbojF5hqT2I=; b=glsGYBdmp4fVGBkNZ/KWoVQZzTIGP5w4x822wxpTNP1Wy0MWnSNl2Y3KQ/Bb4NkxNy b7WAHTLdKFtxWtni1oQw9spknCnzU3Fld12lf785rTWiCqJjEXdTso4ghIEQLl47GKG5 jW4i0IvUfv/jpnWFFWtLojy4f08Be+x9ItbR89ydBgKSTx6mrNptlG23eYVBBbXfpdYE TWb6V/S2v6jIbgPNdwFkjkBTEo4ISr+vsSI2ibAQpOHyeqh3DslOLwjzLecLNQgR1Nno K8N9eFkRSg6IElB3V0MvFZHNTv/9aqsESbrSezcxGkZx+c2wOQvWJ/IBfOoecW/IQLqO eKjQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:in-reply-to:references:from :date:message-id:subject:to:cc; bh=5Lrt35DH23sVddYP4a93gL0GM7RZa5jYhbojF5hqT2I=; b=kAr5LGP/rTr7mv9AvSydasu/1Em2qsFbOvGSWQs+5j8YMhb2gBr4udSh8gI0/eJNQn PK878+wv9OvYY6erIfzTofxuA3y4Wo0kthNb1vOEC5HrPs+3mblDV5NC0Zus/qd/dQDr iATkQJ7ln+b5U3kKeTQExce9OHVd/goiMhI+UPQeADye8KYq0NQ/dJAIjFmcBaC+Zg2I 7BKl9TzeQqK4kXO+tEUMmN8GyvQZ6al08u2etbmrJMqfjQNLEkDhbMBQxyEOAdE/gGHV Ie7SFxNyNb2p64SfsULUrMPgcVo2dkirqJeceQLY6OdWR54Q0Dj3+2hss10dqYrSe8bb oG9Q== X-Gm-Message-State: ALyK8tKqNNJi0DthjVhMRi1GHmqUXM6yfl6JrksgYGV05ZtdrPtpvBYQ35PX8E3qtQ0078g8YqHDYP0YTO4Qng== X-Received: by 10.157.24.118 with SMTP id t51mr7262934ott.92.1466883998626; Sat, 25 Jun 2016 12:46:38 -0700 (PDT) Original-Received: by 10.157.52.238 with HTTP; Sat, 25 Jun 2016 12:46:38 -0700 (PDT) In-Reply-To: <8737o1w15d.fsf@gmx.net> X-Google-Sender-Auth: 14heaKfw_pmhi4wR2RMuDH61Z9w 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:120064 Archived-At: --001a113db3e2aa567405361f8bad Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Sat, Jun 25, 2016 at 2:53 PM, Stephen Berman wr= ote: > But maybe > we should leave the bike shed before this gets too philosophical ;-) Ugh, yes please. So can we agree on this updated wording? (as shown in attached patch) Note that unlike dynamic variables which are tied to the symbol object itself, the relationship between lexical variables and symbols is only present in the interpreter (or compiler). Therefore, functions which take a symbol argument (like =E2=80=98symbol-value=E2=80=99, =E2=80=98boundp=E2=80=99, and =E2=80=98= set=E2=80=99) can only retrieve or modify a variable=E2=80=99s dynamic binding (i.e., the contents of its symbol=E2= =80=99s value cell). Also, the code in the body of a =E2=80=98defun=E2=80=99 o= r =E2=80=98defmacro=E2=80=99 cannot refer to surrounding lexical variable= s. Should it be updated any further? (if yes, please reply with concrete propo= sals) --001a113db3e2aa567405361f8bad Content-Type: text/x-patch; charset=US-ASCII; name="0001-Clarify-lexical-binding-with-symbol-args-behavior.patch" Content-Disposition: attachment; filename="0001-Clarify-lexical-binding-with-symbol-args-behavior.patch" Content-Transfer-Encoding: base64 X-Attachment-Id: f_ipvktadm0 RnJvbSAxNTFjMjgzN2RjNWM4MjA3MzQ2NWY2YjY4ZTAyMTZhMGU4MTQ5Y2Y3IE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBOb2FtIFBvc3RhdnNreSA8bnBvc3RhdnNAZ21haWwuY29tPgpE YXRlOiBGcmksIDI0IEp1biAyMDE2IDIwOjM5OjI0IC0wNDAwClN1YmplY3Q6IFtQQVRDSF0gQ2xh cmlmeSBsZXhpY2FsIGJpbmRpbmcgd2l0aCBzeW1ib2wgYXJncyBiZWhhdmlvcgoKKiBkb2MvbGlz cHJlZi92YXJpYWJsZXMudGV4aSAoTGV4aWNhbCBCaW5kaW5nKTogQ2xhcmlmeSB0aGF0IHN5bWJv bAphcmd1bWVudHMgYWx3YXlzIHJlZmVyIHRvIGR5bmFtaWMgdmFsdWVzIChCdWcgIzIzNzgxKS4K LS0tCiBkb2MvbGlzcHJlZi92YXJpYWJsZXMudGV4aSB8IDE1ICsrKysrKysrKy0tLS0tLQogMSBm aWxlIGNoYW5nZWQsIDkgaW5zZXJ0aW9ucygrKSwgNiBkZWxldGlvbnMoLSkKCmRpZmYgLS1naXQg YS9kb2MvbGlzcHJlZi92YXJpYWJsZXMudGV4aSBiL2RvYy9saXNwcmVmL3ZhcmlhYmxlcy50ZXhp CmluZGV4IDZjNTNlOWIuLmI0ZDY4NTcgMTAwNjQ0Ci0tLSBhL2RvYy9saXNwcmVmL3ZhcmlhYmxl cy50ZXhpCisrKyBiL2RvYy9saXNwcmVmL3ZhcmlhYmxlcy50ZXhpCkBAIC05NzQsNyArOTc0LDcg QEAgTGV4aWNhbCBCaW5kaW5nCiAKIEBjaW5kZXggbGV4aWNhbCBlbnZpcm9ubWVudAogICBIZXJl IGlzIGhvdyBsZXhpY2FsIGJpbmRpbmcgd29ya3MuICBFYWNoIGJpbmRpbmcgY29uc3RydWN0IGRl ZmluZXMgYQotQGRmbntsZXhpY2FsIGVudmlyb25tZW50fSwgc3BlY2lmeWluZyB0aGUgc3ltYm9s cyB0aGF0IGFyZSBib3VuZAorQGRmbntsZXhpY2FsIGVudmlyb25tZW50fSwgc3BlY2lmeWluZyB0 aGUgdmFyaWFibGVzIHRoYXQgYXJlIGJvdW5kCiB3aXRoaW4gdGhlIGNvbnN0cnVjdCBhbmQgdGhl aXIgbG9jYWwgdmFsdWVzLiAgV2hlbiB0aGUgTGlzcCBldmFsdWF0b3IKIHdhbnRzIHRoZSBjdXJy ZW50IHZhbHVlIG9mIGEgdmFyaWFibGUsIGl0IGxvb2tzIGZpcnN0IGluIHRoZSBsZXhpY2FsCiBl bnZpcm9ubWVudDsgaWYgdGhlIHZhcmlhYmxlIGlzIG5vdCBzcGVjaWZpZWQgaW4gdGhlcmUsIGl0 IGxvb2tzIGluCkBAIC0xMDMyLDExICsxMDMyLDE0IEBAIExleGljYWwgQmluZGluZwogdGltZSB3 ZSBldmFsdWF0ZSB0aGUgY2xvc3VyZSwgaXQgaW5jcmVtZW50cyBAY29kZXt4fSwgdXNpbmcgdGhl CiBiaW5kaW5nIG9mIEBjb2Rle3h9IGluIHRoYXQgbGV4aWNhbCBlbnZpcm9ubWVudC4KIAotICBO b3RlIHRoYXQgZnVuY3Rpb25zIGxpa2UgQGNvZGV7c3ltYm9sLXZhbHVlfSwgQGNvZGV7Ym91bmRw fSwgYW5kCi1AY29kZXtzZXR9IG9ubHkgcmV0cmlldmUgb3IgbW9kaWZ5IGEgdmFyaWFibGUncyBk eW5hbWljIGJpbmRpbmcKLShpLmUuLCB0aGUgY29udGVudHMgb2YgaXRzIHN5bWJvbCdzIHZhbHVl IGNlbGwpLiAgQWxzbywgdGhlIGNvZGUgaW4KLXRoZSBib2R5IG9mIGEgQGNvZGV7ZGVmdW59IG9y IEBjb2Rle2RlZm1hY3JvfSBjYW5ub3QgcmVmZXIgdG8KLXN1cnJvdW5kaW5nIGxleGljYWwgdmFy aWFibGVzLgorICBOb3RlIHRoYXQgdW5saWtlIGR5bmFtaWMgdmFyaWFibGVzIHdoaWNoIGFyZSB0 aWVkIHRvIHRoZSBzeW1ib2wKK29iamVjdCBpdHNlbGYsIHRoZSByZWxhdGlvbnNoaXAgYmV0d2Vl biBsZXhpY2FsIHZhcmlhYmxlcyBhbmQgc3ltYm9scworaXMgb25seSBwcmVzZW50IGluIHRoZSBp bnRlcnByZXRlciAob3IgY29tcGlsZXIpLiAgVGhlcmVmb3JlLAorZnVuY3Rpb25zIHdoaWNoIHRh a2UgYSBzeW1ib2wgYXJndW1lbnQgKGxpa2UgQGNvZGV7c3ltYm9sLXZhbHVlfSwKK0Bjb2Rle2Jv dW5kcH0sIGFuZCBAY29kZXtzZXR9KSBjYW4gb25seSByZXRyaWV2ZSBvciBtb2RpZnkgYQordmFy aWFibGUncyBkeW5hbWljIGJpbmRpbmcgKGkuZS4sIHRoZSBjb250ZW50cyBvZiBpdHMgc3ltYm9s J3MgdmFsdWUKK2NlbGwpLiAgQWxzbywgdGhlIGNvZGUgaW4gdGhlIGJvZHkgb2YgYSBAY29kZXtk ZWZ1bn0gb3IKK0Bjb2Rle2RlZm1hY3JvfSBjYW5ub3QgcmVmZXIgdG8gc3Vycm91bmRpbmcgbGV4 aWNhbCB2YXJpYWJsZXMuCiAKIEBub2RlIFVzaW5nIExleGljYWwgQmluZGluZwogQHN1YnNlY3Rp b24gVXNpbmcgTGV4aWNhbCBCaW5kaW5nCi0tIAoyLjguMAoK --001a113db3e2aa567405361f8bad--