Skip to content

P3923R0 Additional NB comment resolutions for Kona 2025#8536

Merged
tkoeppe merged 10 commits into
cplusplus:mainfrom
eisenwave:motions-2025-11-lwg-19
Dec 15, 2025
Merged

P3923R0 Additional NB comment resolutions for Kona 2025#8536
tkoeppe merged 10 commits into
cplusplus:mainfrom
eisenwave:motions-2025-11-lwg-19

Conversation

@eisenwave

@eisenwave eisenwave commented Nov 16, 2025

Copy link
Copy Markdown
Member

Fixes #8478
Also fixes cplusplus/papers#2540

Fixes NB AT 7-213 (C++26 CD).
Fixes NB US 140-233 (C++26 CD).
Fixes NB US 141-235 (C++26 CD).
Fixes NB US 145-234 (C++26 CD).
Fixes NB US 147-240 (C++26 CD).
Fixes NB US 164-263 (C++26 CD).
Fixes NB US 126-189 (C++26 CD).
Fixes NB US 227-346 (C++26 CD).
Fixes NB US 229-347 (C++26 CD).
Fixes NB US 221-339 (C++26 CD).
Fixes NB US 225-341 (C++26 CD).

Also fixes https://github.com/cplusplus/nbballot/issues/782
Also fixes https://github.com/cplusplus/nbballot/issues/804
Also fixes https://github.com/cplusplus/nbballot/issues/806
Also fixes https://github.com/cplusplus/nbballot/issues/805
Also fixes https://github.com/cplusplus/nbballot/issues/811
Also fixes https://github.com/cplusplus/nbballot/issues/838
Also fixes https://github.com/cplusplus/nbballot/issues/758
Also fixes https://github.com/cplusplus/nbballot/issues/921
Also fixes https://github.com/cplusplus/nbballot/issues/922
Also fixes https://github.com/cplusplus/nbballot/issues/914
Also fixes https://github.com/cplusplus/nbballot/issues/916

@eisenwave eisenwave added the changes requested Changes to the wording or approach have been requested and not yet applied. label Nov 16, 2025
Comment thread source/algorithms.tex Outdated
Comment thread source/exec.tex
@eisenwave
eisenwave force-pushed the motions-2025-11-lwg-19 branch from f7ba14c to d402a70 Compare November 24, 2025 06:41
@eisenwave eisenwave removed the changes requested Changes to the wording or approach have been requested and not yet applied. label Nov 24, 2025
Comment thread source/exec.tex Outdated
Comment thread source/exec.tex Outdated
Comment thread source/exec.tex Outdated
Comment thread source/algorithms.tex Outdated
@eisenwave
eisenwave force-pushed the motions-2025-11-lwg-19 branch from d402a70 to 3aebb04 Compare November 24, 2025 19:13
Comment thread source/exec.tex
void @\exposid{destroy}@() noexcept; // \expos
};

template<class Alloc, @\libconcept{scope_token}@ Token, @\libconcept{sender}@ Sender, class Env> // \expos

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Do we need the \expos comment here? It's not in the paper.

Where is this deduction guide used, only in the spec, or is its existence observable to users?

@eisenwave eisenwave Dec 4, 2025

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

I think it may get used somehow by spawn_future; https://eel.is/c++draft/exec#spawn.future-17

Anyhow, it felt intuitively necessary, but I'm really not sure whether it actually is.

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

I've raised it on mattermost

Comment thread source/exec.tex
Comment thread source/algorithms.tex Outdated
Comment thread source/algorithms.tex Outdated
Comment thread source/algorithms.tex Outdated
Comment thread source/algorithms.tex Outdated
Comment thread source/algorithms.tex Outdated

@jwakely jwakely left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Non-urgent whitespace changes, and a question about an \expos marker.

@eisenwave
eisenwave requested a review from jwakely December 4, 2025 09:15

@jwakely jwakely left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Looks good.

We need a decision about the \expos on the spawn-future-state deduction guide, but that doesn't need to block merging this.

Fixes NB AT 7-213 (C++26 CD).
Fixes NB US 140-233 (C++26 CD).
Fixes NB US 141-235 (C++26 CD).
Fixes NB US 145-234 (C++26 CD).
Fixes NB US 147-240 (C++26 CD).
Fixes NB US 164-263 (C++26 CD).
Fixes NB US 126-189 (C++26 CD).
@tkoeppe
tkoeppe force-pushed the motions-2025-11-lwg-19 branch from c40a272 to a9c4874 Compare December 15, 2025 00:16
Fixes NB US 227-346, US 229-347 (C++26 CD).
Fixes NB US 221-339 (C++26 CD).
Fixes NB US 225-341 (C++26 CD).
@tkoeppe
tkoeppe force-pushed the motions-2025-11-lwg-19 branch from a9c4874 to 7963a15 Compare December 15, 2025 00:34
@tkoeppe
tkoeppe merged commit 90427a0 into cplusplus:main Dec 15, 2025
2 checks passed
Comment thread source/exec.tex
Comment thread source/exec.tex
@jensmaurer jensmaurer added this to the post-2025-11 milestone Dec 16, 2025
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.

[2025-11 LWG Motion 19] P3923R0 Additional NB comment resolutions for Kona 2025 P3923 R0 Additional NB comment resolutions for Kona 2025

5 participants