Skip to content

Rename the scope operand of enter when building IR - #166

Merged
CarloLucibello merged 1 commit into
masterfrom
cl/enter-scope-rename
Oct 22, 2026
Merged

Rename the scope operand of enter when building IR#166
CarloLucibello merged 1 commit into
masterfrom
cl/enter-scope-rename

Rename the scope operand of `enter` when building `IR`

2f1a767
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar