Roger Hale <[EMAIL PROTECTED]> wrote:
Leopold Toetsch wrote:
sub foo { want.List ?? (1,2,3) :: 1 } # or some such
This information could also be attached to @ARGS. E.g.
@ARGS."return_list"(1)
Would it be possible to attach it to the continuation? Then in the course of tail-calling the information continues to be available just where it's needed.
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?
One can also think of {scalar, list, ...} context as the continuation's signature...