tmp/tmp7g451dip/{from.md → to.md}
RENAMED
|
@@ -1,10 +1,10 @@
|
|
| 1 |
-
####
|
| 2 |
|
| 3 |
⟨library⟩ expressions that all have the same effects, either are all
|
| 4 |
potentially-throwing or are all not potentially-throwing, and either are
|
| 5 |
-
all
|
| 6 |
|
| 7 |
[*Example 1*: For a value `x` of type `int` and a function `f` that
|
| 8 |
accepts integer arguments, the expressions `f(x + 2)`, `f(2 + x)`, and
|
| 9 |
`f(1 + x + 1)` are expression-equivalent. — *end example*]
|
| 10 |
|
|
|
|
| 1 |
+
#### 22 expression-equivalent <a id="defns.expression.equivalent">[[defns.expression.equivalent]]</a>
|
| 2 |
|
| 3 |
⟨library⟩ expressions that all have the same effects, either are all
|
| 4 |
potentially-throwing or are all not potentially-throwing, and either are
|
| 5 |
+
all or are all not constant subexpressions
|
| 6 |
|
| 7 |
[*Example 1*: For a value `x` of type `int` and a function `f` that
|
| 8 |
accepts integer arguments, the expressions `f(x + 2)`, `f(2 + x)`, and
|
| 9 |
`f(1 + x + 1)` are expression-equivalent. — *end example*]
|
| 10 |
|