From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Mikael Djurfeldt Newsgroups: gmane.lisp.guile.devel Subject: Re: Recent change to syncase.scm Date: Fri, 07 Feb 2003 08:01:28 +0100 Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Message-ID: References: <87vfzw3eyo.fsf@raven.i.defaultvalue.org> Reply-To: djurfeldt@nada.kth.se NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: main.gmane.org 1044601235 17539 80.91.224.249 (7 Feb 2003 07:00:35 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Fri, 7 Feb 2003 07:00:35 +0000 (UTC) Cc: guile-devel@gnu.org Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 18h2Uv-0004YZ-00 for ; Fri, 07 Feb 2003 08:00:29 +0100 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10.13) id 18h2WI-0003G0-07 for guile-devel@m.gmane.org; Fri, 07 Feb 2003 02:01:54 -0500 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.10.13) id 18h2W9-0003EW-00 for guile-devel@gnu.org; Fri, 07 Feb 2003 02:01:45 -0500 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.10.13) id 18h2W5-00035Q-00 for guile-devel@gnu.org; Fri, 07 Feb 2003 02:01:42 -0500 Original-Received: from kvast.blakulla.net ([213.212.20.77]) by monty-python.gnu.org with esmtp (Exim 4.10.13) id 18h2W3-0002u2-00 for guile-devel@gnu.org; Fri, 07 Feb 2003 02:01:39 -0500 Original-Received: from barbara.blakulla.net ([213.212.21.238] helo=linnaeus) by kvast.blakulla.net with esmtp (Exim 3.36 #1 (Debian)) id 18h2Vy-0007pC-00; Fri, 07 Feb 2003 08:01:34 +0100 Original-Received: from mdj by linnaeus with local (Exim 3.36 #1 (Debian)) id 18h2Vt-0000x4-00; Fri, 07 Feb 2003 08:01:29 +0100 Original-To: Rob Browning In-Reply-To: <87vfzw3eyo.fsf@raven.i.defaultvalue.org> (Rob Browning's message of "Thu, 06 Feb 2003 22:13:51 -0600") User-Agent: Gnus/5.090008 (Oort Gnus v0.08) Emacs/21.2 (i386-pc-linux-gnu) Original-cc: djurfeldt@nada.kth.se Original-cc: Marius Vollmer X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1b5 Precedence: list List-Id: Developers list for Guile, the GNU extensibility library List-Help: List-Post: List-Subscribe: , List-Archive: List-Unsubscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: main.gmane.org gmane.lisp.guile.devel:1901 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:1901 Rob Browning writes: > Mikael Djurfeldt writes: > >> I've enabled Guile macro macro expansion in syntax-case macro >> expansion. This means that, for the first time, Guile macros and >> syntax-case macros should play reasonably well together. >> >> One of the good effects is that goops code now can use syntax-case >> macros. > > Hmm, I wonder if this means that hobbit might be closer to working > again. One of the big issues last time I was playing with it was that > there was no way to get all macros "fully expanded" before passing > them to hobbit. This is true, although there are some caveats: The syntax-case macro expansion code does not expand macros of type "syntax" (acros). While this would be easy to do, it is not meaningful since acros should be evaluated during evaluation-time. Also, macros which depend on the detailed representation of the environment will fail. I suggest you have a look at the expansion code in syncase.scm. It's quite simple. It basically only extracts the transformer and calls it. M _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel