From a3edccfced8a5eb95b6e23aeea90e2c12393808f Mon Sep 17 00:00:00 2001 From: Casey Carter Date: Thu, 11 Mar 2021 22:46:41 -0800 Subject: [PATCH 1/3] [range.split.inner] Clarify paragraph 1 ... to avoid confusion about what it means for a name that is not present to denote a type. --- source/ranges.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/ranges.tex b/source/ranges.tex index 49d03483b4..238075a472 100644 --- a/source/ranges.tex +++ b/source/ranges.tex @@ -5866,7 +5866,7 @@ \end{codeblock} \pnum -The \grammarterm{typedef-name} \tcode{iterator_category} denotes: +When present, the \grammarterm{typedef-name} \tcode{iterator_category} denotes: \begin{itemize} \item \tcode{forward_iterator_tag} if From c987e47a886cdea39324a27da4480fbfa524c899 Mon Sep 17 00:00:00 2001 From: Casey Carter Date: Tue, 16 Mar 2021 09:48:46 -0700 Subject: [PATCH 2/3] Apply Jonathan's suggestion --- source/ranges.tex | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/source/ranges.tex b/source/ranges.tex index 238075a472..02e796cfc8 100644 --- a/source/ranges.tex +++ b/source/ranges.tex @@ -5866,7 +5866,9 @@ \end{codeblock} \pnum -When present, the \grammarterm{typedef-name} \tcode{iterator_category} denotes: +If \tcode{Base} does not model \libconcept{forward_range} +there is no member \tcode{iterator_category}. +Otherwise, the \grammarterm{typedef-name} \tcode{iterator_category} denotes: \begin{itemize} \item \tcode{forward_iterator_tag} if From 418903fa9942e1e618f89e5b4741bef39859b0f0 Mon Sep 17 00:00:00 2001 From: Casey Carter Date: Tue, 16 Mar 2021 13:30:15 -0700 Subject: [PATCH 3/3] Update source/ranges.tex MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Markup _`Base`_ correctly. Co-authored-by: Johel Ernesto Guerrero Peña --- source/ranges.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/ranges.tex b/source/ranges.tex index 02e796cfc8..0e9956570d 100644 --- a/source/ranges.tex +++ b/source/ranges.tex @@ -5866,7 +5866,7 @@ \end{codeblock} \pnum -If \tcode{Base} does not model \libconcept{forward_range} +If \exposid{Base} does not model \libconcept{forward_range} there is no member \tcode{iterator_category}. Otherwise, the \grammarterm{typedef-name} \tcode{iterator_category} denotes: \begin{itemize}