change the adaptors to preserve the "non-dependently typed" property

cplusplus / sender-receiver

Issues list for P2300

Apache License 2.0

19 stars 3 forks source link

change the adaptors to preserve the "non-dependently typed" property #194

Open ericniebler opened 7 months ago

ericniebler commented 7 months ago

If a sender declares its completion signatures with a nested completion_signatures alias, then it is not a dependently-typed sender; that is, we don't need an environment to know how it completes.

Currently, the adaptors do not preserve this property, but they could and arguably should.

The algorithms can use that information to type-check non-dependently-typed senders early, which would be a huge usability improvement.

villevoutilainen commented 7 months ago

YES, PLEASE. This allows diagnosing easy mistakes in common attempts at sender-continuation connections near that connection, not far away where the pipeline gets launched. This is essential.

lewissbaker commented 3 months ago

I believe that this should be addressed by P3164R0 when that paper is eventually accepted.