Add list of LWG papers accepted by WG21 during the June 2021 plenary

[cor3ntin]

Missing EOF

[• Quuxplusone]

libcxx/docs/Cxx2bStatusPaperStatus.csv

14

Please alphabetize (within lines 14–25, that is); so e.g. P1518R2 should come after P1425R4, and P0401R6 should come first.

19

I believe this was at least partly done in D102119. @cjdb's commit message mentions p2231, although it doesn't explicitly claim to have implemented the whole optional half of the paper.
D102119 also added a line to libcxx/docs/Cxx2aStatusPaperStatus.csv, which should be removed from there and moved over to here. Alternatively, ping me and I'll make a followup PR to verify and/or complete the optional implementation, add the feature-test macro, and move the line.

libcxx/docs/FormatIssuePaperStatus.csv

26

Was p2216 accepted for C++2b in June? If so, then it should also be listed in libcxx/docs/Cxx2bStatusPaperStatus.csv (as well as here: I think this line is good).

libcxx/docs/RangesIssuePaperStatus.csv

26–30

Were these papers accepted for C++2b in June? If so, then they should also be listed in libcxx/docs/Cxx2bStatusPaperStatus.csv (as well as here).

[cor3ntin]

Sort papers by numbers

[cor3ntin]

libcxx/docs/Cxx2bStatusPaperStatus.csv

19

I actually would appreciate a follow up PR for that!

[Mordante]

Thanks a lot for updating the documentation!

libcxx/docs/Cxx2bStatusPaperStatus.csv

21

Can you add a note that this paper has been retroactively accepted in C++20? (The same for the other papers retroactively accepted to C++20.)

libcxx/docs/FormatIssuePaperStatus.csv

26

It was accepted in the last meeting. Since the paper is backported to C++20 I think it makes sense to place it next to the other format papers accepted in C++20.

[cor3ntin]

Add notes for C++20 targeting papers

[ldionne]

Thanks a lot for updating @cor3ntin!

Ship it once @Quuxplusone is happy, he seems to have taken this one into his hands.

[• Quuxplusone]

libcxx/docs/Cxx2bStatusPaperStatus.csv

21

Actually, based on @Mordante's comments, I'm revising my opinion: If a paper was accepted as a DR against C++20 or earlier (especially, I assume, all the format- and ranges-related papers; but also the constexpr-optional paper p2231 which was DR'ed back to C++20 but not C++17, IIUC), then I see how it makes perfect sense to list them in Cxx2aStatusPaperStatus.csv instead of Cxx2bStatusPaperStatus.csv.

I still think that every paper voted in at the June meeting should appear in either Cxx2bStatusPaperStatus.csv or Cxx2aStatusPaperStatus.csv. (That is, no paper should appear solely in RangesIssuePaperStatus.csv. So thank you for fixing that.)

It'd be nice if the commit message explained where this data came from.

[cor3ntin]

Put a link to WG21's github in the commit message

libcxx/docs/Cxx2bStatusPaperStatus.csv

21

I think it makes more sense too keep everything under 23 with a note.

[Mordante]

libcxx/docs/Cxx2bStatusPaperStatus.csv

21

I would look under C++23 for the status of these papers, so I prefer them in this file. cppreference also lists them under C++23, but with a DR: prefix.
https://en.cppreference.com/w/cpp/compiler_support/23

[cor3ntin]

libcxx/docs/Cxx2bStatusPaperStatus.csv

21

What do you think of the current approach? (a note column, see below)

[Mordante]

libcxx/docs/Cxx2bStatusPaperStatus.csv

21

I liked the approach when I looked at it before, I just didn't comment on it ;-)

[cjdb]

libcxx/docs/Cxx2bStatusPaperStatus.csv

19

std::optional is 100% constexpr per that paper. No feature test macros have been updated.

libcxx/docs/RangesIssuePaperStatus.csv

26–30

@ldionne asked me to put the constexpr optional paper into Cxx2a, so I think these should follow suit.

[ldionne]

libcxx/docs/RangesIssuePaperStatus.csv

26–30

Indeed, my understanding is that https://wg21.link/P2231R1 was voted to be applied as a DR to C++20 (with the understanding that it's up to implementers to do what they want).

[• Quuxplusone]

libcxx/docs/RangesIssuePaperStatus.csv

26–30

@ldionne: Yeah, but the question is, should these papers be listed on the Cxx2a status page, the Cxx2b status page(, or both)? I initially thought Cxx2b but then changed my mind to Cxx2a. It sounds as if @Mordante still thinks Cxx2b though?

[Mordante]

libcxx/docs/RangesIssuePaperStatus.csv

26–30

Yes I still prefer Cxx2b. LWG-issues are backported to previous standards, these are also listed under Cxx2b.
I won't object against Cxx2a. I do object to add them to both pages, that's asking for these two pages getting out of sync.

[• Quuxplusone]

libcxx/docs/RangesIssuePaperStatus.csv

26–30

Well, if @ldionne is leaving it up to me (which is probable IMHO but not 100% clear), I'll make the call for Cxx2a please.
Rationale: People might look at the Cxx2a status page to see whether we've implemented all of C++20... and that includes whether we've implemented the DRs that retroactively changed what it means to "implement all of C++20."
@cor3ntin, please make the move from Cxx2b to Cxx2a, and then ship it! (Or, don't make the move and ship it anyway; I won't seriously object; but I still think my rationale is good for making the move.)

[cor3ntin]

Move DR papers to Cxx2a

libcxx/docs/Cxx2bStatusPaperStatus.csv

 "Paper #","Group","Paper Name","Meeting","Status","First released version"
 "`P0881R7 <https://wg21.link/P0881R7>`__","LWG","A Proposal to add stacktrace library","Autumn 2020","",""
 "`P0943R6 <https://wg21.link/P0943R6>`__","LWG","Support C atomics in C++","Autumn 2020","",""
 "`P1048R1 <https://wg21.link/P1048R1>`__","LWG","A proposal for a type trait to detect scoped enumerations","Autumn 2020","|Complete|","12.0"
 "`P1679R3 <https://wg21.link/P1679R3>`__","LWG","string contains function","Autumn 2020","|Complete|","12.0"
 "","","","","",""
 "`P1682R3 <https://wg21.link/P1682R3>`__","LWG","std::to_underlying for enumerations","February 2021","|Complete|","13.0"
 "`P2017R1 <https://wg21.link/P2017R1>`__","LWG","Conditionally borrowed ranges","February 2021","",""
 "`P2160R1 <https://wg21.link/P2160R1>`__","LWG","Locks lock lockables","February 2021","",""
 "`P2162R2 <https://wg21.link/P2162R2>`__","LWG","Inheriting from std::variant","February 2021","|Complete|","13.0"
 "`P2212R2 <https://wg21.link/P2212R2>`__","LWG","Relax Requirements for time_point::clock","February 2021","",""
 "`P2259R1 <https://wg21.link/P2259R1>`__","LWG","Repairing input range adaptors and counted_iterator","February 2021","",""
 "","","","","",""
 "`P1518R2 <https://wg21.link/P1518R2>`__","LWG","Stop overconstraining allocators in container deduction guides","June 2021","|Complete|","13.0"
-"","","","","",""
+"`P1132R8 <https://wg21.link/P1132R8>`__","LWG","out_ptr - a scalable output pointer abstraction","June 2021","",""
+"`P1328R1 <https://wg21.link/P1328R1>`__","LWG","Making std::type_info::operator== constexpr","June 2021","",""
+"`P0448R4 <https://wg21.link/P0448R4>`__","LWG","A strstream replacement using span<charT> as buffer","June 2021","",""
+"`P1425R4 <https://wg21.link/P1425R4>`__","LWG","Iterators pair constructors for stack and queue","June 2021","",""
+"`P2231R1 <https://wg21.link/P2231R1>`__","LWG","Missing constexpr in std::optional and std::variant","June 2021","",""
+"`P2166R1 <https://wg21.link/P2166R1>`__","LWG","A Proposal to Prohibit std::basic_string and std::basic_string_view construction from nullptr","June 2021","",""
+"`P2136R3 <https://wg21.link/P2136R3>`__","LWG","invoke_r","June 2021","",""
+"`P1989R2 <https://wg21.link/P1989R2>`__","LWG","Range constructor for std::string_view","June 2021","",""
+"`P1951R1 <https://wg21.link/P1951R1>`__","LWG","Default Arguments for pair Forwarding Constructor","June 2021","",""
+"`P1659R3 <https://wg21.link/P1659R3>`__","LWG","starts_with and ends_with","June 2021","",""
+"`P0401R6 <https://wg21.link/P0401R6>`__","LWG","Providing size feedback in the Allocator interface","June 2021","",""
+"","","","","",""
 No newline at end of file

libcxx/docs/FormatIssuePaperStatus.csv

 `P1361 <https://wg21.link/P1361>`_,"Integration of chrono with text formatting",,,,
 `LWG-3218 <https://wg21.link/LWG3218>`_,"Modifier for %d parse flag does not match POSIX and format specification",,,,
 `LWG-3230 <https://wg21.link/LWG3230>`_,"Format specifier %y/%Y is missing locale alternative versions",,,,
 `LWG-3241 <https://wg21.link/LWG3241>`_,"chrono-spec grammar ambiguity in [time.format]",,,,
 `LWG-3262 <https://wg21.link/LWG3262>`_,"Formatting of negative durations is not specified",,,,
 `LWG-3270 <https://wg21.link/LWG3270>`_,"Parsing and formatting %j with durations",,,,
 `LWG-3272 <https://wg21.link/LWG3272>`_,"%I%p should parse/format duration since midnight",,,,
 `LWG-3332 <https://wg21.link/LWG3332>`_,"Issue in [time.format]",,,,
+
+`P2216 <https://wg21.link/P2216>`_,"std::format improvements",,,,

libcxx/docs/RangesIssuePaperStatus.csv

 `P1870R1 <https://wg21.link/P1870R1>`__,safe_range,,
 `P1871R1 <https://wg21.link/P1871R1>`__,disable_sized_sentinel_for,,
 `P1878R1 <https://wg21.link/P1878R1>`__,Constraining Readable Types,,
 `P1970R2 <https://wg21.link/P1970R2>`__,ranges::ssize,,
 `P1983R0 <https://wg21.link/P1983R0>`__,Fixing Minor Ranges Issues,,
 `P1994R1 <https://wg21.link/P1994R1>`__,elements_view Needs Its Own sentinel,,
 `P2091R0 <https://wg21.link/P2091R0>`__,Fixing Issues With Range Access CPOs,,
 `P2106R0 <https://wg21.link/P2106R0>`__,Range Algorithm Result Types,,
+
+`P2325R3 <https://wg21.link/P2325R3>`__,Views should not be required to be default constructible ,,
+`P2328R1 <https://wg21.link/P2328R1>`__,join_view should join all views of ranges,,
+`P2210R2 <https://wg21.link/P2210R2>`__,Superior String Splitting,,
+`P2281R1 <https://wg21.link/P2281R1>`__,Clarifying range adaptor objects,,
+`P2367R0 <https://wg21.link/P2367R0>`__,Remove misuses of list-initialization from Clause 24,,
+
 `LWG3169 <https://wg21.link/lwg3169>`__, ranges permutation generators discard useful information,,
 `LWG3173 <https://wg21.link/lwg3173>`__, Enable CTAD for ref-view,,
 `LWG3179 <https://wg21.link/lwg3179>`__, subrange should always model Range,,
 `LWG3180 <https://wg21.link/lwg3180>`__, Inconsistently named return type for ranges::minmax_element,,
 `LWG3183 <https://wg21.link/lwg3183>`__, Normative permission to specialize Ranges variable templates,,
-`LWG3186 <https://wg21.link/lwg3186>`__," ranges removal, partition, and partial_sort_copy algorithms discard useful information",,
+`LWG3186 <https://wg21.link/lwg3186>`__, "ranges removal, partition, and partial_sort_copy algorithms discard useful information",,
 `LWG3191 <https://wg21.link/lwg3191>`__, std::ranges::shuffle synopsis does not match algorithm definition,,
 `LWG3276 <https://wg21.link/lwg3276>`__, Class split_view::outer_iterator::value_type should inherit from view_interface,,
 `LWG3280 <https://wg21.link/lwg3280>`__, View converting constructors can cause constraint recursion and are unneeded,,
 `LWG3281 <https://wg21.link/lwg3281>`__, Conversion from pair-like types to subrange is a silent semantic promotion,,
 `LWG3282 <https://wg21.link/lwg3282>`__, subrange converting constructor should disallow derived to base conversions,,
 `LWG3286 <https://wg21.link/lwg3286>`__, ranges::size is not required to be valid after a call to ranges::begin on an input range,,
 `LWG3291 <https://wg21.link/lwg3291>`__, iota_view::iterator has the wrong iterator_category,,
 `LWG3292 <https://wg21.link/lwg3292>`__, iota_view is under-constrained,,