Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Editorial: Narrow return type of GetExportedNames and more assertions #3165

Merged
merged 2 commits into from
Nov 1, 2023

Conversation

doehyunbaek
Copy link
Contributor

The first commit is an exact copy of #3127.

The second commit adds more assertions with respect to Abstract Operations in module section, this was done primarily to make clear non-null values are passed into ResolveExport and GetImportedModule

@bakkot bakkot added the ready to merge Editors believe this PR needs no further reviews, and is ready to land. label Nov 1, 2023
@ljharb ljharb changed the title Editorial: Narrow return type of GetExportedNames and more assertions. Editorial: Narrow return type of GetExportedNames and more assertions Nov 1, 2023
With two assertions to make clear the validity of narrowing. This is an
exact copy of the change proposed in the PR tc39#3127(tc39#3127).
This makes clear arguments passed to ResolveExport and GetImportedModule is not null.
@ljharb ljharb force-pushed the module-assertions branch from f93b12a to ea5ee21 Compare November 1, 2023 18:49
@ljharb ljharb merged commit ea5ee21 into tc39:main Nov 1, 2023
zhangenming pushed a commit to zhangenming/ecma262 that referenced this pull request Dec 22, 2023
With two assertions to make clear the validity of narrowing. This is an
exact copy of the change proposed in the PR tc39#3127(tc39#3127).
zhangenming pushed a commit to zhangenming/ecma262 that referenced this pull request Dec 22, 2023
This makes clear arguments passed to ResolveExport and GetImportedModule is not null.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editorial change ready to merge Editors believe this PR needs no further reviews, and is ready to land.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants