cplusplus / sender-receiver

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

typo in draft #20

Open ericniebler opened 10 months ago

ericniebler commented 10 months ago

Issue by bylee20 Friday Feb 03, 2023 at 13:04 GMT _Originally opened as https://github.com/brycelelbach/wg21_p2300_execution/issues/22_


I am not sure here is right place. Please forgive me if I am at wrong place.

I found a typo in recently updated draft.

https://brycelelbach.github.io/wg21_p2300_execution/execution.html#spec-execution.syn

Here,

  template <class T>
    concept queryable = destructible;

The template argument for std::destructible is missing.

ericniebler commented 10 months ago

Comment by bylee20 Friday Feb 03, 2023 at 15:59 GMT


Also, I can see some out-of-order declarations in 11.1. Header synopsis. For instance, sender_to concept uses completion_signatures_of_t and connect which are declared/defined later.

I am not familiar with this kind of draft document so maybe I should not consider those declarations are actually compilable code. If you want me to report them too, please let me know.

ericniebler commented 10 months ago

Comment by bylee20 Sunday Feb 05, 2023 at 15:41 GMT


Another typo: https://brycelelbach.github.io/wg21_p2300_execution/execution.html#spec-execution.senders.consumers.sync_wait

Here, sync-wait-type is defined as a alias template which takes only one parameter but it is mentioned as sync-wait-type<S, sync-wait-env>.