[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] ANN: first draft of R7RS small language available
- To: "Aaron W. Hsu" <arcfide@x>
- Subject: Re: [Scheme-reports] ANN: first draft of R7RS small language available
- From: Alex Shinn <alexshinn@x>
- Date: Mon, 18 Apr 2011 11:26:21 +0900
- Cc: scheme-reports@x
- In-reply-to: <op.vt1mv2c90p3ku8@localhost>
- References: <BANLkTi=hSfKrHo13BUMP==SNPCX-+As0HQ@mail.gmail.com> <BANLkTi=kSqWZpF-fAPObreiuAf9FxPb85w@mail.gmail.com> <BANLkTik2QF-u=58SLtQDTTWnx6htQxhqXA@mail.gmail.com> <op.vt067uor0p3ku8@localhost> <BANLkTin8_pPvE89bWzcnJ6d_EU=AcLCD=A@mail.gmail.com> <op.vt1mv2c90p3ku8@localhost>
On Sun, Apr 17, 2011 at 3:27 AM, Aaron W. Hsu <arcfide@x> wrote:
> Alex:
>
>> Is there actually any implementation for which this could
>> be a problem?
>
> Chez Scheme has this problem specifically. If you create a library that
> exports a macro using an auxiliary keyword, but do not explicitly export
> that keyword, then the implicit binding in the REPL is different than the
> absent binding in the library, meaning that the keywords do not match, and
> making the macro fail to work. On the other hand, if you use that macro in a
> library where the term is unbound, then the macro will work as anticipated,
> because the call site and the definition site both lack a binding for the
> identifier.
Is this inherent in the psyntax expander? I'd like to see the
source that results in this behavior to be convinced it can't
easily be fixed.
--
Alex
_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports