Skip to content

[eudsl-python-extras] Consolidate RAII context classes#464

Merged
makslevental merged 1 commit into
mainfrom
users/makslevental/consolidate-raii-context
Jun 29, 2026
Merged

[eudsl-python-extras] Consolidate RAII context classes#464
makslevental merged 1 commit into
mainfrom
users/makslevental/consolidate-raii-context

Conversation

@makslevental

Copy link
Copy Markdown
Contributor

Summary

  • RAIIMLIRContextModule now inherits from RAIIMLIRContext with create_module=True instead of copy-pasting all the context/location/module setup and teardown logic.
  • RAIIMLIRContext gains an optional create_module parameter for the unified path.
  • ExplicitlyManagedModule left separate (different ownership semantics).
  • All existing callers continue to work unchanged.

Test plan

  • Full test suite: 599 passed, 99.33% coverage

RAIIMLIRContextModule now inherits from RAIIMLIRContext (with
create_module=True) instead of duplicating all the init/del logic.
ExplicitlyManagedModule is left separate since it has different semantics
(no context ownership, explicit finish()).
@makslevental makslevental force-pushed the users/makslevental/consolidate-raii-context branch from 4cfb384 to bbb5cf4 Compare June 29, 2026 01:44
@makslevental makslevental merged commit b27b3ae into main Jun 29, 2026
20 checks passed
@makslevental makslevental deleted the users/makslevental/consolidate-raii-context branch June 29, 2026 01:49
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.

1 participant