[r6rs-discuss] [Formal] Invoking toplevel undefined

[Michael Sperber]

AndrevanTonder <andre at het.brown.edu> writes:

> On Mon, 29 Jan 2007, Michael Sperber wrote:
>
>> 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.

I went through much the same process, assuming that "evaluating its
definitions and expressions" is the definition of the verb
"instantiate"---I added a clarifying note to that effect.  (This
doesn't resolve the issues cited above, of course, but maybe this
one.)  But maybe I'm missing your point---why isn't it applicable to
programs?

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla