source-academy / py-slang / 28741655851

78%

push

github

fix(stepper): substitute a binding into the rest of the block on its own step (#201)

* fix(stepper): substitute a binding into the rest of the block on its own step

A name binding (`x = 5`, or a `def`) substituted its value into the rest of
the block one step *after* the "Declared and substituted ... into the rest of
the block" step that claims to have already done so — the after (green) step
showed the declaration lingering (correctly, matching `pass`'s green flash)
but the rest of the tree still showed the old, unsubstituted reference, only
updating on the following, unrelated step.

This was inconsistent with function calls, where an argument substitution is
already visible on its own "Substituted ... into ... of ..." step
(`contractCall`), not the next one.

`stepHead`'s `VariableDeclaration`/`FunctionDeclaration` cases now substitute
the bound value into `rest` once and reuse that same substituted list for both
`newBody` (the next contraction's tree) and `postNewBody` (this step's own
after-tree), so the substitution is visible from the "Declared and
substituted" step itself. The declaration site still lingers, highlighted
green, for exactly one more step before disappearing — only the timing of the
substitution's visible effect on the rest of the program moves earlier.

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

* Update src/conductor/stepper/reduce.ts

Co-authored-by: gemini-code-assist[bot] <176961590+gemini-code-assist[bot]@users.noreply.github.com>

---------

Co-authored-by: Shrey Jain <“shreyjain5132@email.com>
Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
Co-authored-by: gemini-code-assist[bot] <176961590+gemini-code-assist[bot]@users.noreply.github.com>

2532 of 3485 branches covered (72.65%)

Branch coverage included in aggregate %.

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

6002 of 7361 relevant lines covered (81.54%)

13755.47 hits per line