cplusplus / sender-receiver

Issues list for P2300
Apache License 2.0
19 stars 3 forks source link

Specify when all with no senders #13

Open ericniebler opened 10 months ago

ericniebler commented 10 months ago

Issue by bustercopley Friday Oct 14, 2022 at 18:19 GMT _Originally opened as https://github.com/brycelelbach/wg21_p2300_execution/pull/3_


See https://github.com/NVIDIA/stdexec/pull/482


_bustercopley included the following code: https://github.com/brycelelbach/wg21_p2300_execution/pull/3/commits_

inbal2l commented 3 months ago

@ericniebler do I understand correctly that the 0 case is not supported? (I'm deducing from the PR, as the title is a bit unclear to me). If so, I think this is fixed in the wording of R10: https://cplusplus.github.io/sender-receiver/execution.html#spec-execution.senders.adaptor.when_all (actually, I think the behaviour for 0 is not specified in the design, but we're passed that and in the wording stage anyway).