Roger Hale <[EMAIL PROTECTED]> wrote:
> Leopold Toetsch wrote:
>>
>> As @ARGS (or @IN_ARGS, @OUT_ARGS) is being stored in the context, and
>> that context is defacto the continuation, yes - a tail-call would
>> inherit this information.
>>
>> leo
> But as each tail-call supplies a new @ARGS, how can this be the case?
We would have two parts in the context: @IN_ARGS, @OUT_ARGS. The
C<tailcall> opcode can preserve that part with the return context.
> One can also think of {scalar, list, ...} context as the continuation's
> signature...
Yes.
leo
