From mboxrd@z Thu Jan  1 00:00:00 1970
Path: main.gmane.org!not-for-mail
From: Marius Vollmer <mvo@zagadka.ping.de>
Newsgroups: gmane.lisp.guile.user
Subject: Re: macros, procedure->macro
Date: 13 Jul 2002 20:38:44 +0200
Sender: guile-user-admin@gnu.org
Message-ID: <agps4d$kp1$2@main.gmane.org>
References: <Pine.GSO.4.05.10207131148030.21457-100000@sallust.ida.ing.tu-bs.de>
NNTP-Posting-Host: localhost.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: main.gmane.org 1026585549 21281 127.0.0.1 (13 Jul 2002 18:39:09 GMT)
X-Complaints-To: usenet@main.gmane.org
NNTP-Posting-Date: Sat, 13 Jul 2002 18:39:09 +0000 (UTC)
Cc: guile-devel@gnu.org, guile-user@gnu.org
Return-path: <guile-user-admin@gnu.org>
Original-Received: from fencepost.gnu.org ([199.232.76.164])
	by main.gmane.org with esmtp (Exim 3.33 #1 (Debian))
	id 17TRnQ-0005X8-00
	for <guile-user@m.gmane.org>; Sat, 13 Jul 2002 20:39:08 +0200
Original-Received: from localhost ([127.0.0.1] helo=fencepost.gnu.org)
	by fencepost.gnu.org with esmtp (Exim 3.35 #1 (Debian))
	id 17TRnV-0002sq-00; Sat, 13 Jul 2002 14:39:13 -0400
Original-Received: from dialin.speedway42.dip222.dokom.de ([195.138.42.222] helo=zagadka.ping.de)
	by fencepost.gnu.org with smtp (Exim 3.35 #1 (Debian))
	id 17TRn7-0002ox-00
	for <guile-user@gnu.org>; Sat, 13 Jul 2002 14:38:49 -0400
Original-Received: (qmail 1213 invoked by uid 1000); 13 Jul 2002 18:38:44 -0000
Original-To: Dirk Herrmann <dirk@sallust.ida.ing.tu-bs.de>
Original-Lines: 39
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
Errors-To: guile-user-admin@gnu.org
X-BeenThere: guile-user@gnu.org
X-Mailman-Version: 2.0.11
Precedence: bulk
List-Help: <mailto:guile-user-request@gnu.org?subject=help>
List-Post: <mailto:guile-user@gnu.org>
List-Subscribe: <http://mail.gnu.org/mailman/listinfo/guile-user>,
	<mailto:guile-user-request@gnu.org?subject=subscribe>
List-Id: General Guile related discussions <guile-user.gnu.org>
List-Unsubscribe: <http://mail.gnu.org/mailman/listinfo/guile-user>,
	<mailto:guile-user-request@gnu.org?subject=unsubscribe>
List-Archive: <http://mail.gnu.org/pipermail/guile-user/>
Xref: main.gmane.org gmane.lisp.guile.user:742
X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.user:742

Dirk Herrmann <dirk@sallust.ida.ing.tu-bs.de> writes:

> I have decided for the solution above to avoid having to export an
> additional binding.

I hope that we can avoid exporting bindings that are only used in
macro expansions.  I don't know exactly how (ice-9 syncase) deals with
this right now, but I'd say it is supposed to make the following work:

    (define-module (t1)
      :use-syntax (ice-9 syncase)
      :export-syntax foo)

    (define (bar) #t)

    (define-syntax foo
      (syntax-rules ()
        ((foo)
         (bar))))

    (define-module (t2)
      :use-syntax (ice-9 syncase)
      :use-module (t1))

    (foo)

Note that (t1) doesn't export bar, but the expansion of (foo) uses it.

I have some vague ideas of how to implement this... the basic one is
to add new syntax that allows one to refer to specific bindings from
specific modules, on a very low level.  For example, we could use

    (#:module-ref (t1) bar)

to get at the bar binding of the (t1) module, from anywhere.  Note
that we use a keyword in the operator position.

(ice-9 syncase) could then rewrite references to global variables to
use this form.

_______________________________________________
Guile-user mailing list
Guile-user@gnu.org
http://mail.gnu.org/mailman/listinfo/guile-user