[r6rs-discuss] [Formal] Reduce over-specification as well as under-specification.

From: David Van Horn <dvanhorn>
Date: Thu Nov 16 12:43:30 2006

Andre van Tonder wrote:
> On Thu, 16 Nov 2006, Felix Klock wrote:
>
>> Do you mean nest in the sense of:
>>
>> (let-syntax ((x (let-syntax ((y (syntax-rules () ...))) ...))) ...)
>
> Correct.
>
>> The former case is not expressible in portable R5RS, correct?
>
> I believe offhand it is supposed to work in r5rs, but you will probably
> be able to find someone who disagrees with that, and they may be right.

No, it is not allowed in R5RS since the RHS of the let-syntax binding
must be a transformer spec, and a transformer spec is defined as an
instance of syntax-rules.

David
Received on Thu Nov 16 2006 - 12:43:16 UTC