From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.devel Subject: Re: hygiene and macro-introduced toplevel bindings Date: Tue, 08 Mar 2011 23:37:57 +0100 Message-ID: References: <87bp1xui8e.fsf@vir.lan> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1299625736 5630 80.91.229.12 (8 Mar 2011 23:08:56 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 8 Mar 2011 23:08:56 +0000 (UTC) Cc: guile-devel To: Andreas Rottmann Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Wed Mar 09 00:08:52 2011 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Px61L-00025F-Lp for guile-devel@m.gmane.org; Wed, 09 Mar 2011 00:08:51 +0100 Original-Received: from localhost ([127.0.0.1]:47938 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Px5cc-0004fJ-DZ for guile-devel@m.gmane.org; Tue, 08 Mar 2011 17:43:18 -0500 Original-Received: from [140.186.70.92] (port=52576 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Px5b7-0002DU-VF for guile-devel@gnu.org; Tue, 08 Mar 2011 17:43:10 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Px5XS-0003iC-PR for guile-devel@gnu.org; Tue, 08 Mar 2011 17:37:59 -0500 Original-Received: from a-pb-sasl-sd.pobox.com ([64.74.157.62]:33068 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Px5XS-0003i0-ND for guile-devel@gnu.org; Tue, 08 Mar 2011 17:37:58 -0500 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 163624A66; Tue, 8 Mar 2011 17:39:25 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=W/4dB3gPYZxZ5y/dSSzsVsQF3sU=; b=DpgrBe oN0AXcLoDdLCXFbY3Vlwsmt6DoP68lErDJQ08W4iJ629Ad6im59r619PHYiMOpt6 0c6ZlghxjKBymWG0tPxDSZw2oYfrx5QJ9dHJLiVK99Jrj3Ln5xrWPhjUncNiRQBe oXftbVqdCGtCTMMwjqK36UJLNnc34cILuzkEY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=MuzFGegkrY+NKYrM8D45hH2/Hmd9Byvy ZvXMSF2QOBw+vN6/CLmdfs5tFWAAVtn1fU/nfcDYEU4plTpCfopTixSHy17Zep1P SHdWQlp/hSLrPZuNOAjdlbKlV3rfXy5P0/FLEsag5ZJesFt2RRIFz6728GcY4DxO jxBU6FCMh7c= Original-Received: from a-pb-sasl-sd.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 025D34A65; Tue, 8 Mar 2011 17:39:22 -0500 (EST) Original-Received: from unquote.localdomain (unknown [90.164.198.39]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTPSA id F00D84A64; Tue, 8 Mar 2011 17:39:20 -0500 (EST) In-Reply-To: (Andy Wingo's message of "Mon, 28 Feb 2011 22:28:20 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) X-Pobox-Relay-ID: EA05BE6A-49D4-11E0-B9B8-E8AB60295C12-02397024!a-pb-sasl-sd.pobox.com X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) X-Received-From: 64.74.157.62 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:11832 Archived-At: On Mon 28 Feb 2011 22:28, Andy Wingo writes: > But you have to, I think. If that module that contained the above > define-syntactic-accessor expansion exports "foo", then in another > module you have: > > (define bar (lambda () (foo))) > > which expands to > > (define bar (lambda () val-234123)) > > Val needs to be named. Everyone appears to want gensymmed names. OK! Let's consider this to be a bug, and that at some point in the future, Guile will start gensymming this names. Todo: more globally-unique gensyms, ideally some variable property work (yet another plist implementation??), and finally the psyntax patches to tie things together. If people want to make this go faster, start working on the gensyms. Andy -- http://wingolog.org/