Simplify If-steps

tc39 · Oct 27, 2023 · 72fd493 · 72fd493
1 parent 7485cf0
commit 72fd493
Showing 1 changed file with 12 additions and 12 deletions.
diff --git a/spec.html b/spec.html
@@ -11771,7 +11771,7 @@ <h1>
         1. If _env_ is not present or _env_ is *undefined*, then
           1. Set _env_ to the running execution context's LexicalEnvironment.
         1. Assert: _env_ is an Environment Record.
-        1. If IsStrict(the syntactic production that is being evaluated) is *true*, let _strict_ be *true*; else let _strict_ be *false*.
+        1. Let _strict_ be IsStrict(the syntactic production that is being evaluated).
         1. Return ? GetIdentifierReference(_env_, _name_, _strict_).
       </emu-alg>
       <emu-note>
@@ -13407,7 +13407,7 @@ <h1>
         1. Set _F_.[[SourceText]] to _sourceText_.
         1. Set _F_.[[FormalParameters]] to _ParameterList_.
         1. Set _F_.[[ECMAScriptCode]] to _Body_.
-        1. If IsStrict(_Body_) is *true*, let _Strict_ be *true*; else let _Strict_ be *false*.
+        1. Let _Strict_ be IsStrict(_Body_).
         1. Set _F_.[[Strict]] to _Strict_.
         1. If _thisMode_ is ~lexical-this~, set _F_.[[ThisMode]] to ~lexical~.
         1. Else if _Strict_ is *true*, set _F_.[[ThisMode]] to ~strict~.
@@ -19102,14 +19102,14 @@ <h1>Runtime Semantics: Evaluation</h1>
         <emu-alg>
           1. Let _baseReference_ be ? Evaluation of |MemberExpression|.
           1. Let _baseValue_ be ? GetValue(_baseReference_).
-          1. If IsStrict(this |MemberExpression|) is *true*, let _strict_ be *true*; else let _strict_ be *false*.
+          1. Let _strict_ be IsStrict(this |MemberExpression|).
           1. Return ? EvaluatePropertyAccessWithExpressionKey(_baseValue_, |Expression|, _strict_).
         </emu-alg>
         <emu-grammar>MemberExpression : MemberExpression `.` IdentifierName</emu-grammar>
         <emu-alg>
           1. Let _baseReference_ be ? Evaluation of |MemberExpression|.
           1. Let _baseValue_ be ? GetValue(_baseReference_).
-          1. If IsStrict(this |MemberExpression|) is *true*, let _strict_ be *true*; else let _strict_ be *false*.
+          1. Let _strict_ be IsStrict(this |MemberExpression|).
           1. Return EvaluatePropertyAccessWithIdentifierKey(_baseValue_, |IdentifierName|, _strict_).
         </emu-alg>
         <emu-grammar>MemberExpression : MemberExpression `.` PrivateIdentifier</emu-grammar>
@@ -19123,14 +19123,14 @@ <h1>Runtime Semantics: Evaluation</h1>
         <emu-alg>
           1. Let _baseReference_ be ? Evaluation of |CallExpression|.
           1. Let _baseValue_ be ? GetValue(_baseReference_).
-          1. If IsStrict(this |CallExpression|) is *true*, let _strict_ be *true*; else let _strict_ be *false*.
+          1. Let _strict_ be IsStrict(this |CallExpression|).
           1. Return ? EvaluatePropertyAccessWithExpressionKey(_baseValue_, |Expression|, _strict_).
         </emu-alg>
         <emu-grammar>CallExpression : CallExpression `.` IdentifierName</emu-grammar>
         <emu-alg>
           1. Let _baseReference_ be ? Evaluation of |CallExpression|.
           1. Let _baseValue_ be ? GetValue(_baseReference_).
-          1. If IsStrict(this |CallExpression|) is *true*, let _strict_ be *true*; else let _strict_ be *false*.
+          1. Let _strict_ be IsStrict(this |CallExpression|).
           1. Return EvaluatePropertyAccessWithIdentifierKey(_baseValue_, |IdentifierName|, _strict_).
         </emu-alg>
         <emu-grammar>CallExpression : CallExpression `.` PrivateIdentifier</emu-grammar>
@@ -19290,15 +19290,15 @@ <h1>Runtime Semantics: Evaluation</h1>
           1. Let _propertyNameReference_ be ? Evaluation of |Expression|.
           1. Let _propertyNameValue_ be ? GetValue(_propertyNameReference_).
           1. Let _propertyKey_ be ? ToPropertyKey(_propertyNameValue_).
-          1. If IsStrict(this |SuperProperty|) is *true*, let _strict_ be *true*; else let _strict_ be *false*.
+          1. Let _strict_ be IsStrict(this |SuperProperty|).
           1. Return ? MakeSuperPropertyReference(_actualThis_, _propertyKey_, _strict_).
         </emu-alg>
         <emu-grammar>SuperProperty : `super` `.` IdentifierName</emu-grammar>
         <emu-alg>
           1. Let _env_ be GetThisEnvironment().
           1. Let _actualThis_ be ? _env_.GetThisBinding().
           1. Let _propertyKey_ be StringValue of |IdentifierName|.
-          1. If IsStrict(this |SuperProperty|) is *true*, let _strict_ be *true*; else let _strict_ be *false*.
+          1. Let _strict_ be IsStrict(this |SuperProperty|).
           1. Return ? MakeSuperPropertyReference(_actualThis_, _propertyKey_, _strict_).
         </emu-alg>
         <emu-grammar>SuperCall : `super` Arguments</emu-grammar>
@@ -19483,12 +19483,12 @@ <h1>
         </emu-alg>
         <emu-grammar>OptionalChain : `?.` `[` Expression `]`</emu-grammar>
         <emu-alg>
-          1. If IsStrict(this |OptionalChain|) is *true*, let _strict_ be *true*; else let _strict_ be *false*.
+          1. Let _strict_ be IsStrict(this |OptionalChain|).
           1. Return ? EvaluatePropertyAccessWithExpressionKey(_baseValue_, |Expression|, _strict_).
         </emu-alg>
         <emu-grammar>OptionalChain : `?.` IdentifierName</emu-grammar>
         <emu-alg>
-          1. If IsStrict(this |OptionalChain|) is *true*, let _strict_ be *true*; else let _strict_ be *false*.
+          1. Let _strict_ be IsStrict(this |OptionalChain|).
           1. Return EvaluatePropertyAccessWithIdentifierKey(_baseValue_, |IdentifierName|, _strict_).
         </emu-alg>
         <emu-grammar>OptionalChain : `?.` PrivateIdentifier</emu-grammar>
@@ -19510,15 +19510,15 @@ <h1>
           1. Let _optionalChain_ be |OptionalChain|.
           1. Let _newReference_ be ? ChainEvaluation of _optionalChain_ with arguments _baseValue_ and _baseReference_.
           1. Let _newValue_ be ? GetValue(_newReference_).
-          1. If IsStrict(this |OptionalChain|) is *true*, let _strict_ be *true*; else let _strict_ be *false*.
+          1. Let _strict_ be IsStrict(this |OptionalChain|).
           1. Return ? EvaluatePropertyAccessWithExpressionKey(_newValue_, |Expression|, _strict_).
         </emu-alg>
         <emu-grammar>OptionalChain : OptionalChain `.` IdentifierName</emu-grammar>
         <emu-alg>
           1. Let _optionalChain_ be |OptionalChain|.
           1. Let _newReference_ be ? ChainEvaluation of _optionalChain_ with arguments _baseValue_ and _baseReference_.
           1. Let _newValue_ be ? GetValue(_newReference_).
-          1. If IsStrict(this |OptionalChain|) is *true*, let _strict_ be *true*; else let _strict_ be *false*.
+          1. Let _strict_ be IsStrict(this |OptionalChain|).
           1. Return EvaluatePropertyAccessWithIdentifierKey(_newValue_, |IdentifierName|, _strict_).
         </emu-alg>
         <emu-grammar>OptionalChain : OptionalChain `.` PrivateIdentifier</emu-grammar>