On Mon, 29 Jan 2007, Michael Sperber wrote:
> AndrevanTonder <andre_at_het.brown.edu> writes:
>
>> Section 7.2 starts with the following:
>>
>> "A top-level program is executed by treating the program similarly to
>> a library, and invoking it."
>>
>> However, the description of what it means to "invoke" a library, which
>> was contained in the previous version, has been dropped in this
>> version.
>
> I'll replace this by "instantiate" for the next draft.
I'm not sure if this will work. There seems to be a bit of an issue with the
definition of "instantiate" also, as escribed in this comment:
http://lists.r6rs.org/pipermail/r6rs-discuss/2007-January/001357.html
In fact, I could not find a definition of the verb "instantiate" in the
document, only the following:
"An instance of a library corresponds to an evaluation of its definitions and
expressions in a particular phase relative to another library."
I don't think this is actually applicable to programs and, as stated in the
formal comment, it does not properly distinguish evaluation times of macro
definitions from those of ordinary definitions.
Regards
Andre
Received on Mon Jan 29 2007 - 09:34:20 UTC