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.

Sign up for GitHub

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

Jump to bottom

[execution.syn] Declare read_env with the right name #7169

Merged
merged 1 commit into from
Jul 28, 2024
Merged

[execution.syn] Declare read_env with the right name #7169

merged 1 commit into from
Jul 28, 2024

Conversation

Eelis
Copy link
Contributor

@Eelis Eelis commented Jul 28, 2024

No description provided.

@Eelis Eelis mentioned this pull request Jul 28, 2024
Closed
@jensmaurer
Copy link
Member

This is a defect present in P2300R10, but the fix seems obviously correct.

@jwakely ?

jwakely
jwakely approved these changes Jul 28, 2024
View reviewed changes
Copy link
Member

@jwakely jwakely left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think read was renamed to read_env in R10 of the paper, so the synopsis was apparently missed when renaming it.

@jensmaurer jensmaurer merged commit 9b3d01e into cplusplus:main Jul 28, 2024
2 checks passed
@Eelis Eelis deleted the patch-1 branch July 28, 2024 19:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jensmaurer jensmaurer jensmaurer approved these changes

@jwakely jwakely jwakely approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Eelis @jensmaurer @jwakely