Skip to content

[TS] Capture lexical receivers for stored arrows (#391) - #416

Merged
CaelmBleidd merged 1 commit into
neofrom
caelmbleidd/ts-391-lexical-this
Oct 10, 2026
Merged

CaelmBleidd merged 1 commit into
neofrom
caelmbleidd/ts-391-lexical-this

Conversation

@CaelmBleidd

@CaelmBleidd CaelmBleidd commented Oct 4, 2026 •

Copy link
Copy Markdown
Member

Stored arrows now retain the receiver from their creation context through a declared closure-environment slot, so moving an arrow onto another object does not change this. FunctionType records arrow kind, and ordinary function expressions retain their dynamic receiver. Capture scanning excludes property-access names that are not variable references.

Validation: fresh typecheck and focused frontend tests (3 passed) on the exact rewritten head. The complete semantic stack at original #425 also passed the frontend build and 622 tests. Rebase preserved the original source tree exactly. Frontend/JSON/model correctness does not establish downstream USVM execution support.

Fixes #391

@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/ts-386-yield-delegation branch from d78d9ca to d6b2b27 Compare October 10, 2026 17:36
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/ts-391-lexical-this branch from 1c9e7a5 to ec4aa12 Compare October 10, 2026 17:37
@CaelmBleidd
CaelmBleidd changed the base branch from caelmbleidd/ts-386-yield-delegation to neo October 10, 2026 17:37
@CaelmBleidd
CaelmBleidd merged commit 44ece49 into neo Oct 10, 2026
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