Skip to content

P2615 Meaningful exports CWG2443 #1236

Closed
cplusplus/draft
#5955
Closed
P2615 Meaningful exports CWG2443#1236
cplusplus/draft
#5955
Labels
CWGCoreplenary-approvedPapers approved for inclusion in their target vehicle by plenary vote.
Milestone
2022-11

Description

@jensmaurer
jensmaurer
opened on May 20, 2022

In its 2022-05-20 telecon, CWG agreed with the wording for CWG2443 as shown here:

https://wiki.edg.com/pub/Wg21telecons2022/CoreWorkingGroup/cwg2443.html

Allowing (almost) any kind of declaration in the declaration-seq of an export-declaration is a design change that needs EWG approval.

Activity

  1. jensmaurer
    added
    EWGEvolution
    C++23Targeted at C++23
    on May 20, 2022

  2. erichkeane commented on Jun 23, 2022

    @erichkeane
    erichkeane
    on Jun 23, 2022
    Collaborator

    This was discussed during the EWG 6/23/2022 Telecon, and the following poll was taken:

    EWG Approves of the direction of Core's proposed solution to CWG2443 as a Defect Report.

    SF F N A SA
    7 6 0 0 0

    Result: Consensus

    This will be forwarded to CWG, pending feedback from a not-present-for-the-discussion implementer.

  3. erichkeane
    added
    CWGCore
    and removed
    EWGEvolution
    on Jun 24, 2022

  4. jensmaurer commented on Jul 2, 2022

    @jensmaurer
    jensmaurer
    on Jul 2, 2022
    MemberAuthor

    CWG telecon 2022-07-01: Reviewed; needs a re-review due to a late small wording update.

    An objection was raised against removing the normative requirement "An exported declaration that is not a module-import-declaration shall declare at least one name." As agreed with the EWG chair, the concern will be discussed in the upcoming EWG telecon.

    P2615R0 Meaningful exports (Davis Herring)

  5. jensmaurer
    changed the title [-]CWG2443 Meaningless template exports[/-] [+]P2615R Meaningful exports CWG2443[/+] on Jul 2, 2022
  6. jensmaurer
    added
    EWGEvolution
    and removed
    CWGCore
    on Jul 2, 2022
  7. jensmaurer
    changed the title [-]P2615R Meaningful exports CWG2443[/-] [+]P2615 Meaningful exports CWG2443[/+] on Jul 2, 2022

  8. erichkeane commented on Jul 7, 2022

    @erichkeane
    erichkeane
    on Jul 7, 2022
    Collaborator

    Time + Chair error resulted in this not getting seen at the 7/7 EWG telecon, so I'll ensure it is scheduled 1st thing on the 7/21 meeting.

  9. jensmaurer commented on Jul 15, 2022

    @jensmaurer
    jensmaurer
    on Jul 15, 2022
    MemberAuthor

    CWG telecon 2022-07-15: Approved P2615R0 pending EWG approval.

  10. wg21bot commented on Jul 21, 2022

    @wg21bot
    wg21bot
    on Jul 21, 2022
    Collaborator

    P2615R0 Meaningful exports (S. Davis Herring)

  11. wg21bot
    added this to the 2022-telecon milestone on Jul 21, 2022

  12. erichkeane commented on Jul 21, 2022

    @erichkeane
    erichkeane
    on Jul 21, 2022
    Collaborator

    Re-discussed during the EWG 7/21/2022 Telecon, and the following poll was (re)taken:

    SF F N A SA
    1 3 4 2 2

    Result: Not Consensus

    Due to the procedural concerns, this is replacing the previous vote on this topic. During the meeting, a replacement proposal was promised in the next mailing or so to solve this core issue.

  13. 3 remaining items

  14. jfbastien
    added
    CWGCore
    and removed
    needs-revisionPaper needs changes before it can proceed
    on Nov 10, 2022
  15. erichkeane
    added
    C++23Targeted at C++23
    and removed
    EWGEvolution
    on Nov 10, 2022
  16. jfbastien
    removed
    C++23Targeted at C++23
    on Nov 10, 2022
  17. jensmaurer
    added
    needs-revisionPaper needs changes before it can proceed
    on Nov 10, 2022

  18. jensmaurer commented on Nov 10, 2022

    @jensmaurer
    jensmaurer
    on Nov 10, 2022
    MemberAuthor

    Davis tells us he needs to change the paper to implement EWG guidance.

  19. jfbastien commented on Nov 10, 2022

    @jfbastien
    jfbastien
    on Nov 10, 2022
    Collaborator

    We need to address a few more cases:

      static_assert(...);        // as discussed, accept
  asm("...");                // as discussed, accept
  template void f();         // as discussed, reject
  template<> void f<int>();  // as discussed, reject
  A() -> A<0>;               // treat like template and reject?
  ;                          // treat like static_assert and accept?
  [[...]];                  // treat like static_assert and accept?

  20. erichkeane commented on Nov 11, 2022

    @erichkeane
    erichkeane
    on Nov 11, 2022
    Collaborator

    The potentially attributed null statement may have the 'export' keyword, despite it being meaningless.

    SF F N A SA
    5 1 1 1 1

    Result: Consensus

    A deduction guide declaration inside of an export {} should be permitted, despite not having meaning.

    SF F N A SA
    7 2 0 0 1

    Result: Consensus

    export on a deduction guide declaration (no {}) should be permitted, despite not having meaning.

    SF F N A SA
    6 2 1 0 2

    Result: Consensus

  21. cor3ntin
    added
    plenary-approvedPapers approved for inclusion in their target vehicle by plenary vote.
    on Nov 12, 2022
  22. tkoeppe
    closed this as completedin draft#5955on Nov 24, 2022

  23. wg21bot commented on Dec 5, 2022

    @wg21bot
    wg21bot
    on Dec 5, 2022
    Collaborator

    P2615R1 Meaningful exports (S. Davis Herring)

  24. wg21bot
    removed
    needs-revisionPaper needs changes before it can proceed
    on Dec 5, 2022
  25. jensmaurer
    modified the milestones: 2022-telecon, 2022-11 on Jan 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    CWGCoreplenary-approvedPapers approved for inclusion in their target vehicle by plenary vote.

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions