From 47868b33fff535810cf77afcffe827a07ce7b973 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Thu, 25 Apr 2024 00:30:02 +0800 Subject: [PATCH 01/27] [expos.only.entity] Say typedef-names are declared Also use "provided for exposition only" from @W-E-Brown's suggestion. --- source/lib-intro.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/source/lib-intro.tex b/source/lib-intro.tex index 185d42ddc5..6215d57e6e 100644 --- a/source/lib-intro.tex +++ b/source/lib-intro.tex @@ -528,13 +528,13 @@ \pnum Several entities -defined in \ref{\firstlibchapter} through \ref{\lastlibchapter} and \ref{depr} -are only defined for the purpose of exposition. +declared in \ref{\firstlibchapter} through \ref{\lastlibchapter} and \ref{depr} +are provided for exposition only. The declaration of such an entity is followed by a comment ending in \expos. \pnum -The following are defined for exposition only +The following are provided for exposition only to aid in the specification of the library: \indexlibrary{decay-copy@\exposid{decay-copy}}% \begin{codeblock} From cc351f81093ef0279e495dcc913c8f6a8c00ebd1 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Thu, 3 Aug 2023 00:37:14 +0800 Subject: [PATCH 02/27] [type.descriptions.general] Use "shown" for impl-def types --- source/lib-intro.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/lib-intro.tex b/source/lib-intro.tex index 6215d57e6e..b6e83c7835 100644 --- a/source/lib-intro.tex +++ b/source/lib-intro.tex @@ -598,7 +598,7 @@ the library. \pnum -Certain types defined in \ref{input.output} are used to describe implementation-defined types. +Certain types shown in \ref{input.output} are used to describe implementation-defined types. \indextext{types!implementation-defined}% They are based on other types, but with added constraints. From 6efc415b2be72d3e251a317b5d51629dd2bac81f Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Thu, 3 Aug 2023 00:38:04 +0800 Subject: [PATCH 03/27] [enumerated.types] Reword enumerated types Also mention [re]. --- source/lib-intro.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/lib-intro.tex b/source/lib-intro.tex index b6e83c7835..3e4a38c613 100644 --- a/source/lib-intro.tex +++ b/source/lib-intro.tex @@ -605,7 +605,7 @@ \rSec4[enumerated.types]{Enumerated types} \pnum -Several types defined in \ref{input.output} are +Several types specified in \ref{input.output} and \ref{re} are \defnadjx{enumerated}{types}{type}. Each enumerated type may be implemented as an enumeration or as a synonym for an enumeration. From 44ee9ae957f7a4602121e130a6ed2d450823e340 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Thu, 3 Aug 2023 00:38:45 +0800 Subject: [PATCH 04/27] [bitmask.types] Reword bitmask types --- source/lib-intro.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/lib-intro.tex b/source/lib-intro.tex index 3e4a38c613..f606244e5c 100644 --- a/source/lib-intro.tex +++ b/source/lib-intro.tex @@ -638,7 +638,7 @@ \rSec4[bitmask.types]{Bitmask types} \pnum -Several types defined in \ref{\firstlibchapter} through \ref{\lastlibchapter} +Several types specified in \ref{\firstlibchapter} through \ref{\lastlibchapter} and \ref{depr} are \defnx{bitmask types}{type!bitmask}. Each bitmask type can be implemented as an From bf33a6656b0d45cf5287f165a7706e95d8c86935 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Thu, 25 Apr 2024 00:33:17 +0800 Subject: [PATCH 05/27] [extern.types] Use "declared" for C library types --- source/lib-intro.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/lib-intro.tex b/source/lib-intro.tex index f606244e5c..c0b53ee3ad 100644 --- a/source/lib-intro.tex +++ b/source/lib-intro.tex @@ -3384,7 +3384,7 @@ \tcode{::T} and \tcode{std::T} -are reserved to the implementation and, when defined, +are reserved to the implementation and, when declared, \tcode{::T} shall be identical to \tcode{std::T}. From 7f3f861a814cdbcdbf2ac30038367e5c4595ff6e Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Fri, 28 Jul 2023 23:51:45 +0800 Subject: [PATCH 06/27] [cstdint.syn] Use "declare" for typedef-names --- source/support.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/support.tex b/source/support.tex index f5a5ed3ac8..9f03769b24 100644 --- a/source/support.tex +++ b/source/support.tex @@ -2076,10 +2076,10 @@ are also optional; however, if an implementation defines integer types with the corresponding width and no padding bits, -it defines the corresponding \grammarterm{typedef-name}s. +it declares the corresponding \grammarterm{typedef-name}s. Each of the macros listed in this subclause is defined if and only if -the implementation defines the corresponding \grammarterm{typedef-name}. +the implementation declares the corresponding \grammarterm{typedef-name}. \begin{note} The macros \tcode{INT\placeholdernc{N}_C} and \tcode{UINT\placeholdernc{N}_C} correspond to the \grammarterm{typedef-name}s From b61c3cc50d6d8a183986f2f6147626c10a784165 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Fri, 28 Jul 2023 23:52:27 +0800 Subject: [PATCH 07/27] [stdfloat.syn] Use "declare" for typedef-names --- source/support.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/support.tex b/source/support.tex index 9f03769b24..57fbaee3cb 100644 --- a/source/support.tex +++ b/source/support.tex @@ -2090,7 +2090,7 @@ \rSec2[stdfloat.syn]{Header \tcode{} synopsis} \pnum -The header \libheader{stdfloat} defines type aliases for +The header \libheader{stdfloat} declares type aliases for the optional extended floating-point types that are specified in \ref{basic.extended.fp}. From c9c829601a87be793b6938f08953f771c1d225e6 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Fri, 28 Jul 2023 23:58:28 +0800 Subject: [PATCH 08/27] [meta.rqmts] Use "declare" for typedef-names --- source/meta.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/meta.tex b/source/meta.tex index 826751624b..40f2f2f341 100644 --- a/source/meta.tex +++ b/source/meta.tex @@ -168,7 +168,7 @@ modifies a property of a type. It shall be a class template that takes one template type argument and, optionally, additional arguments that help -define the modification. It shall define a publicly accessible nested type +define the modification. It shall declare a publicly accessible nested type named \tcode{type}, which shall be a synonym for the modified type. \pnum From 4503a8f8626c2a5e19024ede48555894d4baa7c7 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Sat, 29 Jul 2023 00:02:58 +0800 Subject: [PATCH 09/27] [meta.trans.other] Use "declare" for typedef-names In the example, it seems a bit verbose to say "declarations and definitions". --- source/meta.tex | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/source/meta.tex b/source/meta.tex index 40f2f2f341..e9e20d4cc7 100644 --- a/source/meta.tex +++ b/source/meta.tex @@ -2294,7 +2294,7 @@ \tcode{template} \tcode{struct common_type;} & Unless this trait is specialized, - the member \tcode{type} is defined or omitted as specified below. + the member \tcode{type} is declared or omitted as specified below. If it is omitted, there shall be no member \tcode{type}. Each type in the template parameter pack \tcode{T} shall be complete, \cv{}~\keyword{void}, or an array of unknown bound. \\ \rowsep @@ -2310,7 +2310,7 @@ \tcode{template} \tcode{struct \libglobal{common_reference};} & - The member \grammarterm{typedef-name} \tcode{type} is defined or omitted + The member \grammarterm{typedef-name} \tcode{type} is declared or omitted as specified below. Each type in the parameter pack \tcode{T} shall be complete or \cv{} \keyword{void}. \\ \rowsep @@ -2446,7 +2446,7 @@ \pnum For the \tcode{common_type} trait applied to a template parameter pack \tcode{T} of types, -the member \tcode{type} shall be either defined or not present as follows: +the member \tcode{type} shall be either declared or not present as follows: \begin{itemize} \item If \tcode{sizeof...(T)} is zero, there shall be no member \tcode{type}. @@ -2519,7 +2519,7 @@ \pnum For the \tcode{common_reference} trait applied to a parameter pack -\tcode{T} of types, the member \tcode{type} shall be either defined or not +\tcode{T} of types, the member \tcode{type} shall be either declared or not present as follows: \begin{itemize} \item If \tcode{sizeof...(T)} is zero, there shall be no member \tcode{type}. @@ -2589,7 +2589,7 @@ \pnum \begin{example} -Given these definitions: +Given these declarations: \begin{codeblock} using PF1 = bool (&)(); using PF2 = short (*)(long); From 0eca51964b47f8fb192201f0401641a086759c4c Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Sat, 29 Jul 2023 00:03:49 +0800 Subject: [PATCH 10/27] [ratio.si] Use "declare" for typedef-names --- source/meta.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/meta.tex b/source/meta.tex index e9e20d4cc7..76ba9b3dbd 100644 --- a/source/meta.tex +++ b/source/meta.tex @@ -7380,5 +7380,5 @@ \tcode{ronna}, and \tcode{quetta}, if both of the constants used in its specification are representable by \tcode{intmax_t}, the typedef is -defined; if either of the constants is not representable by \tcode{intmax_t}, -the typedef is not defined. +declared; if either of the constants is not representable by \tcode{intmax_t}, +the typedef is not declared. From 2ad9a7f1a8b625a594dd4fab9fe7f0b1c8a35072 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Sat, 29 Jul 2023 00:12:12 +0800 Subject: [PATCH 11/27] [readable.traits] Use "declare" for typedef-names --- source/iterators.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/iterators.tex b/source/iterators.tex index cbfa0c2a37..7e69260ecb 100644 --- a/source/iterators.tex +++ b/source/iterators.tex @@ -902,7 +902,7 @@ \pnum \begin{note} -Some legacy output iterators define a nested type named \tcode{value_type} +Some legacy output iterators declare a nested type named \tcode{value_type} that is an alias for \keyword{void}. These types are not \libconcept{indirectly_readable} and have no associated value types. From f5be7eff67aac423764e7e4a0bd624692d2fb1f7 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Sat, 29 Jul 2023 00:14:51 +0800 Subject: [PATCH 12/27] [iterator.traits] Use "declare" for typedef-names --- source/iterators.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/source/iterators.tex b/source/iterators.tex index 7e69260ecb..10676e67e2 100644 --- a/source/iterators.tex +++ b/source/iterators.tex @@ -929,7 +929,7 @@ \begin{codeblock} iterator_traits::iterator_category \end{codeblock} -be defined as the iterator's iterator category. +be declared as the iterator's iterator category. In addition, the types \indexlibrarymember{pointer}{iterator_traits}% \indexlibrarymember{reference}{iterator_traits}% @@ -937,7 +937,7 @@ iterator_traits::pointer iterator_traits::reference \end{codeblock} -shall be defined as the iterator's pointer and reference types; +shall be declared as the iterator's pointer and reference types; that is, for an iterator object \tcode{a} of class type, the same type as @@ -955,7 +955,7 @@ iterator_traits::difference_type iterator_traits::reference \end{codeblock} -may be defined as \keyword{void}. +may be declared as \keyword{void}. \pnum The definitions in this subclause make use of the following @@ -1115,7 +1115,7 @@ the \oldconcept{InputIter\-ator} requirements\iref{input.iterators}, an \tcode{iterator_traits} specialization might have \tcode{iterator_concept} denote \tcode{input_iterator_tag} -but not define \tcode{iterator_category}. +but not declare \tcode{iterator_category}. \end{example} \pnum From 0172d2176c0bdce3143a9e8ddeddfd94cfedd50c Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Sat, 29 Jul 2023 00:16:03 +0800 Subject: [PATCH 13/27] [std.iterator.tags] Use "declare" for typedef-names --- source/iterators.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/iterators.tex b/source/iterators.tex index 10676e67e2..92e82999e9 100644 --- a/source/iterators.tex +++ b/source/iterators.tex @@ -2781,7 +2781,7 @@ For every iterator of type \tcode{I}, \tcode{iterator_traits::it\-er\-a\-tor_ca\-te\-go\-ry} -shall be defined to be a category tag that describes the +shall be declared to be a category tag that describes the iterator's behavior. Additionally, \tcode{iterator_traits::it\-er\-a\-tor_con\-cept} From 500833edc15672266fd1f7e91027b61a36bbdc45 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Wed, 24 Apr 2024 00:28:25 +0800 Subject: [PATCH 14/27] [const.iterators.types] Avoid "defining" `iterator_category` Use "declare" instead. --- source/iterators.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/iterators.tex b/source/iterators.tex index 92e82999e9..9f78c298f7 100644 --- a/source/iterators.tex +++ b/source/iterators.tex @@ -4396,7 +4396,7 @@ \end{itemize} \pnum -The member \grammarterm{typedef-name} \tcode{iterator_category} is defined +The member \grammarterm{typedef-name} \tcode{iterator_category} is declared if and only if \tcode{Iterator} models \libconcept{forward_iterator}. In that case, \tcode{basic_const_iterator::iterator_category} denotes From 5c59fcd3c8ba56aae7fad179d8bf114b781a2ceb Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Wed, 24 Apr 2024 00:28:58 +0800 Subject: [PATCH 15/27] [move.iterator] Avoid "defining" `iterator_category` Use "declare" instead. --- source/iterators.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/iterators.tex b/source/iterators.tex index 9f78c298f7..1603e3c79f 100644 --- a/source/iterators.tex +++ b/source/iterators.tex @@ -4872,7 +4872,7 @@ \end{itemize} \pnum -The member \grammarterm{typedef-name} \tcode{iterator_category} is defined +The member \grammarterm{typedef-name} \tcode{iterator_category} is declared if and only if the \grammarterm{qualified-id} \tcode{iterator_traits::iterator_category} is valid and denotes a type. From 1397f5b08e56e71a340c7f9e89a27fe52126d3bf Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Wed, 24 Apr 2024 00:29:32 +0800 Subject: [PATCH 16/27] [common.iter.types] Avoid "defining" typedef-names --- source/iterators.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/iterators.tex b/source/iterators.tex index 1603e3c79f..8a2967da6c 100644 --- a/source/iterators.tex +++ b/source/iterators.tex @@ -5532,7 +5532,7 @@ \pnum The nested \grammarterm{typedef-name} \tcode{iterator_category} of the specialization of \tcode{iterator_traits} for \tcode{common_iterator} -is defined if and only if \tcode{iter_difference_t} is an integral type. +is declared if and only if \tcode{iter_difference_t} is an integral type. In that case, \tcode{iterator_category} denotes \tcode{forward_iterator_tag} if the \grammarterm{qualified-id} \tcode{iterator_traits::iterator_category} From 791168a1c4e8d96ba4bedd84181996337fa0f419 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Wed, 24 Apr 2024 00:30:51 +0800 Subject: [PATCH 17/27] [range.filter.iterator] Avoid "defining" typedef-names Use declared" instead. --- source/ranges.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/ranges.tex b/source/ranges.tex index 708004ea91..7aeeaaed97 100644 --- a/source/ranges.tex +++ b/source/ranges.tex @@ -4936,7 +4936,7 @@ \end{itemize} \pnum -The member \grammarterm{typedef-name} \tcode{iterator_category} is defined +The member \grammarterm{typedef-name} \tcode{iterator_category} is declared if and only if \tcode{V} models \libconcept{forward_range}. In that case, \tcode{\exposid{iterator}::iterator_category} is defined as follows: From 920fcfaa0db275b16ad59a9f70ca2840a88ac99f Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Wed, 24 Apr 2024 00:31:39 +0800 Subject: [PATCH 18/27] [range.transform.iterator] Avoid "defining" typedef-names Use "declare" instead. --- source/ranges.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/ranges.tex b/source/ranges.tex index 7aeeaaed97..680c5908b2 100644 --- a/source/ranges.tex +++ b/source/ranges.tex @@ -5465,7 +5465,7 @@ \end{itemize} \pnum -The member \grammarterm{typedef-name} \tcode{iterator_category} is defined +The member \grammarterm{typedef-name} \tcode{iterator_category} is declared if and only if \exposid{Base} models \libconcept{forward_range}. In that case, \tcode{\exposid{iterator}::iterator_category} is defined as follows: From 63807fcf1d1bc6ae0d4b0043d090207f9e40c4e6 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Wed, 24 Apr 2024 00:32:17 +0800 Subject: [PATCH 19/27] [range.join.iterator] Avoid "defining" typedef-names Use "declare" instead. --- source/ranges.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/ranges.tex b/source/ranges.tex index 680c5908b2..54920f06e5 100644 --- a/source/ranges.tex +++ b/source/ranges.tex @@ -6880,7 +6880,7 @@ \end{itemize} \pnum -The member \grammarterm{typedef-name} \tcode{iterator_category} is defined +The member \grammarterm{typedef-name} \tcode{iterator_category} is declared if and only if \exposid{ref-is-glvalue} is \tcode{true}, \exposid{Base} models \libconcept{forward_range}, and \tcode{range_reference_t<\exposid{Base}>} models \libconcept{forward_range}. From 1ea91a38c1708279e49b63e842336f21b33e11be Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Wed, 24 Apr 2024 00:33:09 +0800 Subject: [PATCH 20/27] [range.join.with.iterator] Avoid "defining" typedef-names Use "declare" instead. --- source/ranges.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/ranges.tex b/source/ranges.tex index 54920f06e5..3665d81bf0 100644 --- a/source/ranges.tex +++ b/source/ranges.tex @@ -7453,7 +7453,7 @@ \end{itemize} \pnum -The member \grammarterm{typedef-name} \tcode{iterator_category} is defined +The member \grammarterm{typedef-name} \tcode{iterator_category} is declared if and only if \exposid{ref-is-glvalue} is \tcode{true}, and \exposid{Base} and \exposid{InnerBase} each model \libconcept{forward_range}. In that case, From 86e4b8bc6789a739e96d5c08ec94323de677ea6a Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Wed, 24 Apr 2024 00:45:09 +0800 Subject: [PATCH 21/27] [range.concat.iterator] Avoid "defining" typedef-names Use "declare" instead. --- source/ranges.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/ranges.tex b/source/ranges.tex index 3665d81bf0..64bb30cac5 100644 --- a/source/ranges.tex +++ b/source/ranges.tex @@ -9078,7 +9078,7 @@ \end{itemize} \pnum -The member \grammarterm{typedef-name} \tcode{iterator_category} is defined +The member \grammarterm{typedef-name} \tcode{iterator_category} is declared if and only if \tcode{\exposconcept{all-forward}} is modeled. In that case, From 4a428dedfcc180e75179e3ea200e88754a0e8b0a Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Wed, 24 Apr 2024 00:33:37 +0800 Subject: [PATCH 22/27] [range.elements.iterator] Avoid "defining" typedef-names Use "declare" instead. --- source/ranges.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/ranges.tex b/source/ranges.tex index 64bb30cac5..25e194a4e5 100644 --- a/source/ranges.tex +++ b/source/ranges.tex @@ -10400,7 +10400,7 @@ \end{itemize} \pnum -The member \grammarterm{typedef-name} \tcode{iterator_category} is defined +The member \grammarterm{typedef-name} \tcode{iterator_category} is declared if and only if \exposid{Base} models \libconcept{forward_range}. In that case, \tcode{iterator_category} is defined as follows: Let \tcode{C} denote the type From 5d2ad0739cf417f6d8a02153dc7b61370dd4646e Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Wed, 24 Apr 2024 00:34:43 +0800 Subject: [PATCH 23/27] [range.zip.transform.iterator] Avoid "defining" `iterator_category` Use "declare" instead. --- source/ranges.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/ranges.tex b/source/ranges.tex index 25e194a4e5..ebcaad0a85 100644 --- a/source/ranges.tex +++ b/source/ranges.tex @@ -12217,7 +12217,7 @@ \pnum The member \grammarterm{typedef-name} \tcode{\exposid{iterator}::iterator_category} -is defined if and only if \exposid{Base} models \libconcept{forward_range}. +is declared if and only if \exposid{Base} models \libconcept{forward_range}. In that case, \tcode{\exposid{iterator}::iterator_category} is defined as follows: \begin{itemize} From 01b8fd01833d1b2a66d9e71bdb89159a69fdbd61 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Wed, 24 Apr 2024 00:35:44 +0800 Subject: [PATCH 24/27] [range.stride.iterator] Avoid "defining" typedef-names Use "declare" instead. --- source/ranges.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/ranges.tex b/source/ranges.tex index ebcaad0a85..6d8022e929 100644 --- a/source/ranges.tex +++ b/source/ranges.tex @@ -16212,7 +16212,7 @@ \end{itemize} \pnum -The member \grammarterm{typedef-name} \tcode{iterator_category} is defined +The member \grammarterm{typedef-name} \tcode{iterator_category} is declared if and only if \exposid{Base} models \libconcept{forward_range}. In that case, \tcode{\exposid{iterator}::iterator_category} is defined as follows: From c99c92cec55969b9a4147b00252908a67f1f249f Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Thu, 17 Oct 2024 19:19:03 +0800 Subject: [PATCH 25/27] [format.string.std] Use "declare" for typedef-names --- source/text.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/text.tex b/source/text.tex index c165904932..b89eaa3ea4 100644 --- a/source/text.tex +++ b/source/text.tex @@ -6642,7 +6642,7 @@ \topline \lhdr{Type} & \rhdr{Meaning} \\ \rowsep none, \tcode{p} & -If \tcode{uintptr_t} is defined, +If \tcode{uintptr_t} is declared, \begin{codeblock} to_chars(first, last, reinterpret_cast(value), 16) \end{codeblock} From 83ea8ed15095649f130451efe197821db4deec68 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Sat, 29 Jul 2023 00:47:45 +0800 Subject: [PATCH 26/27] [atomics.alias] Use "declare" for typedef-names --- source/threads.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/threads.tex b/source/threads.tex index 7480badf66..39930ba4f8 100644 --- a/source/threads.tex +++ b/source/threads.tex @@ -2807,10 +2807,10 @@ \pnum The type aliases \tcode{atomic_int$N$_t}, \tcode{atomic_uint$N$_t}, \tcode{atomic_intptr_t}, and \tcode{atomic_uintptr_t} -are defined if and only if +are declared if and only if \tcode{int$N$_t}, \tcode{uint$N$_t}, \tcode{intptr_t}, and \tcode{uintptr_t} -are defined, respectively. +are declared, respectively. \pnum \indexlibraryglobal{atomic_signed_lock_free}% From f2aa185151ef2ec2678ebdd8732a8c44bd01ebf2 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Sat, 29 Jul 2023 00:48:28 +0800 Subject: [PATCH 27/27] [stdatomic.h.syn] Use "declare" for typedef-names --- source/threads.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/threads.tex b/source/threads.tex index 39930ba4f8..359af7dcd0 100644 --- a/source/threads.tex +++ b/source/threads.tex @@ -7197,7 +7197,7 @@ \pnum Each of the \grammarterm{using-declaration}s for \tcode{int$N$_t}, \tcode{uint$N$_t}, \tcode{intptr_t}, and \tcode{uintptr_t} -listed above is defined if and only if the implementation defines +listed above is declared if and only if the implementation declares the corresponding \grammarterm{typedef-name} in \ref{atomics.syn}. \pnum