From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Lennart Borgman Newsgroups: gmane.emacs.bugs,gmane.emacs.pretest.bugs Subject: bug#3467: 23.0.94; let + make-local-variable => let value made global Date: Fri, 5 Jun 2009 17:04:01 +0200 Message-ID: References: Reply-To: Lennart Borgman , 3467@emacsbugs.donarmstrong.com NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1244215056 14263 80.91.229.12 (5 Jun 2009 15:17:36 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 5 Jun 2009 15:17:36 +0000 (UTC) Cc: emacs-pretest-bug@gnu.org, 3467@emacsbugs.donarmstrong.com To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri Jun 05 17:17:31 2009 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1MCbAh-0002hH-EG for geb-bug-gnu-emacs@m.gmane.org; Fri, 05 Jun 2009 17:17:31 +0200 Original-Received: from localhost ([127.0.0.1]:58637 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1MCbAg-0003Xt-G8 for geb-bug-gnu-emacs@m.gmane.org; Fri, 05 Jun 2009 11:17:30 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1MCbAb-0003XG-Uo for bug-gnu-emacs@gnu.org; Fri, 05 Jun 2009 11:17:26 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1MCbAX-0003VX-5b for bug-gnu-emacs@gnu.org; Fri, 05 Jun 2009 11:17:25 -0400 Original-Received: from [199.232.76.173] (port=43778 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1MCbAX-0003VU-3W for bug-gnu-emacs@gnu.org; Fri, 05 Jun 2009 11:17:21 -0400 Original-Received: from rzlab.ucr.edu ([138.23.92.77]:51017) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1MCbAW-0006Ed-If for bug-gnu-emacs@gnu.org; Fri, 05 Jun 2009 11:17:20 -0400 Original-Received: from rzlab.ucr.edu (rzlab.ucr.edu [127.0.0.1]) by rzlab.ucr.edu (8.14.3/8.14.3/Debian-5) with ESMTP id n55FHINH013707; Fri, 5 Jun 2009 08:17:18 -0700 Original-Received: (from debbugs@localhost) by rzlab.ucr.edu (8.14.3/8.14.3/Submit) id n55FA8xA012673; Fri, 5 Jun 2009 08:10:08 -0700 X-Loop: owner@emacsbugs.donarmstrong.com Resent-From: Lennart Borgman Resent-To: bug-submit-list@donarmstrong.com Resent-CC: Emacs Bugs Resent-Date: Fri, 05 Jun 2009 15:10:08 +0000 Resent-Message-ID: Resent-Sender: owner@emacsbugs.donarmstrong.com X-Emacs-PR-Message: followup 3467 X-Emacs-PR-Package: emacs X-Emacs-PR-Keywords: Original-Received: via spool by 3467-submit@emacsbugs.donarmstrong.com id=B3467.124421424811047 (code B ref 3467); Fri, 05 Jun 2009 15:10:08 +0000 Original-Received: (at 3467) by emacsbugs.donarmstrong.com; 5 Jun 2009 15:04:08 +0000 X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available. hammytokens:Tokens not available. Original-Received: from fg-out-1718.google.com (fg-out-1718.google.com [72.14.220.158]) by rzlab.ucr.edu (8.14.3/8.14.3/Debian-5) with ESMTP id n55F42eP011039 for <3467@emacsbugs.donarmstrong.com>; Fri, 5 Jun 2009 08:04:04 -0700 Original-Received: by fg-out-1718.google.com with SMTP id e12so207685fga.20 for <3467@emacsbugs.donarmstrong.com>; Fri, 05 Jun 2009 08:04:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=stjYHltUdISLoYjDKKhfmW0Rkt4uWgxJqmnTKpWvw/g=; b=NfrwFT6OAtnzQ4faUw361lIVBl3KMKkHAeUctcsFj5BBzXctARDz3zcXAHGdO9r+/H A3/U9KiFnBy9ilStDAlAifQuVGgWo8IHLQC9tsLQrcVwXjfUFdz9M/6v13khZRGlluEh 2N3wu52NoGfL0ej0hrKYly2EJh43XDz5rGF+k= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=kkXVfBhmCup6w/pk3McetCkg+olMbK/p4XZb9wOgpyk4+xmhwF9lR9Kw8WOlmOWFxV 9jXh9YjgVdHA/UdjjOLKO7xyKvBKcWsSSKbEQ8QjZRxRNGwygLmWKGUqx2cv22Pjccau ftrrgmQWjhq9HLlyXpii3N+qJiSHipR/SwJkA= Original-Received: by 10.239.133.65 with SMTP id 1mr269705hbu.150.1244214241516; Fri, 05 Jun 2009 08:04:01 -0700 (PDT) In-Reply-To: X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 2) Resent-Date: Fri, 05 Jun 2009 11:17:25 -0400 X-BeenThere: bug-gnu-emacs@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:28510 gmane.emacs.pretest.bugs:24570 Archived-At: On Fri, Jun 5, 2009 at 4:36 PM, Stefan Monnier wr= ote: >> If you eval these lines >> =C2=A0 (defvar w14 "global") >> =C2=A0 (defvar w15 "global") >> =C2=A0 (let ((w14 "let") >> =C2=A0 =C2=A0 =C2=A0 =C2=A0 (w15 "let")) >> =C2=A0 =C2=A0 (set (make-local-variable 'w14) "local") >> =C2=A0 =C2=A0 (message "w14 maybe let: in buffer=3D%S, global=3D%S" w14 = (default-value 'w14)) >> =C2=A0 =C2=A0 (message "w15 maybe let: in buffer=3D%S, global=3D%S" w15 = (default-value 'w15))) >> =C2=A0 (message "w14 top level: in buffer=3D%S, global=3D%S" w14 (defaul= t-value 'w14)) >> =C2=A0 (message "w15 top level: in buffer=3D%S, global=3D%S" w15 (defaul= t-value 'w15)) > >> the output will be > >> =C2=A0 w14 maybe let: in buffer=3D"local", global=3D"let" >> =C2=A0 w15 maybe let: in buffer=3D"let", global=3D"let" >> =C2=A0 w14 top level: in buffer=3D"global", global=3D"let" >> =C2=A0 w15 top level: in buffer=3D"global", global=3D"global" > >> All values here except w14 global value on next last line are arguably >> correct. The last value of w14 should be "global", not "let". > >> It looks like perhaps the call to (make-local-variable w14) does not >> mark the "global let" value of w14 as let bound (or removes that >> mark). > > Given the way let-binding and buffer-local bindings are currently > implemented, it's difficult to make it work correctly in all corner > cases, and even more so without slowing down the common case. > So don't hold your breath. I gave a suggestion in the next message for how to implement this: Check buffer and frame localness before unbind_to in Flet. Would that really be expensive?