Skip to content

Conversation

@zharinov
Copy link
Member

@zharinov zharinov commented Jan 7, 2026

Summary

  • Add constructors (new, new_pre, new_post) and composition methods (nest_scope, with_pre_values, with_post_values) to CaptureEffects
  • Fix two bugs in effect ordering for alternations
  • Migrate call sites to use the new semantic API

Why

Manual effect composition was error-prone - handlers had to know the correct ordering rules (scopes nest, values append). The new API encodes these rules, preventing bugs like the ones fixed here where capture.pre was discarded or effects were ordered incorrectly.

@zharinov zharinov enabled auto-merge (squash) January 7, 2026 15:09
@zharinov zharinov merged commit d79cd90 into master Jan 7, 2026
4 checks passed
@zharinov zharinov deleted the refactor/capture-effects-builder branch January 7, 2026 15:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants