source-academy / py-slang / 38108622982

86%

push

github

e-stepper: a tail call replaces the caller's frame in the program with the callee's (#539)

* e-stepper: a tail call replaces the caller's block with the callee's

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* e-stepper: look past global/nonlocal declarations for the tail return

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* e-stepper: global and nonlocal declarations go to the front of the body at each call

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* e-stepper: nonlocal declarations are not in the body of a call; the environment says it already

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* e-stepper test: global x extends the global frame, not an enclosing function's x

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* spec: the global declaration stays in the body of a call, the nonlocal one does not; G alone grows

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* e-stepper: the loop bodies shown in a call leave out the declarations too

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

---------

Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>

5651 of 6994 branches covered (80.8%)

Branch coverage included in aggregate %.

46 of 46 new or added lines in 3 files covered. (100.0%)

12350 of 13835 relevant lines covered (89.27%)

208556.42 hits per line