From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.user Subject: Re: macros, procedure->macro Date: 13 Jul 2002 01:09:30 +0100 Sender: guile-user-admin@gnu.org Message-ID: References: NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: main.gmane.org 1026519380 28645 127.0.0.1 (13 Jul 2002 00:16:20 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Sat, 13 Jul 2002 00:16:20 +0000 (UTC) Cc: guile-devel@gnu.org, guile-user@gnu.org Return-path: Original-Received: from fencepost.gnu.org ([199.232.76.164]) by main.gmane.org with esmtp (Exim 3.33 #1 (Debian)) id 17TAaB-0007Rt-00 for ; Sat, 13 Jul 2002 02:16:19 +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 17TAa3-0000OB-00; Fri, 12 Jul 2002 20:16:11 -0400 Original-Received: from mail.uklinux.net ([80.84.72.21] helo=s1.uklinux.net) by fencepost.gnu.org with esmtp (Exim 3.35 #1 (Debian)) id 17TAZ6-0000Nc-00; Fri, 12 Jul 2002 20:15:12 -0400 Original-Received: from portalet.ossau.uklinux.net (ppp-0-169.lond-a-1.access.uk.tiscali.com [80.225.196.169]) (authenticated) by s1.uklinux.net (8.11.6/8.11.6) with ESMTP id g6D0F9f16361; Sat, 13 Jul 2002 01:15:10 +0100 Original-Received: from laruns.ossau.uklinux.net.ossau.uklinux.net (laruns.ossau.uklinux.net [192.168.1.3]) by portalet.ossau.uklinux.net (Postfix on SuSE Linux 7.2 (i386)) with ESMTP id 02ECA1706; Sat, 13 Jul 2002 01:15:26 +0000 (GMT) Original-To: Dirk Herrmann Original-Lines: 25 User-Agent: Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7 Errors-To: guile-user-admin@gnu.org X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.0.11 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.lisp.guile.user:736 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.user:736 >>>>> "Dirk" == Dirk Herrmann writes: Dirk> On 10 Jul 2002, Neil Jerram wrote: >> I think the perhaps the point is not at what stage macro expansion >> happens, but how universal it is. In other words, is macro expansion >> performed universally like reading, and so only blocked by quoting, or >> is it performed like evaluation, and so blocked/delayed by any number >> of special forms including lambda and if. Dirk> Ahh, I think I get your point. Currently, macro expansion Dirk> is done like evaluation. However, I think we agree that Dirk> this is broken. Therefore, I am currently working towards a Dirk> solution (in tiny little steps, I admit), where macro Dirk> expansion will be performed like reading (to use your Dirk> words). Thanks, that's helpful. So we won't support references to a macro that is defined in a following top-level form, as in: (define-macro (foo x) `(list ,(bar x) ,x)) (define-macro (bar x) `(* ,x ,x)) or is there a cunning plan that still allows us to support this? Neil _______________________________________________ Guile-user mailing list Guile-user@gnu.org http://mail.gnu.org/mailman/listinfo/guile-user