Skip to content

[concepts.equality] Replace spurious 'this document' #3984

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Sep 18, 2020
Merged

[concepts.equality] Replace spurious 'this document' #3984

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
38cce7d
[concepts.equality] Replace spurious 'this document'
jensmaurer May 6, 2020
b10e85a
Lowercase the 'c' in "library clauses" to match definition of term.
zygoloid Sep 18, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions source/concepts.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand All @@ -69,15 +69,15 @@
\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.

\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
Expand Down