fix(eval): isolate Env.error at procedure boundary (issue #1185)#1190

Open

PROgram52bc wants to merge 8 commits into

mainfrom

Commits on May 19, 2026

test: add failing repro for issue #1185 cross-procedure error leak
David Deng
committed
fix(eval): clear Env.error and pop frames in fixupError unconditionally
David Deng
committed
test: add failing unit tests for Env.merge deferred preservation
David Deng
committed
fix(eval): union deferred obligations across Env.merge error wall
David Deng
committed
docs(eval): fix stale StatementEval line reference in fixupError comment
David Deng
committed
test: add CLI golden regression for issue #1185
David Deng
committed
test/docs(eval): document Env.merge both-errored asymmetry
David Deng
committed

Commits on May 20, 2026

docs(eval): drop issue #1185 references and tighten comments
David Deng
committed