Improve compiler diagnostics for when a sender & receiver won't connect
@ericniebler is already working on this.
Since Mar 16, 2023.
- #835 by @maikel — closed without merging
- Dominant language
- C++
- Stars
- 2.4k
- Forks
- 270
- Avg merge
- 3d 6h
- Merged PRs (30d)
- 39
Description
I think stdexec can absolutely have good diagnostics, but we're a long way from that. I've done a bit of that with the receiver_of concept, which gives good diagnostics when it fails. (It tells you which completion signature the receiver lacks a handler for. See here.)
I'm thinking it should be possible to retrofit this sort of type-based error propagation into, say, get_completion_signatures and make_completion_signatures, so that users get a sensible diagnostic when a sender and receiver don't connect. And then change the routines like sync_wait to surface the error information when the requirements aren't satisfied.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.