Hi Romano, I think we are in good agreement on the mechanics.
> This is the "strange" (but useful) thing which happens in function body (and > not in use or object body): at the start of the execution of function body all > the context values are set to none or to the value of args (true for > refinement!). > Another way of looking at this is to note that USE and MAKE OBJECT! both result in immediate evaluation of their body (or spec) blocks, but for functions the body is only evaluated when the function is applied. Ciao -Larry -- To unsubscribe from this list, please send an email to [EMAIL PROTECTED] with "unsubscribe" in the subject, without the quotes.
