fix: resolve bytecode member indices at emit time #199

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

zharinov merged 1 commit into master from fix/bytecode-member-indices

Dec 31, 2025

Member

zharinov commented Dec 31, 2025

Summary

Fixes incorrect bytecode member indices by deferring resolution to emit time.

Problems fixed:

Captures were assigned to wrong struct fields in multi-entrypoint queries
Inner captures in nested scopes didn't emit Set effects
Tagged alternations used branch index instead of absolute member index

Solution:

Added MemberRef enum for deferred resolution (stores TypeId + relative index)
Added EffectIR wrapper for effects with symbolic member references
Added scope stack to compiler for tracking nested struct contexts
Resolution happens during bytecode emission when absolute indices are known

Test plan

All existing tests pass
Verified bytecode output for multiple entrypoints
Verified bytecode output for nested struct arrays
Verified bytecode output for tagged alternations
Stress tested 14 different query patterns via CLI


          fix: resolve bytecode member indices at emit time

4b00079

zharinov enabled auto-merge (squash)

December 31, 2025 15:05

zharinov merged commit 71e4779 into master

4 checks passed

zharinov deleted the fix/bytecode-member-indices branch

December 31, 2025 15:06

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet