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

From: David Van Horn <dvanhorn>
Date: Tue Nov 28 12:44:44 2006

AndrevanTonder wrote:
> Lynn Winebarger wrote:
>
>> I agree, those are cool macros. However, they did not do what I want,
>> which is to deprivilege core forms at the top level.
>
> While r5.91rs does not say anything about the toplevel, core forms do
> not currently have any special privilege. You can replace them at will
> at the library or script level by using something like
>
> (import (except r6rs lambda)
> (rename trace-library (trace-lambda lambda)))

I think the term "core form" is used incorrectly here. A core form is
an implementation dependent form that results from the expansion
process. I believe "syntactic keyword" is the correct term, and the
point is correct, no syntactic keyword enjoys special privilege.

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.

David
Received on Tue Nov 28 2006 - 12:44:38 UTC