Skip to content

[spectec] Handle shadowing in IL semantics#2181

Open
rossberg wants to merge 1 commit into
mainfrom
il.shadowing
Open

[spectec] Handle shadowing in IL semantics#2181
rossberg wants to merge 1 commit into
mainfrom
il.shadowing

Conversation

@rossberg
Copy link
Copy Markdown
Member

@rossberg rossberg commented Jun 4, 2026

@zilinc, addresses Wasm-DSL#236 by using a lookup function that works with shadowing.

@zilinc
Copy link
Copy Markdown
Contributor

zilinc commented Jun 4, 2026

Thanks. LGTM.

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