[r6rs-discuss] [Formal] Invoking toplevel undefined

From: AndrevanTonder <andre>
Date: Mon Jan 29 10:12:05 2007

On Mon, 29 Jan 2007, Michael Sperber wrote:

>
> 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?

Oh, I was just referring to the part "relative to another library", which has no
meaning for programs.

Andre
Received on Mon Jan 29 2007 - 10:05:51 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:01 UTC