[r6rs-discuss] [Formal] Trivial Enhancement of macros in v5.91: capture-syntax

[Andre van Tonder]

On Tue, 28 Nov 2006, AndrevanTonder wrote:

> On Tue, 28 Nov 2006, Abdulaziz Ghuloum wrote:
>
>> 
>> On Nov 28, 2006, at 9:28 AM, AndrevanTonder wrote:
>> 
>>> This seems to be an example where negative phases are unavoidable in 
>>> phased models.
>> 
>> Splitting the library into two components was also unavoidable, wasn't it?
>
> I believe so...

By the way, this is for me a feature, given the kinds of things I am 
interested in doing with libraries.  The inadvisability of mixing code in the 
ground language and code in the meta-language at the same apparent syntactic 
level in an unsplit library becomes obvious once I call my ground language Java 
and my meta-language Scheme, or call my ground language Lazy Scheme and my 
meta-language Scheme.  I like having a library system that can help me keep 
these distinctions straight, with static guarantees, by forcing me to be 
explicit about them.

I know you guys have different applications in mind, for which you have 
argued these constraints not to be relevant, and I am not disputing that.

Cheers
Andre