From 6cd2adde29af09e39ef2f183d9818a8d31920a83 Mon Sep 17 00:00:00 2001 From: Hui Date: Mon, 5 Jun 2023 21:52:41 +0100 Subject: [PATCH] editorial + Revision history for R3 --- concat.md | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/concat.md b/concat.md index 608f638..4d452e4 100644 --- a/concat.md +++ b/concat.md @@ -1,6 +1,6 @@ --- title: "`views::concat`" -document: P2542R2 +document: P2542R3 date: 2021-04-21 audience: SG9, LEWG author: @@ -13,6 +13,11 @@ toc: true # Revision History +## R3 + +- Fixed conversions of `difference` types +- Various wording fixes + ## R2 - Adding extra semantic constraints in the concept `concat-indirectly-readable` @@ -641,7 +646,7 @@ namespace std::ranges{ variant>...>; @_maybe-const_@* @*parent_*@ = nullptr; // exposition only - @*base-iter*@ @*it_*@; // exposition only + @*base-iter*@ @*it_*@; // exposition only template constexpr void @_satisfy_@(); // exposition only @@ -656,9 +661,7 @@ namespace std::ranges{ constexpr void @_advance-bwd_@(difference_type offset, difference_type steps); // exposition only template - explicit constexpr @_iterator_@( - @_maybe-const_@* parent, - Args&&... args) + explicit constexpr @_iterator_@(@_maybe-const_@* parent, Args&&... args) requires constructible_from<@*base-iter*@, Args&&...>; // exposition only public: @@ -666,8 +669,7 @@ namespace std::ranges{ @_iterator_@() = default; constexpr @_iterator_@(@_iterator_@ i) - requires Const && - (convertible_to, iterator_t> && ...); + requires Const && (convertible_to, iterator_t> && ...); constexpr decltype(auto) operator*() const;