source-academy / py-slang / 38552828090

86%

push

github

CSE snapshots: keep the frames of closures inside lists (#546)

* e-stepper: a tail call says E1 is no longer needed here, not in the program

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

* e-stepper: follow the book's wording: built-in, and a new frame's enclosing environment

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

* e-stepper: a call creates a new environment whose enclosing environment is the global environment (3.2.1)

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

* e-stepper: environments for calls and function objects, frames for bindings (3.2.1)

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

* e-stepper: the new frame would have no bindings

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

* CSE snapshots: keep the frames of closures inside lists

serializeEnvChain only followed closures bound directly or on the stash, so the
thunk in a stream's pair lost its defining frame from the snapshot and the
frontend crashed (source-academy/frontend#4471).

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

---------

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

5673 of 7013 branches covered (80.89%)

Branch coverage included in aggregate %.

9 of 9 new or added lines in 1 file covered. (100.0%)

12377 of 13854 relevant lines covered (89.34%)

208846.22 hits per line