[r6rs-discuss] [Formal] Invoking toplevel undefined

[AndrevanTonder]

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