[plt-scheme] Non-hygenic Macro Revelation

Yes, I meant macro expansion systems in the Dybvig tradition. Sorry again for being unclear.

Dave

----- Original Message -----
From: "Carl Eastlund" <carl.eastlund at gmail.com>
To: dherman at ccs.neu.edu
Cc: "PLT-Scheme List" <plt-scheme at list.cs.brown.edu>
Sent: Thursday, March 25, 2010 3:16:56 PM GMT -08:00 US/Canada Pacific
Subject: Re: [plt-scheme] Non-hygenic Macro Revelation

On Thu, Mar 25, 2010 at 6:12 PM,  <dherman at ccs.neu.edu> wrote:
> I disagree; I meant there's no right solution without a documented specification. If you specify what implicit bindings it defines (and with syntax-case, you need to specify what marks it uses) then there *is* a right solution.

Er... by "with syntax-case" do you mean with Dybvig's hygienic macro
system?  Because syntax-case is just a pattern matcher.  I suppose it
is somewhat unfortunate that they were proposed in the same paper, and
the more interesting part of it was never given a separate name.

--Carl