From 38cce7de2311e5b998652eaf38aed07b55241a0b Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Wed, 6 May 2020 22:19:33 +0200 Subject: [PATCH 1/2] [concepts.equality] Replace spurious 'this document' with 'the library Clauses'. --- source/concepts.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/source/concepts.tex b/source/concepts.tex index 39b12f528a..02ca473fa1 100644 --- a/source/concepts.tex +++ b/source/concepts.tex @@ -53,7 +53,7 @@ input values for which the expression is required to be well-defined. \pnum -Expressions required by this document to be equality-preserving are further +Expressions required to be equality-preserving are further required to be stable: two evaluations of such an expression with the same input objects are required to have equal outputs absent any explicit intervening modification of those input objects. @@ -69,7 +69,7 @@ \end{note} \pnum -Expressions declared in a \grammarterm{requires-expression} in this document are +Expressions declared in a \grammarterm{requires-expression} in the library Clauses are required to be equality-preserving, except for those annotated with the comment ``not required to be equality-preserving.'' An expression so annotated may be equality-preserving, but is not required to be so. @@ -77,7 +77,7 @@ \pnum An expression that may alter the value of one or more of its inputs in a manner observable to equality-preserving expressions is said to modify those inputs. -This document uses a notational convention to specify which expressions declared +The library Clauses use a notational convention to specify which expressions declared in a \grammarterm{requires-expression} modify which inputs: except where otherwise specified, an expression operand that is a non-constant lvalue or rvalue may be modified. Operands that are constant lvalues or rvalues are From b10e85a28d5f62248700ba47ee754d8ca1e85bee Mon Sep 17 00:00:00 2001 From: Richard Smith Date: Fri, 18 Sep 2020 16:06:56 -0700 Subject: [PATCH 2/2] Lowercase the 'c' in "library clauses" to match definition of term. --- source/concepts.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/concepts.tex b/source/concepts.tex index 02ca473fa1..d68d1fa131 100644 --- a/source/concepts.tex +++ b/source/concepts.tex @@ -69,7 +69,7 @@ \end{note} \pnum -Expressions declared in a \grammarterm{requires-expression} in the library Clauses are +Expressions declared in a \grammarterm{requires-expression} in the library clauses are required to be equality-preserving, except for those annotated with the comment ``not required to be equality-preserving.'' An expression so annotated may be equality-preserving, but is not required to be so. @@ -77,7 +77,7 @@ \pnum An expression that may alter the value of one or more of its inputs in a manner observable to equality-preserving expressions is said to modify those inputs. -The library Clauses use a notational convention to specify which expressions declared +The library clauses use a notational convention to specify which expressions declared in a \grammarterm{requires-expression} modify which inputs: except where otherwise specified, an expression operand that is a non-constant lvalue or rvalue may be modified. Operands that are constant lvalues or rvalues are