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: Hierarchical name space Date: Thu, 08 Apr 2010 09:29:06 +0200 Message-ID: References: <87k4ssusst.fsf@gnu.org> <87eiiqoojl.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1270711957 25381 80.91.229.12 (8 Apr 2010 07:32:37 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 8 Apr 2010 07:32:37 +0000 (UTC) Cc: guile-devel@gnu.org To: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Thu Apr 08 09:32:34 2010 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 1NzmE6-0007BZ-68 for guile-devel@m.gmane.org; Thu, 08 Apr 2010 09:32:34 +0200 Original-Received: from localhost ([127.0.0.1]:33826 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NzmE5-0006XI-AW for guile-devel@m.gmane.org; Thu, 08 Apr 2010 03:32:33 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1NzmDU-0006Og-5t for guile-devel@gnu.org; Thu, 08 Apr 2010 03:31:56 -0400 Original-Received: from [140.186.70.92] (port=52303 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NzmDM-0006NX-Ay for guile-devel@gnu.org; Thu, 08 Apr 2010 03:31:51 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1NzmDG-0006jA-6t for guile-devel@gnu.org; Thu, 08 Apr 2010 03:31:47 -0400 Original-Received: from a-pb-sasl-quonix.pobox.com ([208.72.237.25]:65319 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NzmDG-0006j5-1u; Thu, 08 Apr 2010 03:31:42 -0400 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTP id 31B98A81E4; Thu, 8 Apr 2010 03:31:41 -0400 (EDT) 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:content-transfer-encoding; s=sasl; bh=ceyBCD8isiN9 3Smd2dcM7VFGwck=; b=ae8pZbvN+rxXA5kcUTdE6cw6onvCkLAZZ9cUlrxOFKVN CYPRVejJhP0lyfazpa1LE5jKDOnm+wIeX0f9ilaDc+kLpQV8ACYIlDImeoGFW5pE +CZC/cescD5zAADD6hfRP/sT3qatsJ2UNr3u1WyKuUk4S7rkR/IJvi98tAYa6ck= 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:content-transfer-encoding; q=dns; s=sasl; b=VUrJ3s yzItWC0GeIgAq2iSGDPW8nVOl3y19Wuu3w8zpt+Is4qIxUh0EOaQ0m8AWfK+aQVw WyzHGZgXmaZr5WSjLfISbaCTae4fj0wP3wIbYGMkB1pzb/7CVhOagmP4x9u57ur7 vgvoZ7Tydrh1dZvhb0hnDNJuWUR7l2aI7l5WY= Original-Received: from a-pb-sasl-quonix. (unknown [127.0.0.1]) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTP id 0126FA81DF; Thu, 8 Apr 2010 03:31:38 -0400 (EDT) Original-Received: from unquote (unknown [83.34.178.60]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-quonix.pobox.com (Postfix) with ESMTPSA id 15FACA81DD; Thu, 8 Apr 2010 03:31:35 -0400 (EDT) In-Reply-To: <87eiiqoojl.fsf@gnu.org> ("Ludovic =?utf-8?Q?Court=C3=A8s=22'?= =?utf-8?Q?s?= message of "Thu, 08 Apr 2010 01:01:18 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.92 (gnu/linux) X-Pobox-Relay-ID: C4FAA2E4-42E0-11DF-8F4E-D033EE7EF46B-02397024!a-pb-sasl-quonix.pobox.com X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) 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:10165 Archived-At: Hi, On Thu 08 Apr 2010 01:01, ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Julian Graham writes: > >>> I'm still inclined to think that the module namespace hierarchy (and it >>> is a hierarchy) should not impinge on the environment of an evaluation. >>> But, not something we can change right now. >> >> This is actually causing me some difficulty -- I'm implementing the >> R6RS composite library, which imports and then re-exports the bindings >> of a lot of the individual R6RS standard libraries. I'm running into >> a problem with `(rnrs syntax-case)', which exports `syntax-case'. > > Unfortunately I don=E2=80=99t think a module names can contain =E2=80=98s= yntax-case=E2=80=99, > just like they can=E2=80=99t contain =E2=80=98eval=E2=80=99, =E2=80=98+= =E2=80=99, etc. :-( Explain more? > I can=E2=80=99t think of a work around. We need to separate module namespaces from value namespaces. Lazy binding / module lookup can be implemented differently from lazy binders. Andy --=20 http://wingolog.org/