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

[Andre van Tonder]

On Tue, 28 Nov 2006, David Van Horn wrote:

> There is only one compound expression form that enjoys the privilege that it 
> cannot be excluded from import, renamed, shadowed, traced, etc., simply 
> because it has no name, which is unfortunate in my opinion.

Indeed an interesting observation.  Giving it a name has proved exceptionally 
useful in PLT Scheme.  I am wondering, though, how its interaction with the 
hygiene mechanism is resolved in PLT.  It seems to me that it would require the 
ability to do datum->syntax with compound syntax objects, specifically 
applications, as templates.  MzScheme has this ability, but it is not currently 
in the draft r6rs (nor would I wish it to be there for technical reasons of my 
own).

Cheers
Andre