Dan Sugalski wrote:

You've got me confused here.

Well, the question is: Is it allowed to create a continuation in one subroutine with the destination label being in a different subroutine?


  .sub _f1
   label = get_addr dest_label
   _f2(label)
   ...
 dest_label:
  .end

  .sub _f2
  .param int lab
   cont = newcont lab
   ...
   cont()
  .end

That's technically possible. But it's not solvable to create proper code at the dest_label to restore register stacks.

leo



Reply via email to