[Top][All Lists]

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

Re: Internal defines

From: David Van Horn
Subject: Re: Internal defines
Date: Mon, 10 Nov 2003 21:50:47 -0600
User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.3) Gecko/20030312

Tom Lord wrote:
> But I think it is crystal clear (once the subtleties understodd) that if the
> [R5RS] denotational semantics do not support [R5RS] 5.3 then the
> denotational semantics have a bug.

The denotational semantics given by R5RS are for primitive expressions and
selected built-in procedures of the language that the macro system must
transform programs into; it makes no sense for the DS to make mention of
macros and their errors.

The fact that there is no formal semantics for the syntax transformation
language is sad and would be a welcome addition to R6RS, IMO.


reply via email to

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