chicken-hackers
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Chicken-hackers] [PATCH] Fix meta evaluation (so that require-exten


From: Peter Bex
Subject: Re: [Chicken-hackers] [PATCH] Fix meta evaluation (so that require-extension-for-syntax works properly)
Date: Tue, 2 Jul 2013 09:11:21 +0200
User-agent: Mutt/1.4.2.3i

On Mon, Jul 01, 2013 at 04:34:13PM -0400, John Cowan wrote:
> Peter Bex scripsit:
> 
> > This means that currently we can only get syntax-rules from R7RS
> > through (import-for-syntax r7rs), because it's on the right-hand side
> > of define-syntax.
> 
> Well, that's not so bad, or wouldn't be so bad if there was a command-line
> switch to accomplish it.

Maybe it's not so bad considering it makes less sense to load r7rs through
the CHICKEN module system.  If using the r7rs module system can do this
transparently it might just work.

> Within the R7RS-small context, that would actually work, since no other
> syntax transformer is allowed in conforming R7RS code.  But frankly I'd
> rather you just put a formal derogation saying that Chicken supports
> only R5RS syntax-rules even in R7RS mode.  After all, Chibi supports
> R7RS syntax-rules even in its R5RS (default) mode.

I think it's better to support R7RS syntax-rules when R7RS is loaded.
It could be noted as a caveat in the r7rs egg documentation.

> > As much as I hate to say it, the explicit phasing stuff in R6RS really
> > seems like the Right Way to do it.  
> 
> See <http://www.cs.indiana.edu/~dyb/pubs/implicit-phasing.pdf>,
> which explains the advantages of implicit phasing.

Thanks for proving me wrong.  This is obviously the Schemey way to do
it: sort of tricky to implement yet simple to use and powerful.

The *really* tricky thing will be in figuring out a way to implement
this in the CHICKEN module system, and whether this will work at all
with separate/cross compilation.

Cheers,
Peter
-- 
http://www.more-magic.net



reply via email to

[Prev in Thread] Current Thread [Next in Thread]