0cb2e7ba07
Fixes #618 ## Changes Add stack depth validation in processExecIf() so asymmetric EXEC.IF branches (where one branch pushes more values than the other) throw an explicit error instead of silently padding with '0'. Error messages identify both branch depths for DYADIC and BOOLEAN stacks. Removed dead-code '0'/'false' fallbacks in buildAssignments and reconstruction. Updated existing unbalanced-branch tests to expect errors; added regression tests for error message content and BOOLEAN mismatch. All existing seed files (optimizer_v3.push3, optimizer_seed.push3) continue to transpile. Co-authored-by: openhands <openhands@all-hands.dev> Reviewed-on: https://codeberg.org/johba/harb/pulls/1033 Reviewed-by: Disinto_bot <disinto_bot@noreply.codeberg.org> |
||
|---|---|---|
| .. | ||
| src | ||
| test | ||
| inject.sh | ||
| optimizer_seed.push3 | ||
| optimizer_v3.push3 | ||
| package-lock.json | ||
| package.json | ||
| test_inject_extraction.sh | ||
| test_transpiler_clamping.sh | ||
| tsconfig.json | ||