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: replace use of Type macro #902

Merged
merged 1 commit into from
Jun 27, 2024
Merged

Editorial: replace use of Type macro #902

merged 1 commit into from
Jun 27, 2024

Conversation

bakkot
Copy link
Contributor

@bakkot bakkot commented Jun 26, 2024

Type() is kind of a weird operation; it's not totally clear what Type would return for an arbitrary Record. For example, Completion Records are listed as specification types, so would Type(_cr_) be "Record" or "Completion Record"? tc39/ecma262#3339 will clarify this, but will do so by precisely defining the domain of input to be only ES language types, not specification types.

In any case, it's also not necessary to use the macro here; the prose is easier to read anyway. This was the only use of this AO in 402.

@gibson042 gibson042 merged commit 53e7478 into main Jun 27, 2024
3 checks passed
@gibson042 gibson042 deleted the bakkot-patch-1 branch June 27, 2024 14:57
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.

3 participants